Analyzing a PowerPCTM620 Microprocessor Silicon Failure Using Model Checking

Authors:
Richard Raimi;James Lear
Affiliations:
-;-
Venue:
Proceedings of the IEEE International Test Conference
Year:
1997

Citing 0
Cited 2

Bounded Model Checking Using Satisfiability Solving

Formal Methods in System Design
A Semantic Condition for Data Independence and Applications in Hardware Verification

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract