Sany M. Leinwand

Publication Activity (10 Years)

Years Active: 1979-1990
Publications (10 Years): 0

Publications

Yen-Tai Lai, Sany M. Leinwand
A Theory of Rectangular Dual Graphs. Algorithmica 5 (4) (1990)
Yen-Tai Lai, Sany M. Leinwand
Algorithms for floorplan design via rectangular dualization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7 (12) (1988)
Sany M. Leinwand, Yen-Tai Lai
An algorithm for building rectangular floor-plans. DAC (1984)
Sany M. Leinwand
Logical correctness by construction. DAC (1982)
Sany M. Leinwand
Process oriented logic simulation. DAC (1981)
Sany M. Leinwand, T. Lamdan
Algebraic analysis of nondeterministic behavior. DAC (1980)
Sany M. Leinwand, T. Lamdan
Design verification based on functional abstraction. DAC (1979)