Back

Zoom Roll over image to zoom in

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (Acm Distinguished Dissertation)

Dill, David L.
58.75 AUD
Member Price
52.88
English

Product Description

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 Full Text

Availability Status

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 99.00AUD

Discount is applied at checkout.

Recently Viewed Items

Related Products