The Computer Journal
Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Logic programming and digital circuit analysis
Journal of Logic Programming
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
LATEX (2nd ed.): a document preparation system: user's guide and reference manual
LATEX (2nd ed.): a document preparation system: user's guide and reference manual
Reasoning about VHDL and VHDL-AMS using denotational semantics
DATE '99 Proceedings of the conference on Design, automation and test in Europe
The ethics of safety-critical systems
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
VLSI Chip Design with the Hardware Description Language VERILOG: An Introduction Based on a Large RISC Processor Design
High-Integrity System Specification and Design
High-Integrity System Specification and Design
Formal Semantics for VHDL
ParTS: A Partitioning Transformation System
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A Common Framework for Mixed Hardware/Software Systems
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
The Semantic Challenge of Verilog HDL
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
An Animatable Operational Semantics of the Verilog Hardware Description Language
ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
Hi-index | 0.00 |
An operational semantics for a significant subset of the Verilog Hard-ware Description Language (HDL) has been developed. An unusual aspect of the semantics is that it was formulated as a Prolog logic program. This allows the possibility of simulating the semantics. In addition, a literate programming style has been used, so the semantics can be processed by the LATEX document preparation system with minimal and fully automated preprocessing. Bringing together the paradigms of operational semantics, logic programming and literate programming in this manner has proved a great aid in a number of ways. It has helped improve the understanding of the semantics, in the formalization of semantic aspects left informal in the original mathematical formulation of the semantics, and in the maintenance of the formal semantics and its associated informal description.