Introducing Scalable New Core IP for Mission Critical Use...2019/12/12 · Murali Vijayaraghavan...
14
COPYRIGHT 2019 SIFIVE. ALL RIGHTS RESERVED. 1 1 Introducing Scalable New Core IP for Mission Critical Use Murali Vijayaraghavan Principal Engineer, Formal Methodology Group DEC. 10, 2019
Transcript of Introducing Scalable New Core IP for Mission Critical Use...2019/12/12 · Murali Vijayaraghavan...
COPYRIGHT 2019 SIFIVE. ALL RIGHTS RESERVED.11
Introducing Scalable New Core IP for Mission Critical Use
Murali Vijayaraghavan
Principal Engineer, Formal Methodology Group
DEC. 10, 2019
COPYRIGHT 2019 SIFIVE. ALL RIGHTS RESERVED.22
Mission-critical SoC Markets
Automotive Avionics Industrial
Medical Robotics
34B 2.6B 19B
4B 7.2BIEC 62304
ISO 26262 DO-254DO-178
IEC 61511IEC 61513
IEC 62061ISO 13849
COPYRIGHT 2019 SIFIVE. ALL RIGHTS RESERVED.33
• Functional Correctness:– No design bugs or systematic failures
• Functional Safety (ISO 26262):– Low and graceful failures due to random transient errors
• Automotive Safety Integrity Levels (ASIL) define random failure rates
• Security (ISO / SAE 21434):– No risks of cyber-attacks on vehicles
Requirements for Automotive safety certification
COPYRIGHT 2019 SIFIVE. ALL RIGHTS RESERVED.44
New mission-critical design methodology
Legacy methodology
Build from ground up, beyond PPA
Functional safety
enabled designs
Security
100% adherence to
functional spec
Retrofit
Add safety mechanisms to existing cores
CertifyGet functional safety
certification
CPUBuild for high volume markets
COPYRIGHT 2019 SIFIVE. ALL RIGHTS RESERVED.55
Model Checking
Achieving Functional Correctness
Human Effort
Time to achieve functional correctness goals
100% Guarantee
Traditional Verification
High
Slow
Model Checking
Medium to High
Slow
Proof-assistant
Medium
Fast
COPYRIGHT 2019 SIFIVE. ALL RIGHTS RESERVED.66
Kami – A new methodology for formal verification
Kami RISC-V core Implementation
Kami RISC-V Formal Spec
Verilog for RISC-V core
Proof certificate(semi-automatic)
Mechanically checked
https://github.com/sifive/Kami
https://github.com/sifive/RiscvSpecFormal
Compiler
COPYRIGHT 2019 SIFIVE. ALL RIGHTS RESERVED.77
Kami RISC-V Formal Spec
Single Formal Spec to rule them all
Kami RISC-V core Implementation
(embedded)
Kami RISC-V core Implementation
with address translation
Kami RISC-V core Implementation
with PMP support
…
Rigorously tested and validated
COPYRIGHT 2019 SIFIVE. ALL RIGHTS RESERVED.88
Kami RISC-V Formal Spec
Formal Verification of Generators
Kami RISC-VIn-order core
generator
Kami RISC-VOOO core generator
Kami RISC-VIn-order 3-stage embedded core
Kami RISC-VDual issue
In-order 8-stage application core
Kami RISC-V3-wide OOO
application core
Kami RISC-V4-wide OOO
application core
Instantiate
Instantiate
COPYRIGHT 2019 SIFIVE. ALL RIGHTS RESERVED.99
Human Effort
Time to achieve functional correctness goals
100% Guarantee
Traditional Verification
High
Slow
Model Checking
Medium to High
Slow
Proof-assistant
Medium
Fast
Achieving Functional Correctness
Kami
Medium
Fast
Proves Generators Enables
COPYRIGHT 2019 SIFIVE. ALL RIGHTS RESERVED.1010
Introducing Functional Safety Partner
Resiltech
COPYRIGHT 2019 SIFIVE. ALL RIGHTS RESERVED.11
ResilTech s.r.l.
ISO TC22/ SC32/WG8 ISO26262 ISO21448 (SOTIF)
COPYRIGHT 2019 SIFIVE. ALL RIGHTS RESERVED.12
• ResilTech will enable SiFive in achieving successfully deployment of their RISC-V solutions in mission-critical application thanks to
– Key people with +20 years experience in safety assessment
– High technical expertise of CPUs, safety software, and complex SoCarchitectures
– Safety analysis supported by state of the art and custom tools and methodologies
– Directly supporting SiFive customers (SoC or system levels) to achieve Safety Compliance
ResilTech - SiFive
COPYRIGHT 2019 SIFIVE. ALL RIGHTS RESERVED.1313
Summary
New blueprint for mission-critical markets built from the ground up
• Brand new design methodology for mission-critical workload optimized cores– Fully formally verified core generators based on open-source Kami
technology
• Introducing products in 2020 with lead partners and customers
COPYRIGHT 2019 SIFIVE. ALL RIGHTS RESERVED.1414
©2019 SiFive, Inc. All rights reserved. All trademarks referenced herein belong to their respective companies. This presentation is intended for informational purposes only and
does not form any type of warranty.
Certain information in this presentation may outline SiFive’s general product direction. The presentation shall not serve to amend or affect the rights or obligations of SiFive or its
licensees under any license or service agreement or documentation relating to any SiFive product. The development, release, and timing of any products, features, and
functionality remains at SiFive’s sole discretion.
facebook.com/SiFive @SiFive linkedin.com/company/sifive sifive.com
Thank You
