Sciweavers

ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
13 years 10 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler