Skip navigation

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

By David L. Dill
$26.00
$26.00

View Complete Product Information

Specifications

Paperback

  • Pages: 181p.
  • Dimensions: 7 x 10 inches
  • Publication Date: March 17, 2003
  • Distributor: The MIT Press
  • ISBN: 9780262541572
  • ISBN10: 0262541572