Search the dblp DataBase

Publications of Author

1. Luc Séméria, Abhijit Ghosh
   Methodology for hardware/software co-verification in C/C++ (short paper). [Citation Graph (0, 0)][DBLP]
   ASP-DAC, 2000, pp:405-408 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   DAC, 2002, pp:123-128 [Conf]
   
3. Luc Séméria, Koichi Sato, Giovanni De Micheli
   Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C. [Citation Graph (0, 0)][DBLP]
   DATE, 2000, pp:312-319 [Conf]
   
4. Luc Séméria, Giovanni De Micheli
   SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C. [Citation Graph (0, 0)][DBLP]
   ICCAD, 1998, pp:340-346 [Conf]
   
5. Preeti Ranjan Panda, Luc Séméria, Giovanni De Micheli
   Cache-efficient memory layout of aggregate data structures. [Citation Graph (0, 0)][DBLP]
   ISSS, 2001, pp:101-106 [Conf]
   
6. Luc Séméria, Giovanni De Micheli
   Resolution, optimization, and encoding of pointer variables for thebehavioral synthesis from C. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. on CAD of Integrated Circuits and Systems, 2001, v:20, n:2, pp:213-233 [Journal]
   
7. Luc Séméria, Koichi Sato, Giovanni De Micheli
   Synthesis of hardware models in C with pointers and complex data structures. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. VLSI Syst., 2001, v:9, n:6, pp:743-756 [Journal]