TY - GEN
T1 - Towards a theory of bisimulation for a fragment of Verilog
AU - Li, Yongjian
AU - He, Jifeng
N1 - Publisher Copyright:
© 2003 IEEE.
PY - 2003
Y1 - 2003
N2 - In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event-driven computation and shared variable concurrency. The bisimulation equivalence is introduced to identify programs of the same behavior. And the bisimulation 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.
AB - In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event-driven computation and shared variable concurrency. The bisimulation equivalence is introduced to identify programs of the same behavior. And the bisimulation 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.
UR - https://www.scopus.com/pages/publications/84947295963
U2 - 10.1109/IPDPS.2003.1213435
DO - 10.1109/IPDPS.2003.1213435
M3 - 会议稿件
AN - SCOPUS:84947295963
T3 - Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003
BT - Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - International Parallel and Distributed Processing Symposium, IPDPS 2003
Y2 - 22 April 2003 through 26 April 2003
ER -