MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Correct Hardware Design and Verification Methods" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 18 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • State Enumeration With Descriptions of State Machines  
  • by F. Corella, M. Langevin, E. Cerny, Z. Zhou, X. Song — 1995 — In Proc. IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME'95
  • … on Correct Hardware Design and Verification Methods (CHARME'95). Frankfurt, Germany, October, 1995. y IBM…
  • Add To MetaCart
  • Ian Page: Publications  
  • by Ian Page, Theoharis Theoharis, David Duce, Distributed Computing, Systems Programme Iee, Jifeng He, Wayne Luk, Parametrising Fpgas, In Will Moore — 1997
  • … Design and Verification Methods, Proc. IFIP WG10.2 Advanced Research Working Conference, CHARME'93…
  • Add To MetaCart
  • Cv  
  • by Shuvendu K. Lahiri, Advisor Prof R, Advisor Prof R, Al E. Bryant, Al E. Bryant
  • … Hardware Design and Verification Methods (CHARME), October 2003. "Constructing Quantified Invariants via…
  • Add To MetaCart
  • Resume  
  • by Ratan P. Nalumasu
  • …. In IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Method…
  • Add To MetaCart
  • Higher-Level Hardware Synthesis  
  • by Richard Sharp Robinson, Robinson College
  • …. In Proceedings of the 11th Advanced Research Working Conference on Correct Hardware Design and Verification…
  • Add To MetaCart
  • Education  
  • by Alex David Groce, Advisor Edmund Clarke
  • … Predicates. In Advanced Research Working Conference on Correct Hardware Design and Verification Methods…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB