Silicon debug of a powerPC microprocessor using model checking

DOI10.1023/A:1016044019648zbMath0994.68534OpenAlexW1599308871MaRDI QIDQ698437

Richard Raimi, James Lear

Publication date: 18 September 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016044019648

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Mathematical problems of computer architecture (68M07)

Related Items (1)

A Semantic Condition for Data Independence and Applications in Hardware Verification

This page was built for publication: Silicon debug of a powerPC microprocessor using model checking