Nuts and bolts of core and SoC verification

Authors:
Ken Albin
Affiliations:
Motorola, Inc., 7700 W. Parmer Lane, MD PL31, Austin, TX
Venue:
Proceedings of the 38th annual Design Automation Conference
Year:
2001

Citing 7
Cited 4

Modeling design constraints and biasing in simulation using BDDs

ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Automatic Vector Generation Using Constraints and Biasing

Journal of Electronic Testing: Theory and Applications - Special issue on microprocessor test and verification
ACL2 Theorems About Commercial Microprocessors

FMCAD '96 Proceedings of the First International Conference on Formal Methods in Computer-Aided Design
A Methodology for Large-Scale Hardware Verification

FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Design Constraints in Symbolic Model Checking

CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Automatic verification of Pipelined Microprocessor Control

CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Formal Verification of an Avionics Microprocessor

Formal Verification of an Avionics Microprocessor

A novel collaborative scheme of simulation and model checking for system properties verification

Computers in Industry - Special issue: Collaborative environments for concurrent engineering
Intelligent interleaving of scenarios: a novel approach to system level test generation

Proceedings of the 44th annual Design Automation Conference
An incremental learning framework for estimating signal controllability in unit-level verification

Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Path-Based system level stimuli generation

HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Digital design at Motorola is performed at design centers throughout the world, on projects with different design objectives, executed on different time scales, by different sized teams with different skill sets. This paper attempts to categorize these diverse efforts and identify common threads: what works, what the challenges are, and where we need to go.