antmicro/verilator-verification-features-tests

This is stars and forks stats for /antmicro/verilator-verification-features-tests repository. As of 25 Apr, 2024 this repository has 5 stars and 1 forks.

Verilator Verification Features Tests Copyright (c) 2022 Antmicro This repository contains tests for a number of verification features in Verilator: concurrent assertions, functional coverage, randomization constraints, class parameters, sequences, and more. Usage To run these tests, you need Robot Framework, PyYAML and Jinja2 installed on your system. gen-tests is a script that generates Robot test files for each test in the tests directory. To generate and run all tests: ./gen-tests robot *.robot All...