00

Property Checking

Technique ☆ WATCH ⎘ SHARE

First seen 6/14/2026

Last seen 6/14/2026

Evidence 3 chunks

01

NEIGHBORHOOD

5 nodes · 6 edges

graph · Property Checking · depth=1

02

RELATIONSHIPS

4 connections

Formal Verification ← uses 93% 2e evidence

Property checking is an integral part of the formal verification methodology.

CHERI evaluates → 93% 1e evidence

Property checking is used to verify CHERI-RISC-V instructions in the formal verification flow.

JasperGold uses → 95% 1e evidence

Property checking for CHERI-RISC-V is performed on the JasperGold platform.

SystemVerilog uses → 93% 1e evidence

SystemVerilog assertions (SVA) are used in property checking on JasperGold.