An Animatable Operational Semantics of the Verilog Hardware Description Language.
Jonathan P. BowenJifeng HeQiwen XuPublished in: ICFEM (2000)
Keyphrases
- operational semantics
- hardware description language
- integrated circuit
- hardware design
- programmable logic
- hardware designs
- formal semantics
- field programmable gate array
- model theoretic
- data model
- activity diagrams
- mental states
- denotational semantics
- embedded systems
- agent programming
- databases
- language learning
- object oriented
- case study