https://5dok.org/document/q2n6do6e-design-exploration-systems-silicon-using-cierto-vcc.html