Back to Search Start Over

Some conditions under which hierarchical verification is O(N)

Authors :
Scheffer, Louis K.
Source :
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. May, 2003, Vol. 22 Issue 5, p643, 4 p.
Publication Year :
2003

Details

Language :
English
ISSN :
02780070
Volume :
22
Issue :
5
Database :
Gale General OneFile
Journal :
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Publication Type :
Academic Journal
Accession number :
edsgcl.104566450