Title :
Practical design assistance at register transfer level using a data path verifier
Author :
Nakamura, Hajime ; Fujita, Masayuki ; Tanaka, Hiroya
Author_Institution :
Inst. of Inf. Sci. & Electron., Tsukuba Univ., Ibaraki
Abstract :
A practical design assistance system at the register transfer level is proposed. The unique characteristic of this system is that users are allowed to modify a register-level design manually. At first, the designer gives an initial behavioral description and an initial structure of a data path to be designed. The initial structure is formed through the designers´ intuition. The final design is obtained by modifying the initial design manually. Consistency between the data path and its behavioral specification is verified automatically. The verifier was implemented and applied to an ASIC chip design
Keywords :
application specific integrated circuits; circuit CAD; logic CAD; ASIC chip design; automatic verification; behavioral description; data path structure; data path verifier; design assistance system; register transfer level; register-level design; Application specific integrated circuits; Costs; Couplings; Data mining; Flowcharts; Hardware; High level synthesis; Laboratories; Process design; Registers;
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1990. ICCD '90. Proceedings, 1990 IEEE International Conference on
Conference_Location :
Cambridge, MA
Print_ISBN :
0-8186-2079-X
DOI :
10.1109/ICCD.1990.130171
