An Operational Semantics of a Simulator Algorithm (2000) [11 citations — 4 self]
by He Jifeng, Xu Qiwen
International Institute for Software Technology, United Nations University
ftp://ftp.iist.unu.edu/pub/techreports/report204.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Jifeng00anoperational,author = {He Jifeng and Xu Qiwen},
title = {An Operational Semantics of a Simulator Algorithm},
booktitle = {International Institute for Software Technology, United Nations University},
year = {2000},
pages = {26--29}
}
Years of Citing Articles
Abstract:
Training Centre of the United Nations University (UNU). It is based in Macau, and was founded in
Citations
| 1064 | A Structural Approach to Operational Semantics – Plotkin - 1981 |
| 31 | The Semantic Challenge of Verilog HDL – Gordon - 1995 |
| 8 | Towards a formal semantics of verilog using duration calculus – Schneider, Qiwen - 1998 |
| 7 | Formal Reasoning with Verilog HDL – Pace, He - 1998 |
| 5 | Animating the semantics of VERILOG using Prolog – Bowen - 1999 |
| 2 | An Integrated Approach to Mixed Hardware/Software CO-design – Jifeng - 2000 |
