The first formal verification of a processor?

It was 1992 and I was about to leave Rockwell-Collins and move to Austin, Texas to work for Computational Logic Inc., a formal verification research company. My co-worker Bud and I were chatting while walking back from the cafeteria.

“So, what will you be doing for this new company?”

Bud was a long time Collins employee, self-taught in many things and with a healthy dose of skepticism about “the latest thing.”

Continue reading “The first formal verification of a processor?”