An animatable operational semantics of the Verilog hardware description language
- 7 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- The semantic challenge of Verilog HDLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A behavioral model for co-designPublished by Springer Nature ,1999
- Parts a partitioning transformation systemPublished by Springer Nature ,1999
- A Common Framework for Mixed Hardware/Software SystemsPublished by Springer Nature ,1999
- Constructing hardware-software systems from a single descriptionJournal of Signal Processing Systems, 1996
- Reasoning with executable specificationsPublished by Springer Nature ,1995
- The laws of OCCAM programmingTheoretical Computer Science, 1988
- Logic programming and digital circuit analysisThe Journal of Logic Programming, 1987
- Literate ProgrammingThe Computer Journal, 1984
- Negation as FailurePublished by Springer Nature ,1978