An Approach to Verify a Large Scale System-on-a-chip Using Symbolic Model Checking

Authors:
Affiliations:
Venue:
ICCD '98 Proceedings of the International Conference on Computer Design
Year:
1998

Citing 0
Cited 5

Model checking of S3C2400X industrial embedded SOC product

Proceedings of the 38th annual Design Automation Conference
Effective safety property checking using simulation-based sequential ATPG

Proceedings of the 39th annual Design Automation Conference
Model Checking Based on Sequential ATPG

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Formal Verification of an Industrial System-on-a-Chip

ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
Counterexample-guided abstraction refinement for symbolic model checking

Journal of the ACM (JACM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Using highly optimized, custom circuits and fast dynamic array control structures, a small team of designers at the IBM Austin Research Laboratory has developed a one gigahertz microprocessor. This paper describes the custom datapath circuit technology ...