Sciweavers

DAM
2008
72views more  DAM 2008»
13 years 4 months ago
Minimization of circuit registers: Retiming revisited
In this paper, we address the following problem: given a synchronous digital circuit, is it possible to construct a new circuit computing the same function as the original one but...
Bruno Gaujal, Jean Mairesse
IASTEDCCS
2004
100views Hardware» more  IASTEDCCS 2004»
13 years 6 months ago
On the analysis of digital circuits with uncertain inputs
Unlike the classical deterministic digital circuit analysis, we consider the analysis of uncertain digital circuits defined as follows. Given a binary function of n uncertain inpu...
Houssain Kettani
FMCAD
2007
Springer
13 years 8 months ago
Circuit Level Verification of a High-Speed Toggle
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...
Chao Yan, Mark R. Greenstreet
CONCUR
1998
Springer
13 years 9 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
EH
2002
IEEE
104views Hardware» more  EH 2002»
13 years 9 months ago
Evolvable Hardware for the Generation of Sequential Filter Circuits
Evolutionary algorithms (EAs) are regularly used both for the solution of scheduling problems, and for the creation of digital circuit designs. This paper describes a unified app...
Robert Thomson, Tughrul Arslan

Book
466views
15 years 1 months ago
Lessons In Electric Circuits - 6 Volumes
A great free series of textbooks on the subjects of electricity and electronics.
Tony R. Kuphaldt