10718 search results - page 104 / 2144 » On the Circuit Implementation Problem |
123
Voted
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
When time is incorporated in the specification of discrete systems, the complexity of verification grows exponentially. When the temporal behavior is specified with symbols, the ve...
111
Voted
IWANN
1995
Springer
15 years 7 months ago
1995
Springer
This paper presents a comparative analysis of neural networks, simulated annealing, and genetic algorithms in the determination of input patterns for testing analog circuits. The ...
121
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we prove that the avalanche problem for the Kadanoff sandpile model (KSPM) is P-complete for two-dimensions. Our proof is based on a reduction from the monotone circ...
94
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
There have been serious concerns recently about the security of microchips from hardware trojan horse insertion during manufacturing. This issue has been raised recently due to ou...
141
Voted
ASPDAC
1998
ACM
15 years 7 months ago
1998
ACM
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...