|
Equivalence checking: proving correctness of RISC-V implementations when model checking cannot scale
Jonathan Certes - Formal Verification Expert - Keysom
Biography :
|
Jonathan Certes is a formal verification engineer at Keysom. He holds a Ph.D in verification of critical embedded systems from the french university of Toulouse. His work involves model checking temporal properties on hardware architectures and tactic-based interactive theorem proving. |
Back
Partner with us |
List your ProductsSuppliers, list and add your products for free. |
More about D&R Privacy Policy© 2024 Design And Reuse All Rights Reserved. No portion of this site may be copied, retransmitted, reposted, duplicated or otherwise used without the express written permission of Design And Reuse. |
||||||
Contact Us
Partnership Offers