<> <> <> DA.cm Install StructuralComparison _ PWCore.testLichen _ TRUE _ PWCore.checkAbuts _ TRUE run -a EU2UtilsImpl run -a EU2ArithImpl run -a EU2LeafUtilsImpl run -a EU2RegsImpl run -a EU2FUImpl run -a EU2ALUImpl _ EU2Utils.usekRegAndRightCheckpoint _ FALSE _ EU2Utils.useFUCheckpoint _ FALSE _ EU2Utils.useALUCheckpoint _ FALSE _ &ct _ EU2RegsImpl.CreatekRegAndRight[] _ &ob _ PWCore.Layout[&ct] _ LayoutCheckpoint.Store[&ct, TRUE] Sleep 100 _ &ct _ EU2FUImpl.CreateFieldUnit[] _ &ob _ PWCore.Layout[&ct] _ LayoutCheckpoint.Store[&ct, TRUE] Sleep 100 _ &ct _ EU2ALUImpl.CreateALU[] _ &ob _ PWCore.Layout[&ct] _ LayoutCheckpoint.Store[&ct, TRUE] Sleep 100 Rollbackand CD; LayoutDatapath