Sciweavers

20511 search results - page 284 / 4103
» On the level
Sort
View
CAV
2007
Springer
129views Hardware» more  CAV 2007»
16 years 1 months ago
BAT: The Bit-Level Analysis Tool
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
Panagiotis Manolios, Sudarshan K. Srinivasan, Daro...