induction-based property checking

DATE
2003
IEEE

66views Hardware» more DATE 2003»

Using RTL Statespace Information and State Encoding for Induction Based Property Checking

14 years 5 months ago

This paper focuses on checking safety properties for sequential circuits speciﬁed on the RT-level. We study how different state encodings can be used to create a gate-level repr...

Markus Wedler, Dominik Stoffel, Wolfgang Kunz

claim paper

Read More »

click to vote

ASPDAC
2004
ACM

72views Hardware» more ASPDAC 2004»

Exploiting state encoding for invariant generation in induction-based property checking

14 years 5 months ago

Download www.cs.york.ac.uk

— This paper focuses on checking safety properties for sequential circuits speciﬁed on the RTlevel. We study how diﬀerent state encodings can be used to create a gate-level r...

Markus Wedler, Dominik Stoffel, Wolfgang Kunz

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers