Sciweavers

1321 search results - page 1 / 265
» Logic Simulation Using Networks of State Machines
Sort
View
68
Voted
DATE
2000
IEEE
79views Hardware» more  DATE 2000»
15 years 4 months ago
Logic Simulation Using Networks of State Machines
Peter M. Maurer
98
Voted
VLSID
1997
IEEE
98views VLSI» more  VLSID 1997»
15 years 4 months ago
Synthesis for Logical Initializability of Synchronous Finite State Machines
—Logical initializability is the property of a gate-level circuit whereby it can be driven to a unique start state when simulated by a three-valued (0, 1, ) simulator. In practic...
Montek Singh, Steven M. Nowick
100
Voted
ICML
2009
IEEE
16 years 1 months ago
Proto-predictive representation of states with simple recurrent temporal-difference networks
We propose a new neural network architecture, called Simple Recurrent Temporal-Difference Networks (SR-TDNs), that learns to predict future observations in partially observable en...
Takaki Makino
114
Voted
DAC
2002
ACM
16 years 1 months ago
Software synthesis from synchronous specifications using logic simulation techniques
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
Yunjian Jiang, Robert K. Brayton