Tuesday September 28, 2004
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]
Post a Comment:
Comments are closed for this entry.
| archives | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| links | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Posted by Chris Rijk on September 29, 2004 at 10:16 AM PDT #