This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.
Read More
This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.
Read Less
Add this copy of Symbolic Simulation Methods for Industrial Formal to cart. $22.96, very good condition, Sold by ThriftBooks-Dallas rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2002 by Springer.
Add this copy of Symbolic Simulation Methods for Industrial Formal to cart. $22.99, very good condition, Sold by Book Bear rated 5.0 out of 5 stars, ships from West Brookfield, MA, UNITED STATES, published 2002 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Published Without Dust Jacket. 8vo-over 7¾"-9¾" tall. pp. 150. 150 pp. Tightly bound. Light bump to the tip of the lower corner front board. Text is free of markings. No ownership markings. Printed boards. Published without dust jacket.
Add this copy of Symbolic Simulation Methods for Industrial Formal to cart. $54.83, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2002 by Springer.
Add this copy of Symbolic Simulation Methods for Industrial Formal to cart. $140.73, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2012 by Springer.
