Sciweavers

2 search results - page 1 / 1
» Efficient Microprocessor Verification using Antecedent Condi...
Sort
View
VLSID
2007
IEEE
97views VLSI» more  VLSID 2007»
14 years 4 months ago
Efficient Microprocessor Verification using Antecedent Conditioned Slicing
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
Shobha Vasudevan, Vinod Viswanath, Jacob A. Abraha...
SIGSOFT
2007
ACM
14 years 4 months ago
Finding bugs efficiently with a SAT solver
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
Julian Dolby, Mandana Vaziri, Frank Tip