Verification of SpecC using predicate abstraction.

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 offere...

Täydet tiedot

Bibliografiset tiedot
Päätekijät: Clarke, E, Jain, H, Kroening, D
Aineistotyyppi: Journal article
Kieli:English
Julkaistu: 2007