ASPDAC
2005
ACM
14 years 5 months ago
2005
ACM
The progressive trend of fabrication technologies towards the nanometer regime has created a number of new physical design challenges for computer architects. Design complexity, u...
ASPDAC
2005
ACM
14 years 5 months ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
ASPDAC
2005
ACM
14 years 5 months ago
2005
ACM
ASPDAC
2005
ACM
14 years 5 months ago
2005
ACM
The sustained miniaturization of VLSI feature size presents great challenges to sub-wavelength photolithography and requests usage of many Resolution Enhancement Techniques (RET)....
ASPDAC
2005
ACM
14 years 5 months ago
2005
ACM
— The power consumption of the network interface plays a major role in determining the total operating lifetime of wireless networked embedded systems. In case of on-demand pagin...
ASPDAC
2005
ACM
14 years 5 months ago
2005
ACM
— At system level, intensively analyzing the system application will produce a variety of useful characteristics and provide designers valuable exploration indications. In this p...
ASPDAC
2005
ACM
14 years 5 months ago
2005
ACM
- This paper presents a comparison between three different high-level modeling approaches for embedded systems design, focusing on systems that require dataflow models. The propose...
ASPDAC
2005
ACM
14 years 5 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
ASPDAC
2005
ACM
14 years 5 months ago
2005
ACM
-We propose a method involvingselectivesignalgating to minimize power dissipation in current-mode CMOS analog and multiple-valued logic (MVL) circuits employing a stack of current ...