Sciweavers

373 search results - page 57 / 75
» Learning Arithmetic Circuits
Sort
View
DAC
2006
ACM
14 years 1 months ago
Mining global constraints for improving bounded sequential equivalence checking
In this paper, we propose a novel technique on mining relationships in a sequential circuit to discover global constraints. In contrast to the traditional learning methods, our mi...
Weixin Wu, Michael S. Hsiao
VTS
2000
IEEE
113views Hardware» more  VTS 2000»
13 years 12 months ago
Hidden Markov and Independence Models with Patterns for Sequential BIST
We propose a novel BIST technique for non-scan sequential circuits which does not modify the circuit under test. It uses a learning algorithm to build a hardware test sequence gen...
Laurent Bréhélin, Olivier Gascuel, G...
TNN
1998
114views more  TNN 1998»
13 years 7 months ago
A new approach to artificial neural networks
: A novel approach to artificial neural networks is presented. The philosophy of this approach is based on two aspects: the design of task-specific networks, and a new neuron model...
Benedito Dias Baptista F. Filho, Eduardo Lobo Lust...
IJAR
2007
96views more  IJAR 2007»
13 years 7 months ago
Complexity measurement of fundamental pseudo-independent models
Pseudo-independent (PI) models are a special class of probabilistic domain model (PDM) where a set of marginally independent domain variables shows collective dependency, a specia...
J. Lee, Y. Xiang
DATE
2004
IEEE
116views Hardware» more  DATE 2004»
13 years 11 months ago
A Novel SAT All-Solutions Solver for Efficient Preimage Computation
In this paper, we present a novel all-solutions preimage SAT solver, SOLALL, with the following features: (1) a new success-driven learning algorithm employing smaller cut sets; (...
Bin Li, Michael S. Hsiao, Shuo Sheng