Sciweavers

41 search results - page 7 / 9
» iccad 1995
Sort
View
ICCAD
1995
IEEE
110views Hardware» more  ICCAD 1995»
14 years 2 days ago
Fast functional simulation using branching programs
This paper addresses the problem of speeding up functional (delayindependent)logic simulation for synchronousdigital systems. The problem needs very little new motivation – cycl...
Pranav Ashar, Sharad Malik
ICCAD
1995
IEEE
97views Hardware» more  ICCAD 1995»
14 years 2 days ago
Interface co-synthesis techniques for embedded systems
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...
Pai H. Chou, Ross B. Ortega, Gaetano Borriello
ICCAD
1995
IEEE
127views Hardware» more  ICCAD 1995»
14 years 2 days ago
Hybrid decision diagrams
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
Edmund M. Clarke, Masahiro Fujita, Xudong Zhao
ICCAD
1995
IEEE
180views Hardware» more  ICCAD 1995»
14 years 2 days ago
Design based analog testing by Characteristic Observation Inference
In this paper, a new approach to analog test design based on the circuit design process, called Characteristic Observation Inference (COI), is presented. In many situations, it is...
Walter M. Lindermeir, Helmut E. Graeb, Kurt Antrei...
ICCAD
1995
IEEE
129views Hardware» more  ICCAD 1995»
14 years 2 days ago
Activity-driven clock design for low power circuits
In this paper we investigate activity-driven clock trees to reduce the dynamic power consumption of synchronous digital CMOS circuits. Sections of an activity-driven clock tree ca...
Gustavo E. Téllez, Amir H. Farrahi, Majid S...