how a sceptic became a believer

Dr. Dan Gisselquist is a seasoned digital designer spending most of his career on signal processing problems for the USA Airforce. He was very convinced that he had figured out how to write a FIFO. His FIFOs had been deployed in the field and had proven them self to work…

read more

formal skeptic at work

As a digital circuit designer, Matthew Ballance¬† had a theoretical understanding of formal methods, but never did see enough use in it to really look into. When having the opportunity to design a Risc-V core, just out of curiosity he asked himself: Would formal methods be more easily applied as…

read more

Yosys 0.8 released

After two years of development, Clifford Wolf released the latest version of Yosys with a long list of improvements. From now on, digital designers writing VHDL can use the commercial version of Yosys to Synthesize their wort by using all the different backends Yosys does come. Yosys 0.8 also gained…

read more

Clifford Wolf did present his Formal Verification toolbox at Stanford University

Clifford Wolf was invited by Prof. Clark Barret to hold a presentation about his work done on formal verification on  the 20th of November 2017. Clark Barret works in the Department of Computer Science at Stanford University. His main research interests are Propositional satisfiability; Satisfiability modulo theories; Automated reasoning and…

read more