![](/img/cover-not-exists.png)
Improved verification of hardware designs through antecedent conditioned slicing
Shobha Vasudevan, E. Allen Emerson, Jacob A. AbrahamVolume:
9
Language:
english
Pages:
13
DOI:
10.1007/s10009-006-0022-x
Date:
February, 2007
File:
PDF, 585 KB
english, 2007