Towards a Theory of Bisimulation for a Fragment of Verilog

In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The bismulation equivalence is introduced to identify programs of the same behavior. And the bismulation can be proved to be a congruence for all Verilog operators, so it provides a sound base for deriving the algebraic laws for parallel Verilog processes.

• Type: Conference
• Year: 2003
• Where: IPPS
• Authors: Li Yongjian, Jifeng He
• Keywords: Distributed And Parallel Computing, IPPS 2003, Operational Semantic Framework, Parallel Verilog Processes, Verilog