Optimizing designs containing black boxes.

Published in: ACM Trans. Design Autom. Electr. Syst. (2001)