# Henri Fraisse

> Fellow Software Development Engineer at AMD

Location: Sunnyvale, California, United States
Profile: https://flows.cv/henrifraisse

- Extensive work on improving core technology for FPGA and ASIC design tools.
- Design and implementation of a formal verification tool for FPGA and ASIC technology designs. 
- Participated in the successful creation of a new start-up company.
- Formal specification and verification of critical parts of operating systems, virtual machines, and hardware processors of embedded systems.
- Participated in the design and development of an industrial tool for automatic verification of C progams based of formal methods.

Specialties: - strong computer science background
- strong development skills
- extensive EDA background
- expert in formal verification, SAT and BDD technologies, logic synthesis and optimization, technology mapping.

## Work Experience
### Principal Software Engineer @ NVIDIA
Jan 2026 – Present | Santa Clara County, CA

### Fellow Software Development Engineer at AMD @ AMD
Jan 2022 – Present | United States

### Senior Staff Software engineer @ Xilinx
Jan 2012 – Jan 2022
participate to the design of next generations FPGA architectures
design software tools to explore and evaluate future FPGA architectures

### R&D Engineer Sr Staff @ synopsys
Jan 2008 – Jan 2012
Work on improving core technology for FPGA and ASIC design tools.

### Sr Staff engineer @ Synplicity
Jan 2007 – Jan 2008
Work on improving core technology for FPGA and ASIC design tools.

### Senior Formal Verification Engineer. @ Synplicity
Jan 2001 – Jan 2007
Work on improving core technology for FPGA and ASIC design tools.
Participated in the design and implementation of a formal verification tool for FPGA and ASIC technology designs.

### Computer Engineer @ Trusted Logic
Jan 1999 – Jan 2001
- Participated in the successful creation of a new start-up company.
- Manage the design and development of a tool to assist the process of hardware/software certification.
- Direct the formal and semi-formal design of specification for hardware and software smart card companies.
Design formal security policy models of operating systems, which is required for high level product certification.
- Conduct formal proofs of model consistency and model refinement with the assisted theorem prover COQ (a French equivalent of American PVS).


## Education
### Ph.D in Computer Sciences
Télécom Paris

### MS in Computer Sciences, Mathematics
CentraleSupélec


## Contact & Social
- LinkedIn: https://linkedin.com/in/henri-fraisse-5a859510

---
Source: https://flows.cv/henrifraisse
JSON Resume: https://flows.cv/henrifraisse/resume.json
Last updated: 2026-04-12