![](/img/cover-not-exists.png)
Word level bitwidth reduction for unbounded hardware model checking
Per BjesseVolume:
35
Language:
english
Pages:
17
DOI:
10.1007/s10703-009-0080-2
Date:
August, 2009
File:
PDF, 383 KB
english, 2009