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