https://platoaistream.com/plato-data/formal-datapath-verification-for-ml-accelerators/