Sciweavers

ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
14 years 2 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ICECCS
2000
IEEE
126views Hardware» more  ICECCS 2000»
14 years 2 months ago
Domain Modeling of Software Process Models
This paper presents a novel application involving two important Software Engineering research areas: process modeling and software reuse. The Spiral Model is a risk-driven process...
Hassan Gomaa, Larry Kerschberg, Ghulam A. Farrukh
ICCAD
2000
IEEE
95views Hardware» more  ICCAD 2000»
14 years 2 months ago
Test of Future System-on-Chips
Spurred by technology leading to the availability of millions of gates per chip, system-level integration is evolving as a new paradigm, allowing entire systems to be built on a s...
Yervant Zorian, Sujit Dey, Mike Rodgers
ICCAD
2000
IEEE
149views Hardware» more  ICCAD 2000»
14 years 2 months ago
Dynamic Response Time Optimization for SDF Graphs
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...
Dirk Ziegenbein, Jan Uerpmann, Ralph Ernst
ICCAD
2000
IEEE
80views Hardware» more  ICCAD 2000»
14 years 2 months ago
A Twisted Bundle Layout Structure for Minimizing Inductive Coupling Noise
In this paper, we propose a novel misted-bundle layout structure for minimizing inductive coupling noise. In this structure,we create severalrouting regions and re-order the routi...
Guoan Zhong, Cheng-Kok Koh, Kaushik Roy
ICCAD
2000
IEEE
132views Hardware» more  ICCAD 2000»
14 years 2 months ago
Frequency Domain Analysis of Switching Noise on Power Supply Network
In this paper, we propose an approach for the analysis of power supply noise in the frequency domain for power/ground (P/G) networks of tree topologies. We model the P/G network a...
Shiyou Zhao, Kaushik Roy, Cheng-Kok Koh
ICCAD
2000
IEEE
97views Hardware» more  ICCAD 2000»
14 years 2 months ago
Error Catch and Analysis for Semiconductor Memories Using March Tests
We present an error catch and analysis (ECA) system for semiconductor memories. The system consists of a test algorithm generator called TAGS, a fault simulator called RAMSES, and...
Chi-Feng Wu, Chih-Tsun Huang, Chih-Wea Wang, Kuo-L...
ICCAD
2000
IEEE
88views Hardware» more  ICCAD 2000»
14 years 2 months ago
DRAGON2000: Standard-Cell Placement Tool for Large Industry Circuits
In this paper, we develop a new standard cell placement tool, Dragon2000, to solve large scale placement problem effectively. A top-down hierarchical approach is used in Dragon200...
Maogang Wang, Xiaojian Yang, Majid Sarrafzadeh
ICCAD
2000
IEEE
139views Hardware» more  ICCAD 2000»
14 years 2 months ago
UST/DME: A Clock Tree Router for General Skew Constraints
Chung-Wen Albert Tsao, Cheng-Kok Koh