When designs were small, this was a simple and effective method ... Modern formal tools can verify medium-sized processor cores, and large processors if split into subsystems first, then end-to-end ...