https://platoaistream.com/plato-data/aker-a-design-and-verification-framework-for-safe-and-secure-soc-access-control/