Multi-level synthesis for safe replaceability.

Carl Pixley Vigyan Singhal Adnan Aziz Robert K. Brayton

Published in: ICCAD (1994)

Keyphrases

program synthesis
multi layer
database
learning algorithm
trade off
database systems