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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1513454
