RISC-V

July 24, 2020
Pete Decher is the director of Sourcery Tools for the embedded division of Mentor, a Siemens Business. During his 15 years at the company, he was previously a senior product manager and business development manager. Previously, Decher was VP Engineering at Analogy, VP of Engineering at Teseda Corp. and Octavian Scientific, respectively. He holds a MSEE from Stanford University and a BSEE from Georgia Institute of Technology.

Taking your first steps in leveraging the RISC-V toolchain

Introducing some of the key links that support the open-source RISC-V ISA with a view toward their use on commercial projects.
July 4, 2019
Ashish Darbari is CEO of formal verification consultancy Axiomise.

A new formal proof kit for RISC-V processors

Doc Formal describes a strategy developed by his company Axiomise to apply formal verification proofs to open-source processor for safety, security and reliability.
Expert Insight  |  Topics: EDA - Verification  |  Tags: , , , , ,

PLATINUM SPONSORS

Synopsys Cadence Design Systems Mentor - A Siemens Business
View All Sponsors