https://platoaistream.com/plato-data/leveraging-symbolic-simulations-for-io-verification/