Co-Chairs: Fadi Maamari, LogicVision, Robert Aitken, Agilent

10:40am

Introduction

10:45am

3A.1 Synthesis Experiments and Performance Metrics for Evaluating the Quality of IP Blocks and Megacells

Tomas Bautista and Antonio Nunez, University of Las Palmas de Gran Canaria, Canary Islands, Spain

11:10am

3A.2 An Objective Measure Of Digital System Design Quality

Dave Protheroe, and Francesco Pessolano, South Bank University. London, UK

11:35am

3A.3 Achieving the Quality of Verification for Behavioral

Models with Minimum Effort

T. Chen*, M Sahinoglu**, A von Mayrhauser*, A Hajjar* and Ch. Anderson*, *Colorado State University, Fort Collins, CO, **Troy State University TSUM, Montgomery, AL