ChiSA: Static Analysis for Lightweight Chisel Verification (Artifact)

Published November 24, 2025 | Version v2

Software Open

This is the artifact of the paper "ChiSA: Static Analysis for Lightweight Chisel Verification".

README.pdf: the documentation for the artifact evaluation.
chisa-artifact.tar.gz: a Docker image for our artifact evaluation. See README.pdf for instructions on how to use it.
prebaked.pdf: the expected artifact evaluation results.

Files

Name	Size	Download all
chisa-artifact.tar.gz md5:1be2d4162bdc39fe2e444d4065a8935c	3.0 GB	Download
prebaked.pdf md5:d9418aa5e81753f068fce7f7c7ff74be	187.8 kB	Preview Download
README.pdf md5:ed389ffa716e6fb7929c8107af58db8c	396.1 kB	Preview Download

385

Views

671

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

Languages

English

License: GNU Lesser General Public License v3.0 or later

Permissions of this copyleft license are conditioned on making available complete source code of licensed works and modifications under the same license or the GNU GPLv3. Copyright and license notices must be preserved. Contributors provide an express grant of patent rights. However, a larger work using the licensed work through interfaces provided by the licensed work may be distributed under different terms and without source code for the larger work. Read more