@inproceedings{99c963c2230d493691cc5880a0b6f34b,
title = "Formalising VERILOG",
abstract = "This paper defines a non-trivial subset of VERILOG using a Plotkin-style operational semantics. We discuss the algebraic properties of programs based on the notion of bisimulation.",
author = "He Jifeng and Zhu Huibiao",
year = "2000",
doi = "10.1109/ICECS.2000.911568",
language = "英语",
isbn = "0780365429",
series = "Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems",
pages = "412--415",
booktitle = "ICECS 2000 - 7th IEEE International Conference on Electronics, Circuits and Systems",
note = "7th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2000 ; Conference date: 17-12-2000 Through 20-12-2000",
}