Scott Meeth, design/architecture formal verification engineer at Sun, received a BA in mathematics and a BS in computer science from the University of Florida, Gainesville, and an MS in mathematics and an MA in computer science from the University of Illinois at Champaign-Urbana. Email address: Scott.Meeth@sun.com Web site: http://www.sun.com
1 results found for Scott Meeth, displaying items 1 - 1
July 23, 2009[Design View / Design Solution] Formal Methodology Validates Cache-Coherence Protocol
Bugs in RTL code are problematic, but a bug in an architectural specification can be catastrophic. If the bug remains undetected until post-silicon debugging, the design process essentially starts all over again. Thus, it’s crucial to move the verification process as far forward as possible. With that motivation in mind, engineers at Sun Microsystems recently applied formal verification to an application that commercial tools have not generally...
