Sciweavers

ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
14 years 4 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