Journal article icon

Journal article

Verification of SpecC using predicate abstraction.

Abstract:

Languages such as SystemC or SpecC offer modeling of hardware and whole system designs at a high level of abstraction. However, formal verification techniques are widely applied in the hardware design industry only for low level designs, such as a netlist or RTL. The higher abstraction levels offered by these new languages are not yet amenable to rigorous, formal verification. This paper describes how to apply predicate abstraction to SpecC system descriptions. The technique supports the conc...

Expand abstract

Actions


Access Document


Publisher copy:
10.1007/s10703-006-0020-3

Authors


Journal:
Formal Methods in System Design
Volume:
30
Issue:
1
Pages:
5-28
Publication date:
2007-01-01
DOI:
EISSN:
1572-8102
ISSN:
0925-9856
URN:
uuid:bd41713d-fc17-4879-acec-aaa5bbeca5b0
Source identifiers:
327176
Local pid:
pubs:327176

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP