Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 277-296
- https://doi.org/10.1007/3-540-40911-4_16
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- The semantic challenge of Verilog HDLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An animatable operational semantics of the Verilog hardware description languagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The ethics of safety-critical systemsCommunications of the ACM, 2000
- Reasoning about VHDL and VHDL-AMS using denotational semanticsPublished by Association for Computing Machinery (ACM) ,1999
- High-Integrity System Specification and DesignPublished by Springer Nature ,1999
- VLSI Chip Design with the Hardware Description Language VERILOGPublished by Springer Nature ,1996
- Formal Semantics for VHDLPublished by Springer Nature ,1995
- Programming in PrologPublished by Springer Nature ,1994
- Logic programming and digital circuit analysisThe Journal of Logic Programming, 1987
- Negation as FailurePublished by Springer Nature ,1978