Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

DATE
2003
IEEE

favoriteEmaildiscussreport

66views Hardware» more DATE 2003»

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

13 years 9 months ago

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

Download www.date-conference.com

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 representation of the circuit that facilitates the computation of effective invariants for induction-based property checking. Our experiments show the strong impact of state encoding on the efﬁciency of the induction process.

Markus Wedler, Dominik Stoffel, Wolfgang Kunz

Real-time Traffic

DATE 2003 | Hardware | Induction-based Property Checking | Sequential Circuits | State Encoding |

claim paper

Related Content

» Learning to verify branching time properties

» On the Design and Verification Methodology of the LookAside Interface

» Automatic error finding in accesscontrol policies

Post Info
More Details (n/a)

Added	04 Jul 2010
Updated	04 Jul 2010
Type	Conference
Year	2003
Where	DATE
Authors	Markus Wedler, Dominik Stoffel, Wolfgang Kunz

Comments (0)