Sciweavers

787 search results - page 4 / 158
» Digital Algebra and Circuits
Sort
View
DAC
1996
ACM
13 years 11 months ago
Characterization and Parameterized Random Generation of Digital Circuits
The development of new Field-Programmed, MaskProgrammed and Laser-Programmed Gate Array architectures is hampered by the lack of realistic test circuits that exercise both the arc...
Michael D. Hutton, Jerry P. Grossman, Jonathan Ros...
JMIV
2010
64views more  JMIV 2010»
13 years 6 months ago
Some Properties of Digital Covering Spaces
In this paper we study digital versions of some properties of covering spaces from algebraic topology. We correct and improve upon the presentation of assertions in Han’s papers ...
Laurence Boxer, Ismet Karaca
EH
2002
IEEE
104views Hardware» more  EH 2002»
14 years 14 days 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
ISMVL
1994
IEEE
98views Hardware» more  ISMVL 1994»
13 years 11 months ago
Digital Circuit Verification Using Partially-Ordered State Models
Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practice...
Carl-Johan H. Seger, Randal E. Bryant
DATE
2002
IEEE
124views Hardware» more  DATE 2002»
14 years 14 days ago
Parameter Controlled Automatic Symbolic Analysis of Nonlinear Analog Circuits
In this paper we introduce an approach for parameter controlled symbolic analysis of nonlinear analog circuits. Based on a state-of–the-art algorithm, it enables the removal of ...
Ralf Popp, Joerg Oehmen, Lars Hedrich, Erich Barke