HDL Optimization Using Timed Decision Tables. - Jian Li 061; Rajesh K. Gupta 001 (DAC, 1996)

Limited Exception Modeling and Its Use in Presynthesis Optimizations. - Jian Li 061; Rajesh K. Gupta 001 (DAC, 1997)

Decomposition of timed decision tables and its use in presynthesis optimizations. - Jian Li 061; Rajesh K. Gupta 001 (ICCAD, 1997)

HDL code restructuring using timed decision tables. - Jian Li 061; Rajesh K. Gupta 001 (CODES, 1998)

An Algorithm To Determine Mutually Exclusive Operations In Behavioral Descriptions. - Jian Li 061; Rajesh K. Gupta 001 (DATE, 1998)

Timed Decision Table and Its Applications in Pre-Synthesis and Partial Synthesis of Digital Circuits - Jian Li 061 (1999)

HDL presynthesis optimizations using a tabular model. - Jian Li 061; Rajesh K. Gupta 001 (IEEE Trans. Very Large Scale Integr. Syst., 2000)