Sequential synthesis using S1S.

Adnan Aziz Felice Balarin Robert K. Brayton Alberto L. Sangiovanni-Vincentelli

Published in: ICCAD (1995)

Keyphrases

program synthesis
database
cooperative
texture synthesis
data sets
real world
website
high quality
wide range
analog circuits
sequential search