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. $24.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. $39.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. $43.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. $60.68, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2003 by MIT Press.
Add this copy of Trace Theory for Automatic Hierarchical Verification of to cart. $77.72, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1989 by Mit Pr.
