A

ASIC

The pytest-fusesoc plugin allows to use pytest to discover and run simulation targets defined in FuseSoC *.core files. Furthermore, test capabilities can be greatly increased with existing pytest plugins, pytest built-in features like fixtures, test parametrization @pytest.mark.parametrize, tests reporting and more.

Pico C-SDK project for FPSv2 ASIC control.

Vendor-Independent, Fully Verified, Open Source VHDL Common Library

A Formal Verification Methodology to lower the adoption barriers for Formal Verification of ASIC and FPGA designs in the Space sector

PyTCL allows control EDA tools directly from Python that use TCL.