Use this url to cite publication: https://hdl.handle.net/20.500.12259/56551
PAFSV: a formal framework for specification and analysis of SystemVerilog
Type of publication
Straipsnis Web of Science ir Scopus duomenų bazėje / Article in Web of Science and Scopus database (S1)
Author(s)
Author | Affiliation | |||
---|---|---|---|---|
Man, Ka Lok | ||||
Title [en]
PAFSV: a formal framework for specification and analysis of SystemVerilog
Is part of
Computing and informatics. Bratislava : Slovak Academy of Sciences, Institute of Informatics, 2016, Vol. 35, iss. 1
Date Issued
Date |
---|
2016 |
Publisher
Bratislava : Slovak Academy of Sciences Institute of Informatics
Extent
p. 143-176
Abstract (en)
We develop a process algebraic framework PAFSV for the formal specification and analysis of IEEE 1800TM SystemVerilog designs. The formal semantics of PAFSV is defined by means of deduction rules that associate a time transition system with a PAFSV process. A set of properties of PAFSV is presented for a notion of bisimilarity. PAFSV may be regarded as the formal language of a significant subset of IEEE 1800TM SystemVerilog. To show that PAFSV is useful for the formal specification and analysis of IEEE 1800TM SystemVerilog designs, we illustrate the use of PAFSV with a multiplexer, a synchronous reset D flip-flop and an arbiter.
Type of document
type::text::journal::journal article::research article
Language
Anglų / English (en)
Coverage Spatial
Slovakija / Slovakia (SK)
ISSN (of the container)
1335-9150
WOS
WOS:000375970000007
Other Identifier(s)
VDU02-000019847
Access Rights
Apribota prieiga / Restricted Access
Journal | IF | AIF | AIF (min) | AIF (max) | Cat | AV | Year | Quartile |
---|---|---|---|---|---|---|---|---|
COMPUTING AND INFORMATICS | 0.488 | 2.997 | 2.997 | 2.997 | 1 | 0.163 | 2016 | Q4 |
Journal | IF | AIF | AIF (min) | AIF (max) | Cat | AV | Year | Quartile |
---|---|---|---|---|---|---|---|---|
COMPUTING AND INFORMATICS | 0.488 | 2.997 | 2.997 | 2.997 | 1 | 0.163 | 2016 | Q4 |
Journal | Cite Score | SNIP | SJR | Year | Quartile |
---|---|---|---|---|---|
Computing and Informatics | 1.3 | 0.565 | 0.23 | 2016 | Q3 |