| 2002 |
|---|
| 8 | EE | Luc Séméria,
Renu Mehra,
Barry M. Pangrle,
Arjuna Ekanayake,
Andrew Seawright,
Daniel Ng:
RTL c-based methodology for designing and verifying a multi-threaded processor.
DAC 2002: 123-128 |
| 2001 |
|---|
| 7 | | Preeti Ranjan Panda,
Luc Séméria,
Giovanni De Micheli:
Cache-efficient memory layout of aggregate data structures.
ISSS 2001: 101-106 |
| 6 | EE | Luc Séméria,
Koichi Sato,
Giovanni De Micheli:
Synthesis of hardware models in C with pointers and complex data structures.
IEEE Trans. VLSI Syst. 9(6): 743-756 (2001) |
| 5 | EE | Luc Séméria,
Giovanni De Micheli:
Resolution, optimization, and encoding of pointer variables for thebehavioral synthesis from C.
IEEE Trans. on CAD of Integrated Circuits and Systems 20(2): 213-233 (2001) |
| 2000 |
|---|
| 4 | EE | Luc Séméria,
Abhijit Ghosh:
Methodology for hardware/software co-verification in C/C++ (short paper).
ASP-DAC 2000: 405-408 |
| 3 | EE | Luc Séméria,
Koichi Sato,
Giovanni De Micheli:
Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C.
DATE 2000: 312-319 |
| 2 | EE | Oskar Mencer,
Luc Séméria,
Martin Morf,
Jean-Marc Delosme:
Application of Reconfigurable CORDIC Architectures.
VLSI Signal Processing 24(2-3): 211-221 (2000) |
| 1998 |
|---|
| 1 | EE | Luc Séméria,
Giovanni De Micheli:
SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C.
ICCAD 1998: 340-346 |
