For example, one can also integrate the ARM gate level netlist as a different model into this environment, then this environment can also be used for gate level verification purposes.