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 […]
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 […]
Went through the proceedings from Jasper User Group Conference 2015 held on October 7 and 8, 2015 at Cadence San Jose.
It appears that Questa Formal’s AutoCheck’s documentation isn’t up to date. Aside this, it is indeed simple and quick to setup.