chk
cheickdo.github.io
A personal blog by cheickdo about formal verification, hardware design, and tools like Yosys and Rosette.
The site includes a technical post from February 2025 on handling sequentials in Yosys Formal, a tool for hardware verification. It offers a practical perspective for developers working with formal methods.
Checked with Google Web Risk · 1 hour ago
- language
- EN
- here since
- August 2026