303 search results - page 8 / 61 » Efficient Design Error Correction of Digital Circuits |
153
Voted
EUROMICRO
2000
IEEE
15 years 8 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...
135
click to vote
FM
2003
Springer
15 years 9 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...
132
click to vote
CASES
2006
ACM
15 years 7 months 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...
131
click to vote
ISCAS
2007
IEEE
15 years 10 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...
117
click to vote
DAC
1990
ACM
15 years 8 months 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...