Sciweavers

DAC
2001
ACM
15 years 1 months ago
Improved Cut Sequences for Partitioning Based Placement
Recursive partitioning based placement has a long history, but there has been little consensus on how cut sequences should be chosen. In this paper, we present a dynamic programmi...
Mehmet Can Yildiz, Patrick H. Madden
DAC
2001
ACM
15 years 1 months ago
An Advanced Timing Characterization Method Using Mode Dependency
Hakan Yalcin, Robert Palermo, Mohammad Mortazavi, ...
DAC
2001
ACM
15 years 1 months ago
Watermarking Graph Partitioning Solutions
Trends in the semiconductor industry towards extensive design and code reuse motivate a need for adequate Intellectual Property Protection (IPP) schemes. We offer a new general IP...
Gregory Wolfe, Jennifer L. Wong, Miodrag Potkonjak
DAC
2001
ACM
15 years 1 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
15 years 1 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
15 years 1 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
15 years 1 months ago
Address Code Generation for Digital Signal Processors
Sathishkumar Udayanarayanan, Chaitali Chakrabarti
DAC
2001
ACM
15 years 1 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
DAC
2001
ACM
15 years 1 months ago
Transformations for the Synthesis and Optimization of Asynchronous Distributed Control
Asynchronous design has been the focus of renewed interest. However, a key bottleneck is the lack of high-quality CAD tools for the synthesis of large-scale systems which also all...
Michael Theobald, Steven M. Nowick