241 search results - page 22 / 49 » Symbolic Analysis Methods for Masks, Circuits, and Systems |
FMCAD
2007
Springer
13 years 11 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
ICDCS
2010
IEEE
13 years 7 months ago
2010
IEEE
—In this paper, we classify multitolerant systems, i.e., systems that tolerate multiple classes of faults and provide potentially different levels of tolerance to them in terms o...
ICDAR
2003
IEEE
14 years 20 days ago
2003
IEEE
This paper aims at automatic recognition of online handwritten mathematical expressions written on an electronic tablet. The proposed technique involves two major stages: symbol r...
ICCAD
2008
IEEE
14 years 4 months ago
2008
IEEE
– Due to reduction in device feature size and supply voltage, the sensitivity of digital systems to transient faults is increasing dramatically. As technology scales further, the...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper we discuss the performance of different profiles of VDSL2 systems in a frequency range up to 12 MHz (bandplan 998 and 997, corresponding to the European region) u...