Yosinori Watanabe;Robert K. Brayton
-;-
Sequential Permissible Functions and their Application to Circuit Optimization
EDTC '96 Proceedings of the 1996 European conference on Design and Test