Session 1C

10:30am - 12:00pm


SoC Methodology



Vamsi Srikantam, Agilent Technologies

Tom Chen, Colorado State University






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



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



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     



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