Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

ACM Distinguished Dissertation

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

by David L. Dill

182 pp., 9 x 11 in,

  • Paperback
  • 9780262541572
  • Published: March 17, 2003

$30.00

  • Hardcover
  • 9780262041010
  • Published: September 7, 1989

$32.50