A formal executable semantics of Verilog.
Patrick O'Neil MeredithMichael KatelmanJosé MeseguerGrigore RosuPublished in: MEMOCODE (2010)
Keyphrases
- formal specification
- specification languages
- formal language
- specification language
- model theoretic
- operational semantics
- process algebra
- formal semantics
- highly expressive
- machine processable
- attribute grammars
- default reasoning
- control flow
- semantic information
- logic programming
- dynamic aspects
- domain knowledge
- neural network
- denotational semantics
- transformation rules
- formal methods
- graphical representation
- reverse engineering
- formal model
- model checking
- image processing