Luc Séméria

According to our database, Luc Séméria authored at least 8 papers between 1998 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

RTL c-based methodology for designing and verifying a multi-threaded processor.

Luc Séméria, Renu Mehra, Barry M. Pangrle, Arjuna Ekanayake, Andrew Seawright, Daniel Ng

Proceedings of the 39th Design Automation Conference, 2002

2001

Synthesis of hardware models in C with pointers and complex data structures.

Luc Séméria, Koichi Sato, Giovanni De Micheli

IEEE Trans. Very Large Scale Integr. Syst., 2001

Resolution, optimization, and encoding of pointer variables for thebehavioral synthesis from C.

Luc Séméria, Giovanni De Micheli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001

Cache-efficient memory layout of aggregate data structures.

Preeti Ranjan Panda, Luc Séméria, Giovanni De Micheli

Proceedings of the 14th International Symposium on Systems Synthesis, 2001

2000

Application of Reconfigurable CORDIC Architectures.

Oskar Mencer, Luc Séméria, Martin Morf, Jean-Marc Delosme

J. VLSI Signal Process., 2000

Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C.

Luc Séméria, Koichi Sato, Giovanni De Micheli

Proceedings of the 2000 Design, 2000

Methodology for hardware/software co-verification in C/C++ (short paper).

Luc Séméria, Abhijit Ghosh

Proceedings of ASP-DAC 2000, 2000

1998

SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C.

Luc Séméria, Giovanni De Micheli

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998