Symbolic Simulation Methods for Industrial Formal Verification by Robert B. Jone
123,72 €
Both are based on symbolic simulation. The first approach is applied at the gate level and has been successful in verifying sub-circuits of industrial microprocessors with tens and even hundreds of thousands of gates.
Jetzt bei Ebay:
