Sciweavers

DATE
1999
IEEE
82views Hardware» more  DATE 1999»
14 years 3 months ago
Exploiting State Equivalence on the Fly while Applying Code Motion and Speculation
Emerging design problems are prompting the use of code motion and speculation in high
Luiz C. V. dos Santos, Jochen A. G. Jess
DATE
1999
IEEE
76views Hardware» more  DATE 1999»
14 years 3 months ago
Testing the Configurable Interconnect/Logic Interface of SRAM-Based FPGA's
The objective of this paper is to define a minimum number of configurations for testing the configurable modules that interface the global interconnect and the logic cells of SRAM...
Michel Renovell, Jean Michel Portal, Joan Figueras...
DATE
1999
IEEE
111views Hardware» more  DATE 1999»
14 years 3 months ago
Sequential Circuit Test Generation Using Decision Diagram Models
A novel approach to testing sequential circuits that uses multi-level decision diagram representations is introduced. The proposed algorithm consists of a combination of scanning ...
Jaan Raik, Raimund Ubar
DATE
1999
IEEE
129views Hardware» more  DATE 1999»
14 years 3 months ago
Battery-Powered Digital CMOS Design
In this paper, we consider the problem of maximizing the battery life (or duration of service) in battery-powered CMOS circuits. We first show that the battery efficiency (or utili...
Massoud Pedram, Qing Wu
DATE
1999
IEEE
172views Hardware» more  DATE 1999»
14 years 3 months ago
An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
Olivier Pasquier, Jean Paul Calvez
DATE
1999
IEEE
147views Hardware» more  DATE 1999»
14 years 3 months ago
On Analog Signature Analysis
We formalize the problem of analog data compression and analyze the existence of a polynomial data compression function. Under relaxed conditions we explore the existence of a sol...
Franc Novak, Bojan Hvala, Sandi Klavzar
DATE
1999
IEEE
91views Hardware» more  DATE 1999»
14 years 3 months ago
Path Delay Fault Testing of ICs with Embedded Intellectual Property Blocks
In this paper we show that the already known method of using multiplexers for making the inputs and outputs of the embedded blocks accessible by the primary ports of the Integrate...
Dimitris Nikolos, Haridimos T. Vergos, Th. Haniota...
DATE
1999
IEEE
147views Hardware» more  DATE 1999»
14 years 3 months ago
Efficient BIST Hardware Insertion with Low Test Application Time for Synthesized Data Paths
In this paper, new and efficient BIST methodology and BIST hardware insertion algorithms are presented for RTL data paths obtained from high level synthesis. The methodology is ba...
Nicola Nicolici, Bashir M. Al-Hashimi
DATE
1999
IEEE
61views Hardware» more  DATE 1999»
14 years 3 months ago
An Efficient Filter-Based Approach for Combinational Verification
Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayam...
DATE
1999
IEEE
115views Hardware» more  DATE 1999»
14 years 3 months ago
Case Study: System Model of Crane and Embedded Control
A case study of a crane is defined for the evaluation of system description languages. The plant (car and load) is given as a fourth-order linear system. The embedded control incl...
Eduard Moser, Wolfgang Nebel