SLSV: The Shakti LockStep Verification Framework
summary
No abstract was provided, so there is no information about the technologies, problem, or approach covered by SLSV: The Shakti LockStep Verification Framework.
AI-written summary · about
chapters (17)
- 0:00Intro
- 1:01Outline
- 1:35SLSV an Overview
- 2:23SLSV Objectives
- 7:06Constraints To Simulation based Verification Strategies
- 7:50Verifying a RISC-V System
- 9:57Verification Framework Building Blocks
- 10:14Open Source Verification Aids - RISC-V
- 11:04Constrained Random Test Sources
- 14:07LockStep Verification W/ Formal Models
- 16:59LockStep Verification Against Existing Verified References
- 18:04The SLSV Interface Minimal
- 19:36Using the SLSV Framework
- 20:20Representation Example
- 21:08Challenges
- 21:56Conclusions
- 22:16Contributing To SLSV!
related talks
09mLightning Talk: Design Verification with Step-and-Compare for RISC-V...
30mOSVVM: Methodology, Library, and Models
40mIntroduction to LAVA, the Linaro Automated Validation Architecture
06mDemo: RISC-V Dual Lock-step Implementation for Safety and Security Applications
51mSecure Boot Under Attack: Simulation to Enhance Fault Attacks & Defenses
21mDeductive Verification of Parameterized Embedded Systems modeled in SystemC
15mAccelerating SDV with Synopsys Virtual Prototyping and Silicon Lifecycle Management
18mPreview: Verification (Correctness)