Practical design assistance at register transfer level using a data path verifier
Hiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, H. Tanaka · 2002
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.>