The Department of the Air Force Materiel Command Research Laboratory awarded a $30.3 million cost-plus-fixed-fee delivery order contract to Edaptive Computing Inc. to support research under the Small Business Innovation Research Program Phase III for the TAME TO1 Enhanced Application of Verification Tools and Techniques effort. Major subcontractors include Siemens PLM Software, Tenet3, Synopsys, Ansys, University of Cincinnati, University of Florida, and Cycuity to aid in obtaining hardware and software verification tools, conducting research into machine learning and security for microelectronics design and testing, and developing frameworks to improve the verification process. The Air Force Materiel Command Research Laboratory seeks to enhance tools and techniques for hardware verification through this vehicle.
Generated 12/25/23, 12:56 AM