HW Verify

Servicing Microelectronics Design

Accelerating Trusted Integrated Circuits

Features and Benefits

Automation of Formal Methods verification
Integration of verification methods into automated tools
Support of DoD integrated circuit prototyping