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 10 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 10 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