FMCAD 2008 - PDF Preprint Papers

FMCAD 2008 Formal Methods in Computer Aided Design

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed FMCAD-2008 Paper

click to vote

FMCAD
2008
Springer

169views Formal Methods» more FMCAD 2008»

Word-Level Sequential Memory Abstraction for Model Checking

13 years 6 months ago

Download www.perbjesse.com

el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...

Per Bjesse

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	169	Word-Level Sequential Memory Abstraction for Model Checking	claim
2	168	BackSpace: Formal Analysis for Post-Silicon Debug	claim
3	155	Automatic Generation of Local Repairs for Boolean Programs	claim
4	149	Automatic Non-Interference Lemmas for Parameterized Model Checking	claim
5	146	Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver	claim
6	124	A Write-Based Solver for SAT Modulo the Theory of Arrays	claim
7	124	Verifying an Arbiter Circuit	claim
8	107	Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow	claim
9	102	A Temporal Language for SystemC	claim
10	101	Augmenting a Regular Expression-Based Temporal Logic with Local Variables	claim
11	99	Mechanized Information Flow Analysis through Inductive Assertions	claim
12	96	Recording Synthesis History for Sequential Verification	claim
13	94	Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques	claim
14	90	Optimal Constraint-Preserving Netlist Simplification	claim
15	85	Combining Predicate and Numeric Abstraction for Software Model Checking	claim
16	78	Model Checking Nash Equilibria in MAD Distributed Systems	claim
17	77	Invariant-Strengthened Elimination of Dependent State Elements	claim
18	77	Symbolic Program Analysis Using Term Rewriting and Generalization	claim
19	72	Going with the Flow: Parameterized Verification Using Message Flows	claim
20	66	A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers