Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleJune 2000
Run-time voltage hopping for low-power real-time systems
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 806–809https://doi.org/10.1145/337292.337785This paper presents a novel run-time dynamic voltage scaling scheme for low-power real-time systems. It employs software feedback control of supply voltage, which is applicable to off-the-shelf processors. It avoids interface problems from variable ...
- ArticleJune 2000
Power minimization using control generated clocks
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 794–799https://doi.org/10.1145/337292.337781In this paper we describe an area efficient power minimization scheme. “Control Generated Clocking” that saves significant amounts of power in datapath registers and clock drivers of sequential circuits. Power savings are achieved by making simple ...
- ArticleJune 2000
Bus encoding for low-power high-performance memory systems
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 800–805https://doi.org/10.1145/337292.337778High-performance memory buses consume large energy as they include termination networks, BiCMOS and/or open-drain output. This paper introduces power reduction techniques for memory systems deliberating on burst-mode transfers over the high-speed bus ...
- ArticleJune 2000
The use of carry-save representation in joint module selection and retiming
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 768–773https://doi.org/10.1145/337292.337773Joint module selection and retiming is a powerful technique to optimize the implementation cost and the speed of a circuit specified using a synchronous data-flow graph (DFG). In implementing high-speed circuits, the use of carry-save signal ...
- ArticleJune 2000
Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 762–767https://doi.org/10.1145/337292.337771In this paper, we propose a technique to implement communication protocols as hardware circuits using a model of concurrent EFSMs with multi-way synchronization. Since use of multi-way synchronization enables simple and comprehensible specifications of ...
-
- ArticleJune 2000
Synthesis-for-testability of controller-datapath pairs that use gated clocks
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 613–618https://doi.org/10.1145/337292.337595A method for high level synthesis-for-testability of controller-datapath pairs that use gated clocks is developed. It uses a register allocation technique that improves the observability of the controller through the datapath, and takes advantage of the ...
- ArticleJune 2000
Predicting coupled noise in RC circuits by matching 1, 2, and 3 moments
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 532–535https://doi.org/10.1145/337292.337568This paper develops the noise-counterparts to familiar delay formulas like Elmore or PRIMO. By matching the first few moments of the network's transfer impedance, we obtain efficient and accurate predictions for maximum noise between two capacitively ...
- ArticleJune 2000
Passive model order reduction of multiport distributed interconnects
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 526–531https://doi.org/10.1145/337292.337566Signal integrity analysis has become imperative for high-speed designs. In this paper, we present a new technique to advance Krylov-space based passive model-reduction algorithms to include lossy coupled transmission lines described by Telegrapher's ...
- ArticleJune 2000
Communication architecture tuners: a methodology for the design of high-performance communication architectures for systems-on-chips
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 513–518https://doi.org/10.1145/337292.337561In this chapter, we present a general methodology for the design of custom system-on-chip communication architectures. Our technique is based on the addition of a layer of circuitry, called the Communication Architecture Tuner (CAT), around any existing ...
- ArticleJune 2000
High-level simulation of substrate noise generation including power supply noise coupling
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 446–451https://doi.org/10.1145/337292.337539Substrate noise caused by large digital circuits will degrade the performance of analog circuits located on the same substrate. To simulate this performance degradation, the total amount of generated substrate noise must be known. Simulating substrate ...
- ArticleJune 2000
A methodology for efficient high-level dataflow simulation of mixed-signal front-ends of digital telecom transceivers
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 440–445https://doi.org/10.1145/337292.337535The explosion of the telecommunications market requires miniaturization and cost-effective realization of the front-ends of transceivers for digital telecommunications. New architectures must therefore be simulated at high level. Current methodologies ...
- ArticleJune 2000
Synthesis and optimization of coordination controllers for distributed embedded systems
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 410–415https://doi.org/10.1145/337292.337520A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previous component models that hardwire the coordination behavior either ...
- ArticleJune 2000
YAPI: application modeling for signal processing systems
- E. A. de Kock,
- W. J. M. Smits,
- P. van der Wolf,
- J.-Y. Brunel,
- W. M. Kruijtzer,
- P. Lieverse,
- K. A. Vissers,
- G. Essink
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 402–405https://doi.org/10.1145/337292.337511We present a programming interface called YAPI to model signal processing applications as process networks. The purpose of YAPI is to enable the reuse of signal processing applications and the mapping of signal processing applications onto heterogeneous ...
- ArticleJune 2000
Predicting performance potential of modern DSPs
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 332–335https://doi.org/10.1145/337292.337431High-level development tools for digital signal processors (DSPs) remain unable to extract optimal performance from them without the designer's in-depth knowledge of the architecture. In this paper we describe our approach to Retargetable Estimation and ...
- ArticleJune 2000
Domino logic synthesis minimizing crosstalk
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 280–285https://doi.org/10.1145/337292.337419Based on the new concept of crosstalk immunity set (CIS), procedures to minimize capacitive cross-coupling effects are developed for domino logic circuit. The nets in a crosstalk immunity set are free from crosstalk effects for any combination of input ...
- ArticleJune 2000
Extended Krylov subspace method for reduced order analysis of linear circuits with multiple sources
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 247–252https://doi.org/10.1145/337292.337407This paper presents a method for general reduced order analysis of linear circuits with a large number of independent sources. This type of circuit is used to model the power grid in power supply noise analysis for example. The large size of the linear ...
- ArticleJune 2000
Dynamic noise analysis in precharge-evaluate circuits
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 243–246https://doi.org/10.1145/337292.337406A dynamic noise model is developed and applied to analyze the noise immunity of precharge-evaluate circuits. Considering that the primary source of noise-injection in the circuit is cross-talk, a simple metric represented as voltage-time product can be ...
- ArticleJune 2000
Static noise analysis for digital integrated circuits in partially-depleted silicon-on-insulator technology
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 239–242https://doi.org/10.1145/337292.337403In this paper, we extend transistor-level static noise analysis tools to consider the unique features of partially-depleted silicon-on-insulator (PD-SOI) technology: floating-body-induced threshold voltage variations and parasitic bipolar leakage ...
- ArticleJune 2000
High-level model of a WDMA passive optical bus for a reconfigurable multiprocessor system
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 221–226https://doi.org/10.1145/337292.337395We describe the first iteration of a comprehensive model with which we can investigate the practical limits on optical bus bandwidth and number of bus processing modules for given signal power. The selection algorithm will ultimately allow programmable ...
- ArticleJune 2000
Automatic formal verification of DSP software
DAC '00: Proceedings of the 37th Annual Design Automation ConferencePages 130–135https://doi.org/10.1145/337292.337339This paper describes a novel formal verification approach for equivalence checking of small, assembly-language routines for digital signal processors (DSP). By combining control-flow analysis, symbolic simulation, automatic decision procedures, and some ...