Session 1C

10:30am - 12:00pm

 

SoC Methodology

 

Co-Chairs

Vamsi Srikantam, Agilent Technologies

Tom Chen, Colorado State University

 

10:30am          

Introduction

 

10:35am          

1C-1    Using Integer Equations for High Level Formal Verification Property Checking, Bijan Alizadeh, Mohammad Kakoee, University of Tehran, Tehran, Iran     

 

11:05am          

1C-2    True Coverage: A Goal of Verification, Gary Feierbach, Vijay Gupta, Apple Computer, Cupertino, CA 

 

11:20am          

1C-3    Real-Time and Low-Cost Incremental Super-Resolution Over a Video Encoder IP Block, Gustavo Marrero Callico, Rafael Peset Llopis1, Antonio Nunez, Ramanathan Sethuraman1, University of Las Palmas de Gran Canaria, Canary Islands, Spain and 1Philips Research Laboratories, Eindhoven, The Netherlands     

 

11:35am          

1C-4    LYS: A Solution for System on Chip (SoC) Produciton Cost and Time to Volume Reduction, Jean-Pierre Heliot, Florent Parmentier, Marie-Pierre Baron, STMicroelectronics, Crolles, France 

 


Home| Conference| Committee| Sponsors| Resources| Archive| News

International Society for Quality Electronic Design (ISQED Org.)
Copyright 1998-2003 ISQED. All rights reserved.
Revised: January 31, 2003