MAHA: a program for datapath synthesis.

Alice C. Parker Jorge T. Pizarro Mitch J. Mlinar

Published in: DAC (1986)

Keyphrases

program synthesis
functional programs
computer programs
real world
search engine
wide range
test cases
real time
databases
artificial neural networks
control system
logic programs