This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Design Verification at the Register Transfer Language Level
September 1975 (vol. 24 no. 9)
pp. 861-867
H. Hoehne, Firm Computer Gesellsehaft Konstanz mbH
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, Sept. 1975, doi:10.1109/T-C.1975.224331
Usage of this product signifies your acceptance of the Terms of Use.