Yann Oddos
Senior Design Verification Manager at Apple @Apple
Signup · Get unlimited contacts
WORK HISTORY
Senior Design Verification Manager at Apple @Apple
Munich, DE
EDUCATION
Université Grenoble Alpes
Master2, Micro-Nano Electronics
Université Grenoble Alpes
PhD., Formal Verification of Digital Designs
Université Grenoble Alpes
Magistère, Computer Science
SKILLS
ABOUT YANN ODDOS
Based on a dual proficiency both on the hardware and software sides, I\'ve been working on Formal, Assertion-Based and random-constrained verification techniques for the past few years. Having a strong background in the design & verification of digital designs, I\'ve been setting up new verification flows based on the latest validation techniques to guarantee the functional aspect of complex aerospace equipments.Specialties: Formal Verification (ModelChecking, Theorem Proving etc.)Assertion-based Verification (PSL, SystemVerilog, SVA, OVM/UVM)FPGA prototyping (Altera, Xilinx & Actel)C/C++(Unix IPC, drivers, algorithms, CAD tool design)VLSI design (VHDL/Verilog/SystemVerilog)Design of CCSDS compliant Hardware IPs
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.