160
click to vote
ASPDAC
2004
ACM
16 years 18 hour ago
2004
ACM
— 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...