Searching for "PHDD an efficient graph representation for floating point circuit verification." – 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.

*PHDD: An Efficient Graph Representation for Floating Point Circuit Verification
by Yirng-an Chen, Randal E. Bryant — 1997 — In Int'l Conf. on CAD
…*PHDD: An Efficient Graph Representation for Floating Point Circuit Verification y Yirng-An Chen…
Cited by 12 (1 self) – Add To MetaCart

Yirng-An Chen
by University Address Contact, Yirng-an Chen, Al E. Bryant (chair, Edmund M. Clarke, Rob A. Rutenbar, Xudong Zhao (intel
…, “*PHDD: An Efficient Graph Representation for Floating Point Circuit Verification,” In Proceedings…
Add To MetaCart

Showing 1 through 2.

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