 | 1996 |
|---|
| 9 |       | Yung-Te Lai,
Massoud Pedram,
Sarma B. K. Vrudhula:
Formal Verification Using Edge-Valued Binary Decision Diagrams.
IEEE Trans. Computers 45(2): 247-255 (1996) |
| 8 |  | Yung-Te Lai,
Kuo-Rueih Ricky Pan,
Massoud Pedram:
OBDD-based function decomposition: algorithms and implementation.
IEEE Trans. on CAD of Integrated Circuits and Systems 15(8): 977-990 (1996) |
| 1994 |
|---|
| 7 | | Yung-Te Lai,
Kuo-Rueih Ricky Pan,
Massoud Pedram:
FPGA Synthesis Using Function Decomposition.
ICCD 1994: 30-35 |
| 6 | | Yung-Te Lai,
Massoud Pedram,
Sarma B. K. Vrudhula:
EVBDD-based algorithms for integer linear programming, spectral transformation, and function decomposition.
IEEE Trans. on CAD of Integrated Circuits and Systems 13(8): 959-975 (1994) |
| 1993 |
|---|
| 5 | | Yung-Te Lai,
Massoud Pedram,
Sarma B. K. Vrudhula:
BDD Based Decomposition of Logic Functions with Application to FPGA Synthesis.
DAC 1993: 642-647 |
| 4 | | Yung-Te Lai,
Massoud Pedram,
Sarma B. K. Vrudhula:
FGILP: an integer linear program solver based on function graphs.
ICCAD 1993: 685-689 |
| 1992 |
|---|
| 3 | | Yung-Te Lai,
Sarma Sastry:
Edge-Valued Binary Decision Diagrams for Multi-Level Hierarchical Verification.
DAC 1992: 608-613 |
| 2 | | Yung-Te Lai,
Sarma Sastry,
Massoud Pedram:
Boolean Matching Using Binary Decision Diagrams with Applications to Logic Synthesis and Verification.
ICCD 1992: 452-458 |
| 1983 |
|---|
| 1 | | John L. Carroll,
Leland L. Beck,
Yung-Te Lai:
Performance Evaluation of the Largest-first/First-fit Dynamic Storage Allocation Technique.
Performance 1983: 325-340 |
