A course based on FINN with hands on Lectures, Examples and Labs to go from 0 to a full custom Quantized Neural Network running on your very own FPGA !

A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.

This store contains Configurable Example Designs.

Rsyn – An Extensible Physical Synthesis Framework

Yosys Open SYnthesis Suite

IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

Tutorial for using Singularity containers

A hardware model checker for hyperproperties

Reads a state transition system and performs property checking

HAL – The Hardware Analyzer