DocumentCode
1513454
Title
Formal verification of commercial integrated circuits
Author
Pixley, Carl
Author_Institution
Motorola
Volume
18
Issue
4
fYear
2001
Firstpage
4
Lastpage
5
Keywords
Algorithm design and analysis; Arithmetic; Automatic test pattern generation; Automatic testing; Circuit testing; Formal verification; Integrated circuit testing; Mathematics; Postal services; Systolic arrays;
fLanguage
English
Journal_Title
Design & Test of Computers, IEEE
Publisher
ieee
ISSN
0740-7475
Type
jour
DOI
10.1109/MDT.2001.936243
Filename
936243
Link To Document