Concepedia
Statistics
Publications
7
Citations
426
H-Index
Active since
1998
Affiliations
Stanford University(Current)
Synopsys (Switzerland)
Synopsys (United States)
Luc Séméria is an author at Stanford University specializing in engineering, system software, and formal methods.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisComputer EngineeringSoftware AnalysisSoftware EngineeringComputer ArchitectureVerification
Publications per year
1998–2002
Methodology for hardware/software co-verification in C/C++
Luc Séméria, Abhijit Ghosh · 2002 · 112 citations
Hardware Modeling, Engineering, Hardware Verification Language +22
Synthesis of hardware models in C with pointers and complex data structures
Luc Séméria, Koichi Sato, Giovanni De Micheli · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2001 · 83 citations
Hardware Modeling, Engineering, Hardware Verification Language +20
Methodology for hardware/software co-verification in C/C++ (short paper)
Luc Séméria, Abhijit Ghosh · 2000 · 78 citations · Full text
Engineering, Hardware Verification Language, Mountain View +17
SpC: synthesis of pointers in C
Luc Séméria, Giovanni De Micheli · 1998 · 66 citations · Full text
Resolution of dynamic memory allocation and pointers for the behavioral synthesis form C
Luc Séméria, Koichi Sato, Giovanni De Micheli · 2000 · 31 citations · Full text
1–5 of 7