Title :
A Real-Time Interactive Verification System for ASIC Design
Author :
Su, Linlin ; Zhang, Xiaolin
Author_Institution :
Sch. of Electron. & Inf. Eng., Beijing Univ. of Aeronaut. & Astronaut., Beijing, China
Abstract :
The verification takes over 70% of the whole workload in design of digital chips, especially the chips for communications. Practically, the FPGA verification is common used because the simulation verification is low-efficient. But it is not a perfect substitute for the simulation verification. So the method to improve the efficiency of the simulation should be investigated. The verification system proposed in this paper has been used in the verification work of the chips of the Dual-system navigation receiverpsilas baseband circuit. The verification methods in the system reduce the debug time, which are separating the part of the verification process to avoid the repetition and providing the real-time interactive interface to the designer.
Keywords :
application specific integrated circuits; field programmable gate arrays; formal verification; real-time systems; ASIC design; FPGA verification; application specific integrated circuits; digital chips; dual system navigation receiver baseband circuit; field programmable gate arrays; real-time interactive verification; simulation verification; Application specific integrated circuits; Baseband; Circuit faults; Circuit simulation; Design engineering; Field programmable gate arrays; Hardware design languages; Navigation; Real time systems; Testing; ASIC verification; real-time inteactive interface; simulation system;
Conference_Titel :
Information Engineering, 2009. ICIE '09. WASE International Conference on
Conference_Location :
Taiyuan, Shanxi
Print_ISBN :
978-0-7695-3679-8
DOI :
10.1109/ICIE.2009.268