3615094

Formal verification for real-world designs: today´s technologies [Tutorial]

V. Bertacco;D. Cyrluk

Michigan U.

1

2004

6/26/1905 12:00:00 AM

"Tutorial","Formal verification","Design for testability","Costs","Design engineering","Knowledge engineering","Integrated circuit testing","Design automation","Synchronization","Test equipment"

ieee

Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings

1530-1591

0-7695-2085-5

conf

10.1109/DATE.2004.1268804

1268804