Speculation Techniques for High Level Synthesis of Control Intensive Designs. - Sumit Gupta; Nick Savoiu; Sunwoo Kim; Nikil D. Dutt; Rajesh K. Gupta 001; Alexandru Nicolau (DAC, 2001)

Conditional speculation and its effects on performance and area for high-level snthesis. - Sumit Gupta; Nick Savoiu; Nikil D. Dutt; Rajesh K. Gupta 001; Alexandru Nicolau (ISSS, 2001)

V-SAT: A visual specification and analysis tool for system-on-chip exploration. - Asheesh Khare; Ashok Halambi; Nicolae Savoiu; Peter Grun; Nikil D. Dutt; Alex Nicolau (J. Syst. Archit., 2001)

Coordinated transformations for high-level synthesis of high performance microprocessor blocks. - Sumit Gupta; Nick Savoiu; Nikil D. Dutt; Rajesh K. Gupta 001; Alexandru Nicolau; Timothy Kam; Michael Kishinevsky; Shai Rotem (DAC, 2002)

Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation. - Nick Savoiu; Sandeep K. Shukla; Rajesh K. Gupta 001 (DATE, 2002)

Efficient Simulation of Synthesis-Oriented System Level Designs. - Rajesh K. Gupta 001; Sandeep K. Shukla; Nick Savoiu (ISSS, 2002)

Dynamic Common Sub-Expression Elimination during Scheduling in High-Level Synthesis. - Alexandru Nicolau; Nikil D. Dutt; Rajesh Gupta 001; Nick Savoiu; Mehrdad Reshadi; Sumit Gupta (ISSS, 2002)

Concurrency in System Level Design: Conflict Between Simulation and Synthesis Goals. - Nick Savoiu; Sandeep K. Shukla; Rajesh K. Gupta 001 (IWLS, 2002)

Using global code motions to improve the quality of results for high-level synthesis. - Sumit Gupta; Nicolae Savoiu; Nikil D. Dutt; Rajesh K. Gupta 001; Alexandru Nicolau (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004)

Improving SystemC simulation through Petri net reductions. - Nicolae Savoiu; Sandeep K. Shukla; Rajesh K. Gupta 001 (MEMOCODE, 2005)

MTP: A Petri Net-Based Framework for the Analysis and Transformation of SystemC Designs. - Nick Savoiu (SCOPES, 2005)