The Community for Technology Leaders
2003 Test Symposium (2003)
Xi?an, China
Nov. 16, 2003 to Nov. 19, 2003
ISSN: 1081-7735
ISBN: 0-7695-1951-2
pp: 154
Tun Li , National University of Defense Technology
Yang Guo , National University of Defense Technology
Sikun Li , National University of Defense Technology
ABSTRACT
For RTL verification, we have to separate the control and datapath parts contained in the whole design, and apply different verification techniques for different parts. This paper presents a new circuit extraction method using program slicing technique, and develops an elegant theoretical basis based on program slicing for circuit extraction from Verilog description. The technique can obtain a chaining slice for given signals of interest. Compared with related researches, the main advantages of our method include: it is fine grain; it has no HDL coding style limitation; it is precise and is capable of dealing with various Verilog constructions. The technique has been integrated with a commercial simulation environment and incorporated into a design process. The experimental results on practical designs show the significant benefits of the proposed approach.
INDEX TERMS
null
CITATION

Y. Guo, T. Li and S. Li, "An Automatic Circuit Extractor for RTL Verification," 2003 Test Symposium(ATS), Xi?an, China, 2003, pp. 154.
doi:10.1109/ATS.2003.1250801
82 ms
(Ver 3.3 (11022016))