System Semantics and formal circuit description
- 1 December 1986
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Circuits and Systems
- Vol. 33 (12) , 1219-1231
- https://doi.org/10.1109/tcs.1986.1085878
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Representational and denotational semantics of digital systemsIEEE Transactions on Computers, 1989
- Zeus: A Language for Expressing Algorithms in HardwareComputer, 1985
- The Conlan Project: Concepts, Implementations, and ApplicationsComputer, 1985
- Concurrent Prolog as an Efficient VLSI Design LanguageComputer, 1985
- muFP, a language for VLSI designPublished by Association for Computing Machinery (ACM) ,1984
- CONLAN ReportPublished by Springer Nature ,1983
- The Science of ProgrammingPublished by Springer Nature ,1981
- The Denotational Description of Programming LanguagesPublished by Springer Nature ,1979
- What can we do about the unnecessary diversity of notation for syntactic definitions?Communications of the ACM, 1977
- System Description LanguagesIEEE Transactions on Computers, 1970