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 reliably. As he had some time on his hand, he wanted to demonstrate that formal methods are mainly an esoteric exercise with no use for seasoned digital designers.

He did find out that formal tools do explore corners of his designs he did not know existed. Since then he decided to formally verify all the designs he is shipping to clients.

Read his journey in his own words.

Leave a Reply

Your email address will not be published. Required fields are marked *