266 search results - page 23 / 54 » Combining Software and Hardware Verification Techniques |
107
Voted
DAC
2005
ACM
16 years 2 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
155
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
106
click to vote
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
The scaling of CMOS technology into the nanometer era enables the fabrication of highly integrated systems, which increasingly contain analog and/or RF parts. However, scaling into...
131
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
136
Voted
VLUDS
2010
14 years 8 months ago
2010
Large high-resolution displays combine the images of multiple smaller display devices to form one large display area. A total resolution that can easily comprise several hundred m...