Sciweavers

ISSS
1997
IEEE
92views Hardware» more  ISSS 1997»
14 years 5 days ago
Synthesising Controllers from Real-Time Specifications
We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic Duration Calculus [13]. The synthesised controllers are given as PLC-Auto...
Henning Dierks
ISSS
1997
IEEE
77views Hardware» more  ISSS 1997»
14 years 5 days ago
Constraint Analysis for DSP Code Generation
Bart Mesman, Marino T. J. Strik, Adwin H. Timmer, ...
ISLPED
1997
ACM
106views Hardware» more  ISLPED 1997»
14 years 5 days ago
A sequential procedure for average power analysis of sequential circuits
A new statistical technique for average power estimation in sequential circuits is presented. Due to the feedback mechanism, conventional statistical procedures cannot be applied ...
Li-Pen Yuan, Sung-Mo Kang
ISLPED
1997
ACM
106views Hardware» more  ISLPED 1997»
14 years 5 days ago
Energy delay measures of barrel switch architectures for pre-alignment of floating point operands for addition
Significand pre-alignment is a pre requisite for floating point additions. This paper1 addresses the architectural design and energy delay evaluation of a Low Power Barrel Switch ...
R. V. K. Pillai, Dhamin Al-Khalili, Asim J. Al-Kha...
ISLPED
1997
ACM
104views Hardware» more  ISLPED 1997»
14 years 5 days ago
Composite sequence compaction for finite-state machines using block entropy and high-order Markov models
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). B...
Radu Marculescu, Diana Marculescu, Massoud Pedram
ISLPED
1997
ACM
72views Hardware» more  ISLPED 1997»
14 years 5 days ago
A capacitor-based D/A converter with continuous time output for low-power applications
A digital to analog converter has been developed using switched capacitors as the basic DAC elements. The use of switching capacitors provides excellent matching without sacrifici...
Lapoe Lynn, Paul Ferguson Jr.
ISLPED
1997
ACM
110views Hardware» more  ISLPED 1997»
14 years 5 days ago
A one division per clock pipelined division architecture based on LAPR (lookahead of partial-remainder) for low-power ECC applic
We propose a pipelined division architecture for low-power ECC applications, which is based on partialdivision on group basis and lookahead technique exploiting the linearity in f...
Hyung-Joon Kwon, Kwyro Lee
ISLPED
1997
ACM
94views Hardware» more  ISLPED 1997»
14 years 5 days ago
A gate resizing technique for high reduction in power consumption
With the advent of portable and high density microelectronic devices, the power dissipation of VLSI circuits is becoming a critical concern. In this paper, we propose a post
Patrick Girard, Christian Landrault, Serge Pravoss...
ISLPED
1997
ACM
130views Hardware» more  ISLPED 1997»
14 years 5 days ago
K2: an estimator for peak sustainable power of VLSI circuits
New measures of peak power in the context of sequential circuits are proposed. This paper presents an automatic procedure to obtain very good lower bounds on these measures as wel...
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. P...
ISLPED
1997
ACM
91views Hardware» more  ISLPED 1997»
14 years 5 days ago
Fully depleted CMOS/SOI device design guidelines for low power applications
In this paper we report the fully depleted CMOS/SOI device design guidelines for low power applications. Optimal technology, device and circuit parameters are discussed and compar...
Srinivasa R. Banna, Philip C. H. Chan, Mansun Chan...