Towards a formal semantics of verilog using duration calculus
Schneider G.; Xu Q.
Source PublicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
AbstractWe formalise the semantics of V, a simple version of Verilog hardware description language using an extension of Duration Calculus. The language is simple enough for experimenting formalisation, but contains sufficient features for being practically relevant. V programs can exhibit a rich variety of computations, and it is therefore necessary to extend Duration Calculus with several features, including Weakly Mono-tonic Time, infinite intervals and fixed point operators. The semantics is compositional and can be used as the formal basis of a formal theory of Verilog.
URLView the original
Fulltext Access
Citation statistics
Document TypeConference paper
CollectionUniversity of Macau
AffiliationUnited Nations University
Recommended Citation
GB/T 7714
Schneider G.,Xu Q.. Towards a formal semantics of verilog using duration calculus[C],1998:282-293.
Related Services
Recommend this item
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Schneider G.]'s Articles
[Xu Q.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Schneider G.]'s Articles
[Xu Q.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Schneider G.]'s Articles
[Xu Q.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.