Early in the design is where we catch the bugs easiest. We have less efficiency in unit and chip verification and in system verification where we put the system together (where we have the least effective raw engine) but we still find bugs. Formal verification, the next big promise in this area, is very effective in reaching deep into this state space if you can employ it. Acceleration and emulation is very important because you have a fast engine with its own constraints. Finally, when you get silicon back from the lab is where you have the raw power of physics going on and can finish the debug cycle.
|