Sciweavers

DAC
2003
ACM
16 years 1 months ago
A complexity effective communication model for behavioral modeling of signal processing applications
In this paper, we argue that the address space of memory regions that participate in inter task communication is over-specified by the traditional communication models used in beh...
M. N. V. Satya Kiran, M. N. Jayram, Pradeep Rao, S...
125
Voted
DAC
2003
ACM
16 years 1 months ago
Data communication estimation and reduction for reconfigurable systems
Widespread adoption of reconfigurable devices requires system level synthesis techniques to take an application written in a high level language and map it to the reconfigurable d...
Adam Kaplan, Philip Brisk, Ryan Kastner
77
Voted
DAC
2003
ACM
16 years 1 months ago
SAT-based unbounded symbolic model checking
Hyeong-Ju Kang, In-Cheol Park
63
Voted
DAC
2003
ACM
16 years 1 months ago
Generalized cofactoring for logic function evaluation
Yunjian Jiang, Slobodan Matic, Robert K. Brayton
74
Voted
DAC
2003
ACM
16 years 1 months ago
Statistical timing for parametric yield prediction of digital integrated circuits
Jochen A. G. Jess, K. Kalafala, Srinath R. Naidu, ...
94
Voted
DAC
2003
ACM
16 years 1 months ago
Embedded intelligent SRAM
Many embedded systems use a simple pipelined RISC processor for computation and an on-chip SRAM for data storage. We present an enhancement called Intelligent SRAM (ISRAM) that co...
Prabhat Jain, G. Edward Suh, Srinivas Devadas
106
Voted
DAC
2003
ACM
16 years 1 months ago
Design flow for HW / SW acceleration transparency in the thumbpod secure embedded system
This paper describes a case study and design flow of a secure embedded system called ThumbPod, which uses cryptographic and biometric signal processing acceleration. It presents t...
David Hwang, Bo-Cheng Lai, Patrick Schaumont, Kazu...
71
Voted
DAC
2003
ACM
16 years 1 months ago
Energy reduction techniques for multimedia applications with tolerance to deadline misses
Shaoxiong Hua, Gang Qu, Shuvra S. Bhattacharyya
83
Voted
DAC
2003
ACM
16 years 1 months ago
Improved global routing through congestion estimation
In this paper, we present a new method to improve global routing results. By using an amplified congestion estimate to influence a rip-up and reroute approach, we obtain substanti...
Raia Hadsell, Patrick H. Madden
DAC
2003
ACM
16 years 1 months ago
Symbolic representation with ordered function templates
Binary Decision Diagrams (BDDs) often fail to exploit sharing between Boolean functions that differ only in their support variables. In a memory circuit, for example, the function...
Amit Goel, Gagan Hasteer, Randal E. Bryant