Sciweavers

DAC
2001
ACM
16 years 8 months ago
MicroNetwork-Based Integration for SOCs
In this paper, we describe the concept of using an on-chip network as the fundamental communication architecture for a complex SOC design. We describe some of the salient features...
Drew Wingard
DAC
2001
ACM
16 years 8 months ago
Hardware/Software Instruction Set Configurability for System-on-Chip Processors
New application-focused system-on-chip platforms motivate new application-specific processors. Configurable and extensible processor architectures offer the efficiency of tuned lo...
Albert Wang, Earl Killian, Dror E. Maydan, Chris R...
DAC
2001
ACM
16 years 8 months ago
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukul...
DAC
2001
ACM
16 years 8 months ago
Address Code Generation for Digital Signal Processors
Sathishkumar Udayanarayanan, Chaitali Chakrabarti
DAC
2001
ACM
16 years 8 months ago
An Interconnect Energy Model Considering Coupling Effects
This paper first presents an analytical interconnect energy model with consideration of event coupling, which is not considered by the conventional 1 2CV2 model. Our energy calcul...
Taku Uchino, Jason Cong