A Temporal Logic for Multilevel Reasoning about Hardware
- 1 February 1985
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 18 (2), 10-19
- https://doi.org/10.1109/mc.1985.1662795
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Runtime Verification with Patching and Hardware CheckersPublished by Springer Science and Business Media LLC ,2010
- Temporal logic based hardware description and its verification with PrologNew Generation Computing, 1983
- Hardware Specification with Temporal Logic: An ExampleIEEE Transactions on Computers, 1982
- Slide: An I/O Hardware Descriptive LanguageIEEE Transactions on Computers, 1981
- Temporal Specifications of Self-Timed SystemsPublished by Springer Science and Business Media LLC ,1981
- Instruction set processor specifications (ISPS): The notation and its applicationsIEEE Transactions on Computers, 1981
- Temporal LogicPublished by Springer Science and Business Media LLC ,1971