Specification and synthesis of bounded indirection.

M. Esen Tuna Kamlesh Rath Steven D. Johnson

Published in: Great Lakes Symposium on VLSI (1995)

Keyphrases

high level
formal verification
specification language
texture synthesis
real time
neural network
information systems
user defined
formal specification
data mining
program synthesis