1
Publications
32
Citations
1
H-Index
1996
Active since
Affiliations
STMicroelectronics (Switzerland)(Current)
Christian Berthet is an author at STMicroelectronics (Switzerland) specializing in computer engineering, verification, and hardware security.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceHardware SecurityFormal VerificationSystems EngineeringTheory Of ComputingComputer EngineeringComputer Architecture
Publications per year
1996–1996
1
1
Functional verification methodology of Chameleon processor
Françoise Casaubieilh, Geoff Barrett, Christian Berthet et al. · 1996 · 32 citations
Rows per page
1–1 of 1