Sciweavers

71
Voted
ASPDAC
2004
ACM
72views Hardware» more  ASPDAC 2004»
15 years 2 months ago
Exploiting state encoding for invariant generation in induction-based property checking
— This paper focuses on checking safety properties for sequential circuits specified on the RTlevel. We study how different state encodings can be used to create a gate-level r...
Markus Wedler, Dominik Stoffel, Wolfgang Kunz