Yung-Te Lai

Edge-valued binary decision diagrams for multi-level hierarchical verification

Yung-Te Lai, Sarma Sastry, 1992, DAC '92.

FPGA synthesis using function decomposition

Massoud Pedram, Yung-Te Lai, Kuo-Rueih Ricky Pan, 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

FGILP: an integer linear program solver based on function graphs

Sarma B. K. Vrudhula, Massoud Pedram, Yung-Te Lai, 1993, ICCAD.

OBDD-based function decomposition: algorithms and implementation

Massoud Pedram, Yung-Te Lai, Kuo-Rueih Ricky Pan, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Boolean matching using binary decision diagrams with applications to logic synthesis and verification

Massoud Pedram, Yung-Te Lai, Sarma Sastry, 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.

EVBDD-based algorithms for integer linear programming, spectral transformation, and function decomposition

Sarma Vrudhula, Yung-Te Lai, M. Pedram, 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

BDD Based Decomposition of Logic Functions with Application to FPGA Synthesis

Sarma B. K. Vrudhula, Massoud Pedram, Yung-Te Lai, 1993, 30th ACM/IEEE Design Automation Conference.

Performance Evaluation of the Largest-first/First-fit Dynamic Storage Allocation Technique

Leland L. Beck, Yung-Te Lai, John L. Carroll, 1983, Performance.

Formal Verification Using Edge-Valued Binary Decision Diagrams

Sarma B. K. Vrudhula, Massoud Pedram, Yung-Te Lai, 1996, IEEE Trans. Computers.

FGILP: an integer linear program solver based on function graphs

Sarma B. K. Vrudhula, Massoud Pedram, Yung-Te Lai, 1993, ICCAD '93.