I blocchi IP gestiti come moduli vengono combinati gerarchicamente nei design, che seguono un approccio correct-by-construction. ###>IP blocks managed as modules are hierarchically combined into designs which are correct-by-construction.