DOI: 10.1109/date.2003.1253779
View full text
|
|
Share

Abstract: AbstractThis paper focuses on checking safety properties for sequential circuits specified on the RT-level