Quote: proving a hardware design is just another form of checking; does not catch specification errors and analog behavior

Quotation Skeleton

It is true that the more checks that … [hardware] design will be to contain bugs. It is an error, … level than other methods of checking. For one … the specification. A more fundamental objection is that … chip unless all the circuits on that chip … design rules cause a particular circuit to sometimes …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: hardware vs. software (15 items)
Topic: program proving is infeasible (46 items)