Synthesis-for-testability using transformations.

Miodrag Potkonjak Sujit Dey Rabindra K. Roy

Published in: ASP-DAC (1995)

Keyphrases

texture synthesis
neural network
decision making
image processing
image transformations
program synthesis
genetic algorithm
multimedia
multi agent
analog circuits
functional programs
quasi invariant