Luc Séméria

Publication Activity (10 Years)

Years Active: 1998-2002
Publications (10 Years): 0

Publications

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)
Luc Séméria, Giovanni De Micheli
Resolution, optimization, and encoding of pointer variables for thebehavioral synthesis from C. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20 (2) (2001)
Luc Séméria, Koichi Sato, Giovanni De Micheli
Synthesis of hardware models in C with pointers and complex data structures. IEEE Trans. Very Large Scale Integr. Syst. 9 (6) (2001)
Preeti Ranjan Panda, Luc Séméria, Giovanni De Micheli
Cache-efficient memory layout of aggregate data structures. ISSS (2001)
Oskar Mencer, Luc Séméria, Martin Morf, Jean-Marc Delosme
Application of Reconfigurable CORDIC Architectures. J. VLSI Signal Process. 24 (2-3) (2000)
Luc Séméria, Koichi Sato, Giovanni De Micheli
Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C. DATE (2000)
Luc Séméria, Abhijit Ghosh
Methodology for hardware/software co-verification in C/C++ (short paper). ASP-DAC (2000)
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)