Sciweavers

1321 search results - page 1 / 265
» Logic Simulation Using Networks of State Machines
Sort
View
81
Voted
DATE
2000
IEEE
79views Hardware» more  DATE 2000»
15 years 6 months ago
Logic Simulation Using Networks of State Machines
Peter M. Maurer
VLSID
1997
IEEE
98views VLSI» more  VLSID 1997»
15 years 6 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
94
Voted
JUCS
2008
159views more  JUCS 2008»
15 years 2 months ago
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
Anatol Slissenko, Pavel Vasilyev
ICML
2009
IEEE
16 years 3 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
137
Voted
DAC
2002
ACM
16 years 3 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