SINMEF - A Decomposition Based Synthesis Tool for Large FSMs.

Carlos Humberto Llanos Quintero Marius Strum

Published in: Great Lakes Symposium on VLSI (1999)

Keyphrases

software tools
program synthesis
user friendly
special case
databases
neural network
search engine
e learning
high level
artificial neural networks
logic programs
decomposition method