Meet us in Munich, Germany at the Siemens formal verification conference.
Our talks
Philippe Luc, our Director of Verification, will give a presentation on How formal lights up your RISC-V verification avenue.
![](https://codasip-testing.onyx-sites.io/wp-content/uploads/2022/11/talk-Philippe-img-osmosis-1024x576.jpg)
Meet us in Munich, Germany at the Siemens formal verification conference.
Philippe Luc, our Director of Verification, will give a presentation on How formal lights up your RISC-V verification avenue.