PyPI page
Author:
Hipolito Guzmán-Miranda, Marcos López García
Summary:
A Formal Verification Methodology for ASIC and FPGA designs
Latest version:
1.0.0
Required dependencies:
icecream
|
junit-xml
|
loguru
|
packaging
|
pyyaml
|
rich
|
termcolor
|
wavedrom
Downloads last day:
0
Downloads last week:
6
Downloads last month:
59
7-day smoothing