Concepedia

Luc Sèmèria

LS

1

Publications

41

Citations

1

H-Index

2002

Active since

Affiliations

Synopsys (Switzerland)(Current)

Luc Sèmèria is an author at Synopsys (Switzerland) specializing in computer science, formal verification, and systems engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceHardware SecurityParallel ComputingFormal VerificationSystems EngineeringComputer EngineeringParallel Programming

Publications per year

2002–2002

1

Publications

1

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

Luc Sèmèria, Renu Mehra, Barry Pangrle et al. · Proceedings - ACM IEEE Design Automation Conference · 2002 · 41 citations

Engineering, Hardware Verification Language, Verification +20

Rows per page

1–1 of 1