Searching for "Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods." – 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.

Verification of Analog and Mixed-Signal Circuits Using Symbolic Methods
by Scott Little, David Walter, Nicholas Seegmiller, Chris Myers, Tomohiro Yoneda — 2007
…Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets ⋆ Scott Little 1…
Cited by 2 (2 self) – Add To MetaCart

Date
by David C. Walter, David C. Walter, Chris J. Myers, Priyank Kalla, Ganesh Gopalakrishnan, Konrad Slind, Chris J. Myers, David S. Chapman — 2007
…VERIFICATION OF ANALOG AND MIXED-SIGNAL CIRCUITS USING SYMBOLIC METHODS by David C. Walter A…
Add To MetaCart

Showing 1 through 2.

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