Searching for "Improved verification of hardware designs through antecedent conditioned slicing." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Improved Verification of Hardware Designs through Antecedent Conditioned Slicing
by Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham — 2005 — International Journal on Software Tools for Technology Transfer (STTT
… in Improved Verification of Hardware Designs through Antecedent Conditioned Slicing 5 the slicing criterion…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB