How to install yosys on Fedora 26

Unlike my other posts in the past decade where I referred to install anything from a rpmbuild, today I just want to get the install done and move on. Prequisites for the yosys installation: $ sudo dnf install clang tcl-devel readline-devel libffi-devel mercurial iverilog Yosys build: $ git clone https://github.com/cliffordwolf/yosys.git $ cd yosys/ $ make […]

AlexOrr’s first 100 days in formal-land

This weekend, I caught up with a presentation from @AlexOrr of Broadcom in which he talks about his “first 100 days in formal-land”. I wanted to read it for a very long time. After reading the slides offline, I felt that this presentation was worth attending in person. Within those slides, one can feel his […]