Article,

Improved verification of hardware designs through antecedent conditioned slicing.

, , and .
STTT, 9 (1): 89-101 (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews