Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits.
Read More
Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits.
Read Less
Add this copy of Trace Theory for Automatic Hierarchical Verification of to cart. $17.95, like new condition, Sold by Michellebookseller rated 5.0 out of 5 stars, ships from Windham, ME, UNITED STATES, published 2003 by Mit Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Unused paperback! Pages are clean and unmarked. Spine is uncreased. Publisher mark on bottom and top edge. Securely packed. Trade paperback (US). Glued binding. 163 p. Contains: Figures. ACM Distinguished Dissertations. Audience: General/trade.
Add this copy of Trace Theory for Automatic Hierarchical Verification of to cart. $32.00, very good condition, Sold by Powell's Books Chicago rated 5.0 out of 5 stars, ships from Chicago, IL, UNITED STATES, published 1989 by MIT Press (MA).
Add this copy of Trace Theory for Automatic Hierarchical Verification of to cart. $34.22, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2003 by Mit Press.
Add this copy of Trace Theory for Automatic Hierarchical Verification of to cart. $53.68, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2003 by MIT Press.
Add this copy of Trace Theory for Automatic Hierarchical Verification of to cart. $70.72, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1989 by Mit Pr.
