The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (1975 vol.24)
pp: 861-867
H. Hoehne , 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.
INDEX TERMS
Compiler-interpreter system, computer description language, design verification, error detection, hardware design automation, register transfer language (RTL), simulation.
CITATION
H. Hoehne, R. Piloty, "Design Verification at the Register Transfer Language Level", IEEE Transactions on Computers, vol.24, no. 9, pp. 861-867, September 1975, doi:10.1109/T-C.1975.224331
55 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool