Searching for "Debugging Sequential Circuits Using Boolean Satisfiability." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Debugging Sequential Circuits Using Boolean Satisfiability
by Moayad Fahim, Ali Andreas Veneris, Sean Safarpour Rolf Drechsler — 2004 — in Int’l Conf. on CAD, 2004
…Abstract Debugging Sequential Circuits Using Boolean Satisfiability Moayad Fahim Ali 1 Andreas…
Cited by 18 (9 self) – Add To MetaCart

unknown title
by unknown authors
…. Smith, and M. Abadir, “Debugging sequential circuits using Boolean satisfiability,” in Proc. ICCAD, 2004…
Add To MetaCart

Showing 1 through 2.

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