ICECCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
ICECCS
2007
IEEE
14 years 3 months ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
ICECCS
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
ICCD
2007
IEEE
14 years 3 months ago
2007
IEEE
Leakage power has grown significantly and is a major challenge in microprocessor design. Leakage is the dominant power component in second-level (L2) caches. This paper presents t...
ICCD
2007
IEEE
14 years 3 months ago
2007
IEEE
ICCD
2007
IEEE
14 years 3 months ago
2007
IEEE
A methodology for constructing circuit-level mismatch models and performing yield optimization is presented for CMOS analog circuits. The methodology combines statistical techniqu...
ICCD
2007
IEEE
14 years 3 months ago
2007
IEEE
ICCD
2007
IEEE
14 years 3 months ago
2007
IEEE
ICCAD
2007
IEEE
14 years 3 months ago
2007
IEEE
velsofAbstraction DanielKroening,OxfordUniversity SanjitA.Seshia,UCBerkeley ICCADTutorial November8,2007
ICCAD
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents fully parallel domain decomposition (DD) techniques for efficient simulation of large-scale linear circuits such as power grids. DD techniques that use non-ov...