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

Hardcover

$32.50

Hardcover

ISBN: 9780262041010

Pub date: September 7, 1989

Publisher: The MIT Press

182 pp., 9 x 11 in,

Paperback

$30.00

Paperback

ISBN: 9780262541572

Pub date: March 17, 2003

Publisher: The MIT Press

182 pp., 9 x 11 in,

182 pp., 9 x 11 in,

  • Hardcover
  • 9780262041010
  • Published: September 1989
  • Publisher: The MIT Press

$32.50

  • Paperback
  • 9780262541572
  • Published: March 2003
  • Publisher: The MIT Press

$30.00

Out of print