Title :
Algorithms for MIS Vector Generation and Pruning
Author :
Stevens, Kenneth S. ; Dartu, Florentin
Author_Institution :
Electr. & Comput. Eng., Utah Univ., Salt Lake, UT
Abstract :
The main reason to omit this effect is the run time penalty and potential over-conservatism. Run times are directly proportional to the vector sizes. Efficient algorithms are presented that prune the multiple input switching (MIS) vector set to a worst-case covering using a boolean logic abstraction of the gate. This non-physical representation reduces the vector size to approximately n vectors for an n-input gate. This is effectively the same vector set size as the optimal single input switching vector set. There are no errors for 88% the simulations using a Monte-Carlo coverage on a 90nm static library, and the magnitude of the errors are less than 5% on average
Keywords :
Boolean algebra; Monte Carlo methods; logic design; logic gates; microprocessor chips; vectors; 90 nm; Monte-Carlo coverage; boolean logic abstraction; logic gates; microprocessor designs; multiple input switching; silicon failures; vector generation; Algorithm design and analysis; Circuits; Delay; Logic design; Logic gates; Microprocessors; Permission; Silicon; Switches; Timing;
Conference_Titel :
Computer-Aided Design, 2006. ICCAD '06. IEEE/ACM International Conference on
Conference_Location :
San Jose, CA
Print_ISBN :
1-59593-389-1
Electronic_ISBN :
1092-3152
DOI :
10.1109/ICCAD.2006.320066