Nicolae Savoiu

Using global code motions to improve the quality of results for high-level synthesis

Nikil D. Dutt, Rajesh K. Gupta, Alexandru Nicolau, 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Speculation techniques for high level synthesis of control intensive designs

Nikil D. Dutt, Sunwoo Kim, Rajesh K. Gupta, 2001, DAC '01.

Efficient simulation of synthesis-oriented system level designs

Sandeep K. Shukla, Rajesh K. Gupta, Nicolae Savoiu, 2002, 15th International Symposium on System Synthesis, 2002..

V-SAT: a visual specification and analysis tool for system-on-chip exploration

Nikil D. Dutt, Alexandru Nicolau, Asheesh Khare, 2001, Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium.

Coordinated transformations for high-level synthesis of high performance microprocessor blocks

Nikil D. Dutt, Shai Rotem, Rajesh K. Gupta, 2002, DAC '02.

Improving SystemC simulation through Petri net reductions

Sandeep K. Shukla, Rajesh K. Gupta, Nicolae Savoiu, 2005, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..

Concurrency in System Level Design: Conflict Between Simulation and Synthesis Goals

Sandeep K. Shukla, Rajesh K. Gupta, Nicolae Savoiu, 2002, IWLS.

Automated concurrency re-assignment in high level system models for efficient system-level simulation

Sandeep K. Shukla, Rajesh K. Gupta, Nicolae Savoiu, 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.

Conditional speculation and its effects on performance and area for high-level synthesis

Nikil D. Dutt, Rajesh K. Gupta, Alexandru Nicolau, 2001, International Symposium on System Synthesis (IEEE Cat. No.01EX526).

V-SAT: A visual specification and analysis tool for system-on-chip exploration

Nikil D. Dutt, Alexandru Nicolau, Asheesh Khare, 2001, J. Syst. Archit..

Dynamic common sub-expression elimination during scheduling in high-level synthesis

Rajesh Gupta, Nikil D. Dutt, Alexandru Nicolau, 2002, 15th International Symposium on System Synthesis, 2002..

MTP: a Petri net-based framework for the analysis and transformation of SystemC designs

Nicolae Savoiu, 2005, SCOPES '05.