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