The ability to discover and diagnose deeply buried bugs is critical for today's complex chips. Traditional black-box techniques using end-to-end test cases in simulation are proving insufficient for simulating and detecting bugs in complex designs. A wide variety of white-box techniques, ranging from embedded checkers in simulation to model checking with formal verification methods, has been used to improve this situation.

Click here for the full Application Note.

		Click here to get your listing up.