@inproceedings{fabc3822b0894e9abc21e235e797487a,
title = "An animatable operational semantics of the Verilog hardware description language",
abstract = "An operational semantics of a significant subset of the Verilog hardware description language (HDL) is presented. The semantics is encoded using the logic programming language Prolog in a literate programming style. This allows the associated documentation to be maintained in step with the semantics, and the printed version to be presented in a standard mathematical operational semantics style. It also enables the semantics to be directly animated using a Prolog interpreter. Using this approach allows the exploration of sometimes subtle behaviours of parallel programs and the possibility of rapid changes or additions to the semantics of the language covered that could be missed otherwise. In addition, it provides and extra check on the validity of the operational semantics.",
keywords = "Animation, Documentation, Hardware design languages, Helium, Interleaved codes, Logic programming, Standards Working Groups, Standards development, Uniform resource locators, Very high speed integrated circuits",
author = "Bowen, \{J. P.\} and Jifeng He and Qiwen Xu",
note = "Publisher Copyright: {\textcopyright} 2000 IEEE.; 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000 ; Conference date: 04-09-2000 Through 06-09-2000",
year = "2000",
doi = "10.1109/ICFEM.2000.873820",
language = "英语",
series = "ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "199--207",
editor = "McDermid, \{John A.\} and Shaoying Liu and Hinchey, \{Michael G.\}",
booktitle = "ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods",
address = "美国",
}