769 search results - page 83 / 154 » Timed Circuit Synthesis Using Implicit Methods |
CODES
1999
IEEE
14 years 2 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
EVOW
2010
Springer
14 years 3 months ago
2010
Springer
In this paper we report on the synthesis of sounds using cellular automata, specifically the multitype voter model. The mapping process adopted is based on digital signal processin...
DAC
2001
ACM
14 years 11 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
DAC
1998
ACM
14 years 2 months ago
1998
ACM
This paper presents a general method for computing transient sensitivities using the adjoint method in event driven simulation algorithms that employ piecewise linear device model...
ASPDAC
2009
ACM
14 years 4 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...