Hardware Verification
- 1 February 1985
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 18 (2) , 22-32
- https://doi.org/10.1109/mc.1985.1662796
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Temporal logic based hardware description and its verification with PrologNew Generation Computing, 1983
- Formal Design Verification of Digital SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1983
- A Verification Technique for Hardware DesignsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982
- Temporal logic can be more expressivePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- Verification of Concurrent Programs. Part I. The Temporal Framework,Published by Defense Technical Information Center (DTIC) ,1981
- Design and Verification of Large-Scale Computers by Using DDLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Translation of a DDL Digital System Specification to Boolean EquationsIEEE Transactions on Computers, 1969
- A Digital System Design Language (DDL)IEEE Transactions on Computers, 1968