1321 search results - page 15 / 265 » Logic Simulation Using Networks of State Machines |
WSC
1998
13 years 8 months ago
1998
Causality constraints of random discrete simulation make parallel and distributed processing difficult. Methods of applying reconfigurable logic to implement and accelerate simula...
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
A regular circuit structure called a Whirlpool PLA (WPLA) is proposed. It is suitable for the implementation of finite state machines as well as combinational logic. A WPLA is ...
DSN
2002
IEEE
14 years 11 days ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
KBSE
2008
IEEE
14 years 1 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
AMAST
2000
Springer
13 years 11 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...