Efficient verification of multi-property designs (The benefit of wrong assumptions) | 1 | 0.39 | 2018 |
Lifting CDCL to Template-based Abstract Domains for Program Verification. | 0 | 0.34 | 2017 |
Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version). | 0 | 0.34 | 2017 |
Unbounded Safety Verification For Hardware Using Software Analyzers | 1 | 0.42 | 2016 |
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. | 1 | 0.35 | 2016 |
v2c - A Verilog to C Translator. | 3 | 0.40 | 2016 |
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version). | 0 | 0.34 | 2016 |
Equivalence Checking Using Trace Partitioning | 1 | 0.35 | 2015 |
Hardware Verification Using Software Analyzers | 4 | 0.47 | 2015 |