[zozbot234]

> Assuming you meant to also include 'verification', then I can agree somewhat.

This project involves static verification of one part of hardware design, namely the timing properties of pipelines and sequential circuits.

This is not all of verification (which is a huge issue in modern semiconductor design) or even of high-level design verification, but it probably helps.