GitHub repository: AlexBaird/easy-rte-composition
Primary language: SystemVerilog
Description: Toolchain to automatically generate and verify HW or SW runtime enforcers from text-based framework