Title :
Design Verification at the Register Transfer Language Level
Author :
Hoehne, Harold ; Piloty, Robert
Author_Institution :
Firm Computer Gesellsehaft Konstanz mbH
Abstract :
Computer description languages can be used as input to software tools which aid in the design of digital hardware structures. One of the important phases in the design process is verification. A software system is described which aids the verification process of a computer description at the register transfer language (RTL) leveL. It is based on the concept of concurrent simulation and comparison of the functional and the structural description of a computer. Error types, in particular consistency and semantic errors, and algorithms for their detection are discussed. The tools necessary to implement these detection procedures are outlined.
Keywords :
Compiler-interpreter system, computer description language, design verification, error detection, hardware design automation, register transfer language (RTL), simulation.; Computational modeling; Computer errors; Computer simulation; Concurrent computing; Costs; Design automation; Hardware; Process design; Registers; Software tools; Compiler-interpreter system, computer description language, design verification, error detection, hardware design automation, register transfer language (RTL), simulation.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/T-C.1975.224331
