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. $39.43, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 2002 by Springer.
Add this copy of Symbolic Simulation Methods for Industrial Formal to cart. $55.85, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2002 by Springer.
Add this copy of Symbolic Simulation Methods for Industrial Formal to cart. $61.61, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2002 by Springer.
Add this copy of Symbolic Simulation Methods for Industrial Formal to cart. $63.49, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 2002 by Springer.
Add this copy of Symbolic Simulation Methods for Industrial Formal to cart. $67.00, new condition, Sold by Peak Books rated 4.0 out of 5 stars, ships from Cary, NC, UNITED STATES, published 2002 by Springer.
Add this copy of Symbolic Simulation Methods for Industrial Formal to cart. $81.01, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2002 by Springer.
Add this copy of Symbolic Simulation Methods for Industrial Formal to cart. $99.89, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 2002 by Springer.
Add this copy of Symbolic Simulation Methods for Industrial Formal to cart. $104.44, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2002 by Springer.
Add this copy of Symbolic Simulation Methods for Industrial Formal to cart. $105.52, new 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. $109.29, new condition, Sold by Books International rated 3.0 out of 5 stars, ships from Toronto, ON, CANADA, published 2002 by Springer.