Formal verification of IC’s

 

Acquired by Avant!
(AVNT)