Tuesday September 28, 2004

Formal verification for silicon debug

The latest Verification Avenues newsletter from Synopsys has a great article by Catherine Ahlschlager and Dave Wilkins from Sun. The article describe how they nailed down a really tricky bug in one of our processors. Using formal verifiers to root-cause hard-to-debug problems in silicon - that's a neat idea!

(2004-09-28 23:31:04.0) Permalink Comments [1]