Description and Reasoning of VLSI circuit in temporal logic
- 1 March 1984
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 2 (1) , 79-90
- https://doi.org/10.1007/bf03037053
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Temporal logic based hardware description and its verification with PrologNew Generation Computing, 1983
- Hardware Specification with Temporal Logic: An ExampleIEEE Transactions on Computers, 1982
- Verification of Concurrent Programs. Part I. The Temporal Framework,Published by Defense Technical Information Center (DTIC) ,1981
- Constraints—A language for expressing almost-hierarchical descriptionsArtificial Intelligence, 1980
- Theory of ω-languagesI: Characterizations of ω-context-free languagesJournal of Computer and System Sciences, 1977
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966