SymbiYosys

My First Tiny Tapeout: Building a Digital PLL on Sky130

Formal Verification with SymbiYosys and Yices2: Proving Your RTL Correct

A practical walkthrough of setting up SymbiYosys and Yices2, writing SystemVerilog Assertions, and formally verifying a handshake module for deadlock, reset correctness, and protocol safety.