Yung-Te Lai

Publication Activity (10 Years)

Years Active: 1983-1996
Publications (10 Years): 0

Publications

Yung-Te Lai, Kuo-Rueih Ricky Pan, Massoud Pedram
OBDD-based function decomposition: algorithms and implementation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15 (8) (1996)
Yung-Te Lai, Massoud Pedram, Sarma B. K. Vrudhula
Formal Verification Using Edge-Valued Binary Decision Diagrams. IEEE Trans. Computers 45 (2) (1996)
Yung-Te Lai, Massoud Pedram, Sarma B. K. Vrudhula
EVBDD-based algorithms for integer linear programming, spectral transformation, and function decomposition. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13 (8) (1994)
Yung-Te Lai, Kuo-Rueih Ricky Pan, Massoud Pedram
FPGA Synthesis Using Function Decomposition. ICCD (1994)
Yung-Te Lai, Massoud Pedram, Sarma B. K. Vrudhula
BDD Based Decomposition of Logic Functions with Application to FPGA Synthesis. DAC (1993)
Yung-Te Lai, Massoud Pedram, Sarma B. K. Vrudhula
FGILP: an integer linear program solver based on function graphs. ICCAD (1993)
Yung-Te Lai, Sarma Sastry, Massoud Pedram
Boolean Matching Using Binary Decision Diagrams with Applications to Logic Synthesis and Verification. ICCD (1992)
Yung-Te Lai, Sarma Sastry
Edge-Valued Binary Decision Diagrams for Multi-Level Hierarchical Verification. DAC (1992)
John L. Carroll, Leland L. Beck, Yung-Te Lai
Performance Evaluation of the Largest-first/First-fit Dynamic Storage Allocation Technique. Performance (1983)