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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2215127
بازگشت