303 search results - page 8 / 61 » Efficient Design Error Correction of Digital Circuits |
EUROMICRO
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
FM
2003
Springer
14 years 1 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
CASES
2006
ACM
14 years 12 days ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
ISCAS
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper presents a novel design of analog window comparator circuit. The comparator can adaptively adjust its error threshold according to the magnitude of input signal leve...
DAC
1990
ACM
14 years 22 days ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...