1327 search results - page 6 / 266 » Data Dependent Circuit Design: A Case Study |
115
Voted
TPCD
1994
15 years 29 days ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
102
click to vote
DAC
2007
ACM
16 years 20 days ago
2007
ACM
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
Creating effective test cases is a difficult problem, especially for web applications. To comprehensively test a web application’s functionality, test cases must test complex a...
111
click to vote
CAD
2008
Springer
14 years 11 months ago
2008
Springer
The main difficulty associated with a collaborative design process is understanding the product data exchanged during design. Efficient and effective coordination of design activi...
80
Voted
VLSI
2010
Springer
14 years 10 months ago
2010
Springer
—Latency insensitivity is a promising design paradigm in the nanometer era since it has potential benefits of increased modularity and robustness to variations. Synchronous elas...