Conference paper
On logic comparison
Leonard Berman
DAC 1981
This correspondence concerns applications of optimization techniques based on global flow analysis to the automated design of logic. Copyright 1986 by The Institute of Electrical and Electronics Engineers, Inc.
Leonard Berman
DAC 1981
Leonard Berman
Theoretical Computer Science
Hua Xiang, Lakshmi Reddy, et al.
ICCAD 2013
Leonard Berman
FOCS 1977