GitHub repository: k-sparrow/svatools
Primary language: Starlark
Created: 2024-11-30T16:10:11Z
Description: SystemVerilog Assertion (SVA) generation from Natural Language