Yung-Te Lai

According to our database, Yung-Te Lai authored at least 9 papers between 1983 and 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1996

OBDD-based function decomposition: algorithms and implementation.

Yung-Te Lai, Kuo-Rueih Ricky Pan, Massoud Pedram

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996

Formal Verification Using Edge-Valued Binary Decision Diagrams.

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

IEEE Trans. Computers, 1996

1994

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

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

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994

FPGA Synthesis Using Function Decomposition.

Yung-Te Lai, Kuo-Rueih Ricky Pan, Massoud Pedram

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

1993

FGILP: an integer linear program solver based on function graphs.

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

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993

BDD Based Decomposition of Logic Functions with Application to FPGA Synthesis.

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

Proceedings of the 30th Design Automation Conference. Dallas, 1993

1992

Boolean Matching Using Binary Decision Diagrams with Applications to Logic Synthesis and Verification.

Yung-Te Lai, Sarma Sastry, Massoud Pedram

Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992

Edge-Valued Binary Decision Diagrams for Multi-Level Hierarchical Verification.

Yung-Te Lai, Sarma Sastry

Proceedings of the 29th Design Automation Conference, 1992

1983

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

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

Proceedings of the Performance '83, 1983