A Two-State Methodology for RTL Logic Simulation.

Published in: DAC (1999)

Keyphrases

state space
discrete event simulation
data sets
machine learning
information retrieval
automated reasoning
databases
neural network
genetic algorithm
e learning
case study
expert systems
logic programming
mathematical model
simulation model