BibSonomy :: user :: jpbowen :: Verilog+operational

actions for all displayed bookmarks:

export:

RSS, BibTeX, XML

sort:

criterion: date, title
order: ascending, descending

others:

display: all, bookmarks only
bookmarks per page: 5 10 20 50 100

actions for all displayed publications:

export:

RSS, BibTeX, RDF, more...

sort:

criterion: date, title
order: ascending, descending
advanced...

others:

display: all, publications only
publications per page: 5 10 20 50 100

No matching items.

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.
Jonathan P. Bowen. IFM, volume 1945 of Lecture Notes in Computer Science, page 277-296. Springer, (2000)
Jonathan P. Bowen. IFM, volume 1945 of Lecture Notes in Computer Science, page 277-296. Springer, (2000)
a year and 10 months ago
by jpbowen
2
Description HDL Hardware Language Verilog animation formal literate logic methods myown operational programming semantics specification
(0)
URLDOITeX
An Animatable Operational Semantics of the Verilog Hardware Description Language.
Jonathan P. Bowen, Jifeng He, and Qiwen Xu. ICFEM, page 199-208. (2000)
Jonathan P. Bowen, Jifeng He, and Qiwen Xu. ICFEM, page 199-208. (2000)
a year and 10 months ago
by jpbowen
2
Description HDL Hardware Language Verilog animation formal methods myown operational semantics
(0)
URLDOITeX
Deriving Operational Semantics from Denotational Semantics for Verilog.
Huibiao Zhu, Jonathan P. Bowen, and Jifeng He. APSEC, page 177-. IEEE Computer Society, (2001)
Huibiao Zhu, Jonathan P. Bowen, and Jifeng He. APSEC, page 177-. IEEE Computer Society, (2001)
a year and 10 months ago
by jpbowen
2
Verilog denotational derivation formal methods myown operational semantics
(0)
URLDOITeX
From Operational Semantics to Denotational Semantics for Verilog
Zhu Huibiao, Jonathan Bowen, and He Jifeng. (2001)
Zhu Huibiao, Jonathan Bowen, and He Jifeng. (2001)
a year and 10 months ago
by jpbowen
2
Verilog denotational formal methods myown operational semantics
(0)
URL DOI TeX
Deriving operational semantics from denotational semantics for Verilog
Zhu Huibiao, Jonathan Bowen, and He Jifeng. page 177--184. (2001)
Zhu Huibiao, Jonathan Bowen, and He Jifeng. page 177--184. (2001)
a year and 10 months ago
by jpbowen
2
Verilog denotational derivation formal methods myown operational semantics
(0)
URL DOI TeX
From Operational Semantics to Denotational Semantics for Verilog.
Huibiao Zhu, Jonathan P. Bowen, and Jifeng He. CHARME, volume 2144 of Lecture Notes in Computer Science, page 449-466. Springer, (2001)
Huibiao Zhu, Jonathan P. Bowen, and Jifeng He. CHARME, volume 2144 of Lecture Notes in Computer Science, page 449-466. Springer, (2001)
a year and 10 months ago
by jpbowen
2
denotational formal methods myown operational semantics verilog
(0)
URLDOITeX
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics.
Huibiao Zhu, Jonathan P. Bowen, and Jifeng He. ICFEM, volume 2495 of Lecture Notes in Computer Science, page 600-612. Springer, (2002)
Huibiao Zhu, Jonathan P. Bowen, and Jifeng He. ICFEM, volume 2495 of Lecture Notes in Computer Science, page 600-612. Springer, (2002)
a year and 10 months ago
by jpbowen
2
Verilog completeness denotational formal methods myown non-redundancy operational semantics soundness
(0)
URLDOITeX
⟨⟨⟨1⟩⟩⟩

BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany. Privacy & Terms of Use - Contact