Exploiting Sophisticated Static Analysis for Verilog (Supplementary Material)

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Q. R. Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan, Xiaoxing Ma, Chang Xu, Jian Lu, Yue Li
DOI: 10.5281/zenodo.19414138
Cited by: 1

Abstract

This is the supplementary material of the paper "Exploiting Sophisticated Static Analysis for Verilog".

Fields of Study & Subjects

Mathematical and Theoretical Analysis Numerical Methods and Algorithms Mathematics and Applications

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
4 April 2026
Language
EN