DocumentCode :
3372622
Title :
An efficient approach for hierarchical submodule extraction
Author :
Lin, Yi-Wei ; Jou, Jing-Yang
Author_Institution :
Dept. of Electron. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Volume :
5
fYear :
2004
fDate :
23-26 May 2004
Abstract :
The growth of modern IC design complexity leads the consistency checks and design verification during every level in design flow to be an important and challenged issue. We propose an efficient approach to rebuild the hierarchial level from low level circuits. Our approach is based on the structure equivalent expansion algorithm to find repeated submodules in every circuit level to reconstruct circuit hierarchy. Without any additional library information, our approach is quite efficient in both time and space complexities by using only flatten netlists. The experiments on many real circuits containing combinatorial, sequential, and memory circuits show that our approach can rebuild most circuit hierarchial levels and also reduce the verification effort of the circuits.
Keywords :
combinational circuits; formal verification; integrated circuit design; logic design; sequential circuits; circuit hierarchy reconstruction; circuit level; combinatorial circuits; consistency checks; design flow; design verification; flatten netlists; hierarchical submodule extraction; library information; memory circuits; modern IC design complexity; sequential circuits; space complexities; structure equivalent expansion algorithm; time complexities; Circuit simulation; Data mining; Design engineering; Digital integrated circuits; Explosions; Libraries; MOSFETs; System-on-a-chip;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Circuits and Systems, 2004. ISCAS '04. Proceedings of the 2004 International Symposium on
Print_ISBN :
0-7803-8251-X
Type :
conf
DOI :
10.1109/ISCAS.2004.1329506
Filename :
1329506
Link To Document :
بازگشت