Searching for "Scalable Hybrid Verification of Complex Microprocessors." – 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.

Scalable hybrid verification of complex microprocessors
by Maher Mneimneh, Fadi Aloul, Chris Weaver, Saugata Chatterjee, Karem Sakallah, Todd Austin — 2001 — In 38th Design Automation Conference (DAC-2001
…Scalable Hybrid Verification of Complex Microprocessors Maher Mneimneh, Fadi Aloul, Chris Weaver…
Cited by 4 (2 self) – Add To MetaCart

Single US EDUCATION
by October Objective To, Faoi A, Fadi A. Aloul
…. Mneimneh, F. Aloul, C. Weaver, S. Chatterjee, K. Sakallah, and T. Austin, "Scalable Hybrid Verification…
Add To MetaCart

Showing 1 through 2.

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