6 search results - page 2 / 2 » Automatic Checking of Aggregation Abstractions Through State... |
VLSID
2007
IEEE
14 years 5 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...