DocumentCode :
358537
Title :
A technique for identifying RTL and gate-level correspondences
Author :
Ravi, Srivaths ; Ghosh, Indradeep ; Boppana, Vamsi ; Jha, Niraj K.
Author_Institution :
Dept. of Electr. Eng., Princeton Univ., NJ, USA
fYear :
2000
fDate :
2000
Firstpage :
591
Lastpage :
594
Abstract :
In this paper, we consider the mapping problem of identifying correspondences between a signal in a high-level specification and a net in a lower-level implementation for a given design. Conventional techniques use shared names to associate a signal with a net whenever possible. However, given that a synthesis flow may not preserve names, solutions to the above problem eventually take recourse to expensive alternatives such as formal verification. This paper provides a robust framework for identifying RTL signal to gate-level net correspondences for a given design. Our technique exploits the observation that circuit diagnosis provides a convenient means for locating faults in a gate-level network. Since our problem requires locating gate-level nets corresponding to RTL signals, we formulate the mapping problem as a query whose solution is provided by a circuit diagnosis engine. Our experimental work with industrial designs for many mapping cases shows that our solution to the mapping problem is (i) fast, and (ii) precise in identifying the gate-level equivalents (the number of nets returned by our mapping engine for a query is typically or 2 even for designs with tens of thousands of VHDL lines)
Keywords :
formal verification; hardware description languages; logic design; logic testing; RTL; circuit diagnosis; formal verification; gate-level correspondences; high-level specification; mapping problem; robust framework; shared names; Circuit faults; Circuit synthesis; Engines; Fault diagnosis; Formal verification; Robustness; Signal design; Signal mapping; Signal processing; Signal synthesis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Design, 2000. Proceedings. 2000 International Conference on
Conference_Location :
Austin, TX
ISSN :
1063-6404
Print_ISBN :
0-7695-0801-4
Type :
conf
DOI :
10.1109/ICCD.2000.878351
Filename :
878351
Link To Document :
بازگشت