Login / Signup
Formalization of Finite State Machines with Data Path for the Verification of High-Level Synthesis.
Dominique Borrione
Julia Dushina
Laurence Pierre
Published in:
SBCCI (1998)
Keyphrases
</>
data sets
finite state machines
xml documents
database
artificial intelligence
high level
hidden markov models
data processing
model checking