4809 search results - page 403 / 962 » CajunBot: Architecture and algorithms |
186
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
The proliferation of the Internet has a ected the business model of almost all semiconductor and VLSI CAD companies that rely on intellectual property (IP) as their main source of...
193
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...
153
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents a class of algorithms suitable for model reduction of distributed systems. Distributed systems are not suitable for treatment by standard model-reduction algor...
168
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Early power analysis for systems-on-chip (SoC) is crucial for determining the appropriate packaging and cost. This early analysis commonly relies on evaluating power formulas for ...
151
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Cyclic circuits that do not hold state or oscillate are often the most convenient representation for certain functions, such as arbiters, and can easily be produced inadvertently ...