Hamilton B. Carter

发表

Roles in a Verification Project

Shankar Hemmady, Hamilton B. Carter, 2007 .

Modeling and Architectural Verification

Shankar Hemmady, Hamilton B. Carter, 2007 .

Assertion-Based Verification

Shankar Hemmady, Hamilton B. Carter, 2007 .

The Verification Crisis

Shankar Hemmady, Hamilton B. Carter, 2007 .

Metric- Driven Design Verification

Shankar Hemmady, Hamilton B. Carter, 2007 .

Automated Metric-Driven Processes

Shankar Hemmady, Hamilton B. Carter, 2007 .

Overview of a Verification Project

Shankar Hemmady, Hamilton B. Carter, 2007 .

Revision Control and Change Integration

Shankar Hemmady, Hamilton B. Carter, 2007 .

Design for Test

Shankar Hemmady, Hamilton B. Carter, 2007 .

Metric Driven Design Verification: An Engineer's and Executive's Guide to First Pass Success

Shankar Hemmady, Hamilton B. Carter, 2007 .