149
click to vote
ASPDAC
2004
ACM
15 years 11 months 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...