DocumentCode
2215127
Title
Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques
Author
Huang, Chung-Yang ; Cheng, Kwang-Ting
Author_Institution
University of California
fYear
2000
fDate
2000
Firstpage
118
Lastpage
123
Keywords
Arithmetic; Automatic control; Automatic test pattern generation; Boolean functions; Computer bugs; Data structures; Decision making; Explosions; Logic; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 2000. Proceedings 2000
Print_ISBN
1-58113-187-9
Type
conf
DOI
10.1109/DAC.2000.855289
Filename
855289
Link To Document