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