Sciweavers

787 search results - page 8 / 158
» Digital Algebra and Circuits
Sort
View
CAV
1990
Springer
114views Hardware» more  CAV 1990»
13 years 11 months ago
Formal Verification of Digital Circuits Using Symbolic Ternary System Models
Ternary system modeling involves extending the traditional set of binary values
Randal E. Bryant, Carl-Johan H. Seger
CONCUR
1998
Springer
13 years 11 months ago
On Discretization of Delays in Timed Automata and Digital Circuits
In this paper we solve the following problem: \given a digital circuit composed of gates whose real-valued delays are in an integerbounded interval, is there a way to discretize ti...
Eugene Asarin, Oded Maler, Amir Pnueli
DATE
2000
IEEE
110views Hardware» more  DATE 2000»
13 years 12 months ago
Stochastic Modeling and Performance Evaluation for Digital Clock and Data Recovery Circuits
Clock and data recovery circuits are essential components in communication systems. They directly influence the bit-error-rate performance of communication links. It is desirable...
Alper Demir, Peter Feldmann
ECAL
2005
Springer
14 years 1 months ago
How Do Evolved Digital Logic Circuits Generalise Successfully?
Contrary to indications made by prior researchers, digital logic circuits designed by artificial evolution to perform binary arithmetic tasks can generalise on inputs which were n...
Simon McGregor
AHS
2006
IEEE
104views Hardware» more  AHS 2006»
13 years 9 months ago
Evolutionary Design of Digital Circuits: Where Are Current Limits?
The objective of this paper is to classify the approaches proposed to the evolutionary digital circuit design in the recent years and to identify the levels of complexity and inno...
Lukás Sekanina