Back to Search Start Over

EDA makes way for formal verification; technique verifies complex designs faster than logic simulation can

Authors :
Goering, Richard
Source :
Electronic Engineering Times. August 5, 1991, Issue n653, p39, 3 p.
Publication Year :
1991

Subjects

Subjects :
Electronic Design Automation
Design
Simulation
Trends
New Technique

Details

ISSN :
01921541
Issue :
n653
Database :
Gale General OneFile
Journal :
Electronic Engineering Times
Publication Type :
Periodical
Accession number :
edsgcl.11147549

Tools

Authors Abstract Subjects Details