Sciweavers

Share
IPPS
2003
IEEE

Towards a Theory of Bisimulation for a Fragment of Verilog

9 years 5 months ago
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.
Li Yongjian, Jifeng He
Added 04 Jul 2010
Updated 04 Jul 2010
Type Conference
Year 2003
Where IPPS
Authors Li Yongjian, Jifeng He
Comments (0)
books