An Optimizer for Hardware Synthesis. - Jayaram Bhasker; Huan-Chih Lee (IEEE Des. Test Comput., 1990)