Module protocols 

Pre-Verified Protocol Templates

Parameterizable SVA properties for standard hardware protocols. Each template produces SvaProperty + English spec string.

Modules

riscv

RISC-V ISA Formal Verification Templates

Structs

ProtocolProperty

A protocol template — produces parameterized SVA properties.

Functions

apb_protocol

APB setup/access phase properties.

axi4_write_handshake

AXI4 write channel handshake properties.

i2c_protocol

I2C properties.

spi_protocol

SPI properties.

uart_tx

UART transmit properties.