Refining specifications to programmable logic.

Adrian J. Hilton Jon G. Hall

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

programmable logic
delay insensitive
written in natural language
functional requirements
field programmable gate array
image segmentation
finite state machines
formal specification
specification language
data sets
neural network
high level
multi agent systems