Jonathan Bowen  Home/Search
Context Related
| unu.edu/newrh/III/1/d...report176.ps.gz jpbowen.com/pub/asvptr99.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unu.edu/newrh/III/1/page (more) Homepages: J.Bowen |
Rate this article:      (best)Comment on this article |
Abstract: Eclogue: The logic programming language Prolog is used to provide a rapid-prototype simulator for the VERILOG Hardware Description Language (HDL). The simulator is based on an operational semantics of a significant subset of the language. 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. It also acts as a check on the validity of the original operational... (Update)
Context of citations to this paper: More
.... wider use, it may be necessary to interface to Hardware Description Languages (HDLs) in general industrial use such as VHDL and Verilog [10]. There is much interest and research in the area of hardware software co design from both the theoretical and the practical point of view...
.... in the L T E X document preparation system [28] source (ASCII) format used to generate the report on which this paper is based [3]. The entire contents of Sections 2 and 3 have been processed from the original Prolog source program and output generated by the Prolog...
Cited by: More
Combining Operational Semantics, Logic Programming and Literate.. - Bowen (2000) (Correct)
ProB: A Model Checker for B - Michael Leuschel And (2003) (Correct)
Operational Semantics and Bisimulation - Li, He (2001) (Correct)
Similar documents (at the sentence level):
32.7%: An Animatable Operational Semantics of the Verilog Hardware.. - Bowen, He, Xu (2000) (Correct)
Active bibliography (related documents): More All
1.8: Animating the Semantics of VERILOG using Prolog - Bowen (1999) (Correct)
0.9: Hardware Compilation: Verification and Rapid-prototyping - Bowen, He (1999) (Correct)
0.7: An Approach to the Specification and Verification of a Hardware.. - Bowen, He (2001) (Correct)
Similar documents based on text: More All
2.2: UNU/IIST Annual Report 1999 - Unu/iist (2000) (Correct)
2.1: UNU/IIST Annual Report 2000 - Unu/iist (2001) (Correct)
2.0: Scheduling and Rescheduling of Trains - Bjørner, George, Prehn (1995) (Correct)
Related documents from co-citation: More All
10: International Institute for Software Technology (context) - Jifeng, Qiwen et al. - 1999
5: A structural approach to operational semantics - Plotkin - 1981
4: The Semantic Challenge of Verilog HDL - Gordon - 1995
BibTeX entry: (Update)
Jonathan Bowen. Animating the Semantics of VERILOG using Prolog. Technical Report 176, UNU/IIST, P.O.Box 3058, Macau, September 1999. http://citeseer.ist.psu.edu/bowen99animating.html More
@techreport{ bowen99animating,
author = "Jonathan P. Bowen",
title = "Animating the Semantics of {VERILOG} using {Prolog}",
number = "176",
institution = "United Nations University, UNU/IIST",
address = "P.O.Box 3058, Macau, China",
date = "September",
year = "1999",
url = "citeseer.ist.psu.edu/bowen99animating.html" }
Citations (may not include all citations):906 A Structural Approach to Operational Semantics - Plotkin - 1981
759 Negation as Failure (context) - Clark - 1978
650 An Axiomatic Basis for Computer Programming (context) - Hoare - 1969
363 Programming in PROLOG (context) - Clocksin, Mellish - 1994
229 A Document Preparation System (context) - Lamport - 1994
197 Literate Programming (context) - Knuth - 1984
108 Communications of the ACM (context) - Hoare, Hayes et al. - 1987
103 Prentice Hall International Series in Computer Science (context) - Hoare - 1998
87 Programming with Constraints: An Introduction (context) - Marriott, Stuckey - 1998
76 IEEE Standard (context) - VHDL, Manual
76 IEEE Standard (context) - Hardware, Based et al. - 1995
65 Specifications are not (context) - Hayes, Jones - 1999
63 Semantics with Applications: A Formal Introduction (context) - Nielson, Nielson - 1992
36 Towards a Provably Correct Hardware Implementation of Occam - Jifeng, Bowen - 1993
35 Constructing HardwareSoftware System from Single Description - Hardware, from et al. - 1996
35 Formal Aspects of Computing (context) - Jifeng, Specification et al. - 1994
29 Theoretical Computer Science (context) - Roscoe, Hoare - 1988
27 The Semantic Challenge of Verilog HDL - Gordon - 1995
25 An Algebraic Approach to Verifiable Compiling Specification .. - Hoare, He et al. - 1990
24 Prentice Hall International Series in Computer Science (context) - Hinchey, Bowen - 1995
24 Industrial-Strength Formal Methods in Practice (context) - Hinchey, Bowen - 1999
21 International Institute for Software Technology (context) - Schneider - 1998
21 International Institute for Software Technology (context) - Van Dung, He - 1999
21 International Institute for Software Technology (context) - Jifeng, Model et al. - 1999
21 International Institute for Software Technology (context) - Jifeng, Qiwen et al. - 1999
21 International Institute for Software Technology (context) - Jifeng, Qiwen et al. - 1999
20 From Programs to Object Code and back again using Logic Prog.. - Bowen - 1993
20 Real-Time Safety Critical Systems series (context) - Bowen - 1994
18 Formal Verification of the AAMP5 Microprocessor (context) - Srivas, Miller - 1995
16 High-Integrity System Specification and Design (context) - Bowen, Hinchey - 1999
14 Kluwer Academic Publishers (context) - Kloos, Breuer et al. - 1995
13 Logic Programming and Digital Circuit Analysis (context) - Clocksin - 1987
13 Provably Correct Systems: Modelling of Communication Languag.. (context) - Jifeng - 1995
13 Time Interval Semantics and Implementation of a Real-time Pr.. - Jifeng - 1992
13 From Programs to Object Code using Logic and Logic Programmi.. - Bowen - 1992
12 Hardware Compilation: Translating Programs into Circuits (context) - Wirth - 1998
11 VLSI Chip Design with the Hardware Description Language VERI.. (context) - Golze - 1996
11 Reasoning with Executable Specifications - Bertot, Fraer - 1995
10 ParTS: A Partitioning Transformation System (context) - Iyoda, Sampaio et al. - 1999
10 Event and Cycle Semantics of Hardware Description Languages (context) - Gordon - 1998
9 A ProCoS II Project Final Report: ESPRIT Basic Research proj.. - Bowen, Hoare et al. - 1996
8 Rapid Compiler Implementation (context) - Bowen - 1995
8 CSLI Lecture Notes (context) - Knuth - 1992
7 Specifications are (context) - Fuchs - 1999
5 URL httpwww (context) - International, URL et al. - 1999
5 Common Framework Mixed HardwareSoftware System (context) - Common, Mixed et al. - 1999
4 OVI Formal Verification Standards Working Group (context) - Sagdeo, Pixley - 1999
4 Formally Verifying IEEE Compliance of Floating-Point Hardwar.. (context) - O'Leary, Xudong et al. - 1999
3 A Brief History of Algebra and Computing: An Eclectic Oxonia.. - Bowen - 1995
2 Alternative Verilog FAQ (context) - Bawankule - 1997
2 URL httpwww (context) - VI, www et al. - 1995
1 Formal Analysis of the Motorola CAP DSP (context) - Brock, Hunt - 1999
1 He Jifeng and Page (context) - Bowen - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.iist.unu.edu/newrh/III/1/page.html): More
On Checking Parallel Real-Time Systems for Linear Duration.. - Jianhua, Van Hung (Correct)
Towards a Denotational Semantics of Timed RSL using Duration.. - Li, Jifeng (1999) (Correct)
Formally Describing Intelligent CAD - Bin, George (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC