MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Theorem Provers in Circuit Design - Theory" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • A Tutorial on Using PVS for Hardware Verification  
  • by S. Owre, J. M. Rushby, N. Shankar, M. K. Srivas — 1995 — Proc. 2nd International Conference on Theorem Provers in Circuit Design (TPCD94), volume 901 of Lecture Notes in Computer Science
  • … International Conference on Theorem Provers in Circuit Design, Theory, Practice, and Experience, Bad Herrenalb…
  • Cited by 15 (0 self) – Add To MetaCart
  • [56] Steven D. Johnson.  
  • by Synthesis Of Digital, Steven D. Johnson Circuits, Systems Implementing Communication
  • … for hardware diagrams. In Ramayya Kumar and Thomas Kropf, editors, Theorem Provers in Circuit Design, Theory…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB