% dp_check('model_dp1234_300t_30p').

archi_model_spec("model_dp1234_300t_30p",L) :-
L = [ sw_archi(log_upg),
tasks([t0,t1,t2,t3,t4,t5,t6,t7,t8,t9,t10,t11,t12,t13,t14,t15,t16,t17,t18,t19,t20,t21,t22,t23,t24,t25,t26,t27,t28,t29,t30,t31,t32,t33,t34,t35,t36,t37,t38,t39,t40,t41,t42,t43,t44,t45,t46,t47,t48,t49,t50,t51,t52,t53,t54,t55,t56,t57,t58,t59,t60,t61,t62,t63,t64,t65,t66,t67,t68,t69,t70,t71,t72,t73,t74,t75,t76,t77,t78,t79,t80,t81,t82,t83,t84,t85,t86,t87,t88,t89,t90,t91,t92,t93,t94,t95,t96,t97,t98,t99,t100,t101,t102,t103,t104,t105,t106,t107,t108,t109,t110,t111,t112,t113,t114,t115,t116,t117,t118,t119,t120,t121,t122,t123,t124,t125,t126,t127,t128,t129,t130,t131,t132,t133,t134,t135,t136,t137,t138,t139,t140,t141,t142,t143,t144,t145,t146,t147,t148,t149,t150,t151,t152,t153,t154,t155,t156,t157,t158,t159,t160,t161,t162,t163,t164,t165,t166,t167,t168,t169,t170,t171,t172,t173,t174,t175,t176,t177,t178,t179,t180,t181,t182,t183,t184,t185,t186,t187,t188,t189,t190,t191,t192,t193,t194,t195,t196,t197,t198,t199,t200,t201,t202,t203,t204,t205,t206,t207,t208,t209,t210,t211,t212,t213,t214,t215,t216,t217,t218,t219,t220,t221,t222,t223,t224,t225,t226,t227,t228,t229,t230,t231,t232,t233,t234,t235,t236,t237,t238,t239,t240,t241,t242,t243,t244,t245,t246,t247,t248,t249,t250,t251,t252,t253,t254,t255,t256,t257,t258,t259,t260,t261,t262,t263,t264,t265,t266,t267,t268,t269,t270,t271,t272,t273,t274,t275,t276,t277,t278,t279,t280,t281,t282,t283,t284,t285,t286,t287,t288,t289,t290,t291,t292,t293,t294,t295,t296,t297,t298,t299]),
processing_elements([c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19,c20,c21,c22,c23,c24,c25,c26,c27,c28,c29]),
resources([ic0,ic1,ic2,ic3,ic4,ic5,ic6,ic7,ic8,ic9,ic10,ic11,ic12,ic13,ic14,ic15,ic16,ic17,ic18,ic19,ic20,ic21,ic22,ic23,ic24,ic25,ic26,ic27,ic28,ic29]),
a_type(c0,processing),
a_type(c1,processing),
a_type(c2,processing),
a_type(c3,processing),
a_type(c4,processing),
a_type(c5,processing),
a_type(c6,processing),
a_type(c7,processing),
a_type(c8,processing),
a_type(c9,processing),
a_type(c10,processing),
a_type(c11,processing),
a_type(c12,processing),
a_type(c13,processing),
a_type(c14,processing),
a_type(c15,processing),
a_type(c16,processing),
a_type(c17,processing),
a_type(c18,processing),
a_type(c19,processing),
a_type(c20,processing),
a_type(c21,processing),
a_type(c22,processing),
a_type(c23,processing),
a_type(c24,processing),
a_type(c25,processing),
a_type(c26,processing),
a_type(c27,processing),
a_type(c28,processing),
a_type(c29,processing),
a_type(ic0,memory),
a_type(ic1,memory),
a_type(ic2,memory),
a_type(ic3,memory),
a_type(ic4,memory),
a_type(ic5,memory),
a_type(ic6,memory),
a_type(ic7,memory),
a_type(ic8,memory),
a_type(ic9,memory),
a_type(ic10,memory),
a_type(ic11,memory),
a_type(ic12,memory),
a_type(ic13,memory),
a_type(ic14,memory),
a_type(ic15,memory),
a_type(ic16,memory),
a_type(ic17,memory),
a_type(ic18,memory),
a_type(ic19,memory),
a_type(ic20,memory),
a_type(ic21,memory),
a_type(ic22,memory),
a_type(ic23,memory),
a_type(ic24,memory),
a_type(ic25,memory),
a_type(ic26,memory),
a_type(ic27,memory),
a_type(ic28,memory),
a_type(ic29,memory),
am_PE_use(c0,[ic0]),
am_PE_use(c1,[ic1]),
am_PE_use(c2,[ic2]),
am_PE_use(c3,[ic3]),
am_PE_use(c4,[ic4]),
am_PE_use(c5,[ic5]),
am_PE_use(c6,[ic6]),
am_PE_use(c7,[ic7]),
am_PE_use(c8,[ic8]),
am_PE_use(c9,[ic9]),
am_PE_use(c10,[ic10]),
am_PE_use(c11,[ic11]),
am_PE_use(c12,[ic12]),
am_PE_use(c13,[ic13]),
am_PE_use(c14,[ic14]),
am_PE_use(c15,[ic15]),
am_PE_use(c16,[ic16]),
am_PE_use(c17,[ic17]),
am_PE_use(c18,[ic18]),
am_PE_use(c19,[ic19]),
am_PE_use(c20,[ic20]),
am_PE_use(c21,[ic21]),
am_PE_use(c22,[ic22]),
am_PE_use(c23,[ic23]),
am_PE_use(c24,[ic24]),
am_PE_use(c25,[ic25]),
am_PE_use(c26,[ic26]),
am_PE_use(c27,[ic27]),
am_PE_use(c28,[ic28]),
am_PE_use(c29,[ic29]),
ha_independent(c0),
ha_independent(c1),
ha_independent(c2),
ha_independent(c3),
ha_independent(c4),
ha_independent(c5),
ha_independent(c6),
ha_independent(c7),
ha_independent(c8),
ha_independent(c9),
ha_independent(c10),
ha_independent(c11),
ha_independent(c12),
ha_independent(c13),
ha_independent(c14),
ha_independent(c15),
ha_independent(c16),
ha_independent(c17),
ha_independent(c18),
ha_independent(c19),
ha_independent(c20),
ha_independent(c21),
ha_independent(c22),
ha_independent(c23),
ha_independent(c24),
ha_independent(c25),
ha_independent(c26),
ha_independent(c27),
ha_independent(c28),
ha_independent(c29),
dm_PE_actual(t0,c0),
dm_PE_actual(t1,c0),
dm_PE_actual(t2,c0),
dm_PE_actual(t3,c0),
dm_PE_actual(t4,c0),
dm_PE_actual(t5,c0),
dm_PE_actual(t6,c0),
dm_PE_actual(t7,c0),
dm_PE_actual(t8,c0),
dm_PE_actual(t9,c0),
dm_PE_actual(t10,c1),
dm_PE_actual(t11,c1),
dm_PE_actual(t12,c1),
dm_PE_actual(t13,c1),
dm_PE_actual(t14,c1),
dm_PE_actual(t15,c1),
dm_PE_actual(t16,c1),
dm_PE_actual(t17,c1),
dm_PE_actual(t18,c1),
dm_PE_actual(t19,c1),
dm_PE_actual(t20,c2),
dm_PE_actual(t21,c2),
dm_PE_actual(t22,c2),
dm_PE_actual(t23,c2),
dm_PE_actual(t24,c2),
dm_PE_actual(t25,c2),
dm_PE_actual(t26,c2),
dm_PE_actual(t27,c2),
dm_PE_actual(t28,c2),
dm_PE_actual(t29,c2),
dm_PE_actual(t30,c3),
dm_PE_actual(t31,c3),
dm_PE_actual(t32,c3),
dm_PE_actual(t33,c3),
dm_PE_actual(t34,c3),
dm_PE_actual(t35,c3),
dm_PE_actual(t36,c3),
dm_PE_actual(t37,c3),
dm_PE_actual(t38,c3),
dm_PE_actual(t39,c3),
dm_PE_actual(t40,c4),
dm_PE_actual(t41,c4),
dm_PE_actual(t42,c4),
dm_PE_actual(t43,c4),
dm_PE_actual(t44,c4),
dm_PE_actual(t45,c4),
dm_PE_actual(t46,c4),
dm_PE_actual(t47,c4),
dm_PE_actual(t48,c4),
dm_PE_actual(t49,c4),
dm_PE_actual(t50,c5),
dm_PE_actual(t51,c5),
dm_PE_actual(t52,c5),
dm_PE_actual(t53,c5),
dm_PE_actual(t54,c5),
dm_PE_actual(t55,c5),
dm_PE_actual(t56,c5),
dm_PE_actual(t57,c5),
dm_PE_actual(t58,c5),
dm_PE_actual(t59,c5),
dm_PE_actual(t60,c6),
dm_PE_actual(t61,c6),
dm_PE_actual(t62,c6),
dm_PE_actual(t63,c6),
dm_PE_actual(t64,c6),
dm_PE_actual(t65,c6),
dm_PE_actual(t66,c6),
dm_PE_actual(t67,c6),
dm_PE_actual(t68,c6),
dm_PE_actual(t69,c6),
dm_PE_actual(t70,c7),
dm_PE_actual(t71,c7),
dm_PE_actual(t72,c7),
dm_PE_actual(t73,c7),
dm_PE_actual(t74,c7),
dm_PE_actual(t75,c7),
dm_PE_actual(t76,c7),
dm_PE_actual(t77,c7),
dm_PE_actual(t78,c7),
dm_PE_actual(t79,c7),
dm_PE_actual(t80,c8),
dm_PE_actual(t81,c8),
dm_PE_actual(t82,c8),
dm_PE_actual(t83,c8),
dm_PE_actual(t84,c8),
dm_PE_actual(t85,c8),
dm_PE_actual(t86,c8),
dm_PE_actual(t87,c8),
dm_PE_actual(t88,c8),
dm_PE_actual(t89,c8),
dm_PE_actual(t90,c9),
dm_PE_actual(t91,c9),
dm_PE_actual(t92,c9),
dm_PE_actual(t93,c9),
dm_PE_actual(t94,c9),
dm_PE_actual(t95,c9),
dm_PE_actual(t96,c9),
dm_PE_actual(t97,c9),
dm_PE_actual(t98,c9),
dm_PE_actual(t99,c9),
dm_PE_actual(t100,c10),
dm_PE_actual(t101,c10),
dm_PE_actual(t102,c10),
dm_PE_actual(t103,c10),
dm_PE_actual(t104,c10),
dm_PE_actual(t105,c10),
dm_PE_actual(t106,c10),
dm_PE_actual(t107,c10),
dm_PE_actual(t108,c10),
dm_PE_actual(t109,c10),
dm_PE_actual(t110,c11),
dm_PE_actual(t111,c11),
dm_PE_actual(t112,c11),
dm_PE_actual(t113,c11),
dm_PE_actual(t114,c11),
dm_PE_actual(t115,c11),
dm_PE_actual(t116,c11),
dm_PE_actual(t117,c11),
dm_PE_actual(t118,c11),
dm_PE_actual(t119,c11),
dm_PE_actual(t120,c12),
dm_PE_actual(t121,c12),
dm_PE_actual(t122,c12),
dm_PE_actual(t123,c12),
dm_PE_actual(t124,c12),
dm_PE_actual(t125,c12),
dm_PE_actual(t126,c12),
dm_PE_actual(t127,c12),
dm_PE_actual(t128,c12),
dm_PE_actual(t129,c12),
dm_PE_actual(t130,c13),
dm_PE_actual(t131,c13),
dm_PE_actual(t132,c13),
dm_PE_actual(t133,c13),
dm_PE_actual(t134,c13),
dm_PE_actual(t135,c13),
dm_PE_actual(t136,c13),
dm_PE_actual(t137,c13),
dm_PE_actual(t138,c13),
dm_PE_actual(t139,c13),
dm_PE_actual(t140,c14),
dm_PE_actual(t141,c14),
dm_PE_actual(t142,c14),
dm_PE_actual(t143,c14),
dm_PE_actual(t144,c14),
dm_PE_actual(t145,c14),
dm_PE_actual(t146,c14),
dm_PE_actual(t147,c14),
dm_PE_actual(t148,c14),
dm_PE_actual(t149,c14),
dm_PE_actual(t150,c15),
dm_PE_actual(t151,c15),
dm_PE_actual(t152,c15),
dm_PE_actual(t153,c15),
dm_PE_actual(t154,c15),
dm_PE_actual(t155,c15),
dm_PE_actual(t156,c15),
dm_PE_actual(t157,c15),
dm_PE_actual(t158,c15),
dm_PE_actual(t159,c15),
dm_PE_actual(t160,c16),
dm_PE_actual(t161,c16),
dm_PE_actual(t162,c16),
dm_PE_actual(t163,c16),
dm_PE_actual(t164,c16),
dm_PE_actual(t165,c16),
dm_PE_actual(t166,c16),
dm_PE_actual(t167,c16),
dm_PE_actual(t168,c16),
dm_PE_actual(t169,c16),
dm_PE_actual(t170,c17),
dm_PE_actual(t171,c17),
dm_PE_actual(t172,c17),
dm_PE_actual(t173,c17),
dm_PE_actual(t174,c17),
dm_PE_actual(t175,c17),
dm_PE_actual(t176,c17),
dm_PE_actual(t177,c17),
dm_PE_actual(t178,c17),
dm_PE_actual(t179,c17),
dm_PE_actual(t180,c18),
dm_PE_actual(t181,c18),
dm_PE_actual(t182,c18),
dm_PE_actual(t183,c18),
dm_PE_actual(t184,c18),
dm_PE_actual(t185,c18),
dm_PE_actual(t186,c18),
dm_PE_actual(t187,c18),
dm_PE_actual(t188,c18),
dm_PE_actual(t189,c18),
dm_PE_actual(t190,c19),
dm_PE_actual(t191,c19),
dm_PE_actual(t192,c19),
dm_PE_actual(t193,c19),
dm_PE_actual(t194,c19),
dm_PE_actual(t195,c19),
dm_PE_actual(t196,c19),
dm_PE_actual(t197,c19),
dm_PE_actual(t198,c19),
dm_PE_actual(t199,c19),
dm_PE_actual(t200,c20),
dm_PE_actual(t201,c20),
dm_PE_actual(t202,c20),
dm_PE_actual(t203,c20),
dm_PE_actual(t204,c20),
dm_PE_actual(t205,c20),
dm_PE_actual(t206,c20),
dm_PE_actual(t207,c20),
dm_PE_actual(t208,c20),
dm_PE_actual(t209,c20),
dm_PE_actual(t210,c21),
dm_PE_actual(t211,c21),
dm_PE_actual(t212,c21),
dm_PE_actual(t213,c21),
dm_PE_actual(t214,c21),
dm_PE_actual(t215,c21),
dm_PE_actual(t216,c21),
dm_PE_actual(t217,c21),
dm_PE_actual(t218,c21),
dm_PE_actual(t219,c21),
dm_PE_actual(t220,c22),
dm_PE_actual(t221,c22),
dm_PE_actual(t222,c22),
dm_PE_actual(t223,c22),
dm_PE_actual(t224,c22),
dm_PE_actual(t225,c22),
dm_PE_actual(t226,c22),
dm_PE_actual(t227,c22),
dm_PE_actual(t228,c22),
dm_PE_actual(t229,c22),
dm_PE_actual(t230,c23),
dm_PE_actual(t231,c23),
dm_PE_actual(t232,c23),
dm_PE_actual(t233,c23),
dm_PE_actual(t234,c23),
dm_PE_actual(t235,c23),
dm_PE_actual(t236,c23),
dm_PE_actual(t237,c23),
dm_PE_actual(t238,c23),
dm_PE_actual(t239,c23),
dm_PE_actual(t240,c24),
dm_PE_actual(t241,c24),
dm_PE_actual(t242,c24),
dm_PE_actual(t243,c24),
dm_PE_actual(t244,c24),
dm_PE_actual(t245,c24),
dm_PE_actual(t246,c24),
dm_PE_actual(t247,c24),
dm_PE_actual(t248,c24),
dm_PE_actual(t249,c24),
dm_PE_actual(t250,c25),
dm_PE_actual(t251,c25),
dm_PE_actual(t252,c25),
dm_PE_actual(t253,c25),
dm_PE_actual(t254,c25),
dm_PE_actual(t255,c25),
dm_PE_actual(t256,c25),
dm_PE_actual(t257,c25),
dm_PE_actual(t258,c25),
dm_PE_actual(t259,c25),
dm_PE_actual(t260,c26),
dm_PE_actual(t261,c26),
dm_PE_actual(t262,c26),
dm_PE_actual(t263,c26),
dm_PE_actual(t264,c26),
dm_PE_actual(t265,c26),
dm_PE_actual(t266,c26),
dm_PE_actual(t267,c26),
dm_PE_actual(t268,c26),
dm_PE_actual(t269,c26),
dm_PE_actual(t270,c27),
dm_PE_actual(t271,c27),
dm_PE_actual(t272,c27),
dm_PE_actual(t273,c27),
dm_PE_actual(t274,c27),
dm_PE_actual(t275,c27),
dm_PE_actual(t276,c27),
dm_PE_actual(t277,c27),
dm_PE_actual(t278,c27),
dm_PE_actual(t279,c27),
dm_PE_actual(t280,c28),
dm_PE_actual(t281,c28),
dm_PE_actual(t282,c28),
dm_PE_actual(t283,c28),
dm_PE_actual(t284,c28),
dm_PE_actual(t285,c28),
dm_PE_actual(t286,c28),
dm_PE_actual(t287,c28),
dm_PE_actual(t288,c28),
dm_PE_actual(t289,c28),
dm_PE_actual(t290,c29),
dm_PE_actual(t291,c29),
dm_PE_actual(t292,c29),
dm_PE_actual(t293,c29),
dm_PE_actual(t294,c29),
dm_PE_actual(t295,c29),
dm_PE_actual(t296,c29),
dm_PE_actual(t297,c29),
dm_PE_actual(t298,c29),
dm_PE_actual(t299,c29),
dm_PE_allowed(t0,[c0]),
dm_PE_allowed(t1,[c0]),
dm_PE_allowed(t2,[c0]),
dm_PE_allowed(t3,[c0]),
dm_PE_allowed(t4,[c0]),
dm_PE_allowed(t5,[c0]),
dm_PE_allowed(t6,[c0]),
dm_PE_allowed(t7,[c0]),
dm_PE_allowed(t8,[c0]),
dm_PE_allowed(t9,[c0]),
dm_PE_allowed(t10,[c1]),
dm_PE_allowed(t11,[c1]),
dm_PE_allowed(t12,[c1]),
dm_PE_allowed(t13,[c1]),
dm_PE_allowed(t14,[c1]),
dm_PE_allowed(t15,[c1]),
dm_PE_allowed(t16,[c1]),
dm_PE_allowed(t17,[c1]),
dm_PE_allowed(t18,[c1]),
dm_PE_allowed(t19,[c1]),
dm_PE_allowed(t20,[c2]),
dm_PE_allowed(t21,[c2]),
dm_PE_allowed(t22,[c2]),
dm_PE_allowed(t23,[c2]),
dm_PE_allowed(t24,[c2]),
dm_PE_allowed(t25,[c2]),
dm_PE_allowed(t26,[c2]),
dm_PE_allowed(t27,[c2]),
dm_PE_allowed(t28,[c2]),
dm_PE_allowed(t29,[c2]),
dm_PE_allowed(t30,[c3]),
dm_PE_allowed(t31,[c3]),
dm_PE_allowed(t32,[c3]),
dm_PE_allowed(t33,[c3]),
dm_PE_allowed(t34,[c3]),
dm_PE_allowed(t35,[c3]),
dm_PE_allowed(t36,[c3]),
dm_PE_allowed(t37,[c3]),
dm_PE_allowed(t38,[c3]),
dm_PE_allowed(t39,[c3]),
dm_PE_allowed(t40,[c4]),
dm_PE_allowed(t41,[c4]),
dm_PE_allowed(t42,[c4]),
dm_PE_allowed(t43,[c4]),
dm_PE_allowed(t44,[c4]),
dm_PE_allowed(t45,[c4]),
dm_PE_allowed(t46,[c4]),
dm_PE_allowed(t47,[c4]),
dm_PE_allowed(t48,[c4]),
dm_PE_allowed(t49,[c4]),
dm_PE_allowed(t50,[c5]),
dm_PE_allowed(t51,[c5]),
dm_PE_allowed(t52,[c5]),
dm_PE_allowed(t53,[c5]),
dm_PE_allowed(t54,[c5]),
dm_PE_allowed(t55,[c5]),
dm_PE_allowed(t56,[c5]),
dm_PE_allowed(t57,[c5]),
dm_PE_allowed(t58,[c5]),
dm_PE_allowed(t59,[c5]),
dm_PE_allowed(t60,[c6]),
dm_PE_allowed(t61,[c6]),
dm_PE_allowed(t62,[c6]),
dm_PE_allowed(t63,[c6]),
dm_PE_allowed(t64,[c6]),
dm_PE_allowed(t65,[c6]),
dm_PE_allowed(t66,[c6]),
dm_PE_allowed(t67,[c6]),
dm_PE_allowed(t68,[c6]),
dm_PE_allowed(t69,[c6]),
dm_PE_allowed(t70,[c7]),
dm_PE_allowed(t71,[c7]),
dm_PE_allowed(t72,[c7]),
dm_PE_allowed(t73,[c7]),
dm_PE_allowed(t74,[c7]),
dm_PE_allowed(t75,[c7]),
dm_PE_allowed(t76,[c7]),
dm_PE_allowed(t77,[c7]),
dm_PE_allowed(t78,[c7]),
dm_PE_allowed(t79,[c7]),
dm_PE_allowed(t80,[c8]),
dm_PE_allowed(t81,[c8]),
dm_PE_allowed(t82,[c8]),
dm_PE_allowed(t83,[c8]),
dm_PE_allowed(t84,[c8]),
dm_PE_allowed(t85,[c8]),
dm_PE_allowed(t86,[c8]),
dm_PE_allowed(t87,[c8]),
dm_PE_allowed(t88,[c8]),
dm_PE_allowed(t89,[c8]),
dm_PE_allowed(t90,[c9]),
dm_PE_allowed(t91,[c9]),
dm_PE_allowed(t92,[c9]),
dm_PE_allowed(t93,[c9]),
dm_PE_allowed(t94,[c9]),
dm_PE_allowed(t95,[c9]),
dm_PE_allowed(t96,[c9]),
dm_PE_allowed(t97,[c9]),
dm_PE_allowed(t98,[c9]),
dm_PE_allowed(t99,[c9]),
dm_PE_allowed(t100,[c10]),
dm_PE_allowed(t101,[c10]),
dm_PE_allowed(t102,[c10]),
dm_PE_allowed(t103,[c10]),
dm_PE_allowed(t104,[c10]),
dm_PE_allowed(t105,[c10]),
dm_PE_allowed(t106,[c10]),
dm_PE_allowed(t107,[c10]),
dm_PE_allowed(t108,[c10]),
dm_PE_allowed(t109,[c10]),
dm_PE_allowed(t110,[c11]),
dm_PE_allowed(t111,[c11]),
dm_PE_allowed(t112,[c11]),
dm_PE_allowed(t113,[c11]),
dm_PE_allowed(t114,[c11]),
dm_PE_allowed(t115,[c11]),
dm_PE_allowed(t116,[c11]),
dm_PE_allowed(t117,[c11]),
dm_PE_allowed(t118,[c11]),
dm_PE_allowed(t119,[c11]),
dm_PE_allowed(t120,[c12]),
dm_PE_allowed(t121,[c12]),
dm_PE_allowed(t122,[c12]),
dm_PE_allowed(t123,[c12]),
dm_PE_allowed(t124,[c12]),
dm_PE_allowed(t125,[c12]),
dm_PE_allowed(t126,[c12]),
dm_PE_allowed(t127,[c12]),
dm_PE_allowed(t128,[c12]),
dm_PE_allowed(t129,[c12]),
dm_PE_allowed(t130,[c13]),
dm_PE_allowed(t131,[c13]),
dm_PE_allowed(t132,[c13]),
dm_PE_allowed(t133,[c13]),
dm_PE_allowed(t134,[c13]),
dm_PE_allowed(t135,[c13]),
dm_PE_allowed(t136,[c13]),
dm_PE_allowed(t137,[c13]),
dm_PE_allowed(t138,[c13]),
dm_PE_allowed(t139,[c13]),
dm_PE_allowed(t140,[c14]),
dm_PE_allowed(t141,[c14]),
dm_PE_allowed(t142,[c14]),
dm_PE_allowed(t143,[c14]),
dm_PE_allowed(t144,[c14]),
dm_PE_allowed(t145,[c14]),
dm_PE_allowed(t146,[c14]),
dm_PE_allowed(t147,[c14]),
dm_PE_allowed(t148,[c14]),
dm_PE_allowed(t149,[c14]),
dm_PE_allowed(t150,[c15]),
dm_PE_allowed(t151,[c15]),
dm_PE_allowed(t152,[c15]),
dm_PE_allowed(t153,[c15]),
dm_PE_allowed(t154,[c15]),
dm_PE_allowed(t155,[c15]),
dm_PE_allowed(t156,[c15]),
dm_PE_allowed(t157,[c15]),
dm_PE_allowed(t158,[c15]),
dm_PE_allowed(t159,[c15]),
dm_PE_allowed(t160,[c16]),
dm_PE_allowed(t161,[c16]),
dm_PE_allowed(t162,[c16]),
dm_PE_allowed(t163,[c16]),
dm_PE_allowed(t164,[c16]),
dm_PE_allowed(t165,[c16]),
dm_PE_allowed(t166,[c16]),
dm_PE_allowed(t167,[c16]),
dm_PE_allowed(t168,[c16]),
dm_PE_allowed(t169,[c16]),
dm_PE_allowed(t170,[c17]),
dm_PE_allowed(t171,[c17]),
dm_PE_allowed(t172,[c17]),
dm_PE_allowed(t173,[c17]),
dm_PE_allowed(t174,[c17]),
dm_PE_allowed(t175,[c17]),
dm_PE_allowed(t176,[c17]),
dm_PE_allowed(t177,[c17]),
dm_PE_allowed(t178,[c17]),
dm_PE_allowed(t179,[c17]),
dm_PE_allowed(t180,[c18]),
dm_PE_allowed(t181,[c18]),
dm_PE_allowed(t182,[c18]),
dm_PE_allowed(t183,[c18]),
dm_PE_allowed(t184,[c18]),
dm_PE_allowed(t185,[c18]),
dm_PE_allowed(t186,[c18]),
dm_PE_allowed(t187,[c18]),
dm_PE_allowed(t188,[c18]),
dm_PE_allowed(t189,[c18]),
dm_PE_allowed(t190,[c19]),
dm_PE_allowed(t191,[c19]),
dm_PE_allowed(t192,[c19]),
dm_PE_allowed(t193,[c19]),
dm_PE_allowed(t194,[c19]),
dm_PE_allowed(t195,[c19]),
dm_PE_allowed(t196,[c19]),
dm_PE_allowed(t197,[c19]),
dm_PE_allowed(t198,[c19]),
dm_PE_allowed(t199,[c19]),
dm_PE_allowed(t200,[c20]),
dm_PE_allowed(t201,[c20]),
dm_PE_allowed(t202,[c20]),
dm_PE_allowed(t203,[c20]),
dm_PE_allowed(t204,[c20]),
dm_PE_allowed(t205,[c20]),
dm_PE_allowed(t206,[c20]),
dm_PE_allowed(t207,[c20]),
dm_PE_allowed(t208,[c20]),
dm_PE_allowed(t209,[c20]),
dm_PE_allowed(t210,[c21]),
dm_PE_allowed(t211,[c21]),
dm_PE_allowed(t212,[c21]),
dm_PE_allowed(t213,[c21]),
dm_PE_allowed(t214,[c21]),
dm_PE_allowed(t215,[c21]),
dm_PE_allowed(t216,[c21]),
dm_PE_allowed(t217,[c21]),
dm_PE_allowed(t218,[c21]),
dm_PE_allowed(t219,[c21]),
dm_PE_allowed(t220,[c22]),
dm_PE_allowed(t221,[c22]),
dm_PE_allowed(t222,[c22]),
dm_PE_allowed(t223,[c22]),
dm_PE_allowed(t224,[c22]),
dm_PE_allowed(t225,[c22]),
dm_PE_allowed(t226,[c22]),
dm_PE_allowed(t227,[c22]),
dm_PE_allowed(t228,[c22]),
dm_PE_allowed(t229,[c22]),
dm_PE_allowed(t230,[c23]),
dm_PE_allowed(t231,[c23]),
dm_PE_allowed(t232,[c23]),
dm_PE_allowed(t233,[c23]),
dm_PE_allowed(t234,[c23]),
dm_PE_allowed(t235,[c23]),
dm_PE_allowed(t236,[c23]),
dm_PE_allowed(t237,[c23]),
dm_PE_allowed(t238,[c23]),
dm_PE_allowed(t239,[c23]),
dm_PE_allowed(t240,[c24]),
dm_PE_allowed(t241,[c24]),
dm_PE_allowed(t242,[c24]),
dm_PE_allowed(t243,[c24]),
dm_PE_allowed(t244,[c24]),
dm_PE_allowed(t245,[c24]),
dm_PE_allowed(t246,[c24]),
dm_PE_allowed(t247,[c24]),
dm_PE_allowed(t248,[c24]),
dm_PE_allowed(t249,[c24]),
dm_PE_allowed(t250,[c25]),
dm_PE_allowed(t251,[c25]),
dm_PE_allowed(t252,[c25]),
dm_PE_allowed(t253,[c25]),
dm_PE_allowed(t254,[c25]),
dm_PE_allowed(t255,[c25]),
dm_PE_allowed(t256,[c25]),
dm_PE_allowed(t257,[c25]),
dm_PE_allowed(t258,[c25]),
dm_PE_allowed(t259,[c25]),
dm_PE_allowed(t260,[c26]),
dm_PE_allowed(t261,[c26]),
dm_PE_allowed(t262,[c26]),
dm_PE_allowed(t263,[c26]),
dm_PE_allowed(t264,[c26]),
dm_PE_allowed(t265,[c26]),
dm_PE_allowed(t266,[c26]),
dm_PE_allowed(t267,[c26]),
dm_PE_allowed(t268,[c26]),
dm_PE_allowed(t269,[c26]),
dm_PE_allowed(t270,[c27]),
dm_PE_allowed(t271,[c27]),
dm_PE_allowed(t272,[c27]),
dm_PE_allowed(t273,[c27]),
dm_PE_allowed(t274,[c27]),
dm_PE_allowed(t275,[c27]),
dm_PE_allowed(t276,[c27]),
dm_PE_allowed(t277,[c27]),
dm_PE_allowed(t278,[c27]),
dm_PE_allowed(t279,[c27]),
dm_PE_allowed(t280,[c28]),
dm_PE_allowed(t281,[c28]),
dm_PE_allowed(t282,[c28]),
dm_PE_allowed(t283,[c28]),
dm_PE_allowed(t284,[c28]),
dm_PE_allowed(t285,[c28]),
dm_PE_allowed(t286,[c28]),
dm_PE_allowed(t287,[c28]),
dm_PE_allowed(t288,[c28]),
dm_PE_allowed(t289,[c28]),
dm_PE_allowed(t290,[c29]),
dm_PE_allowed(t291,[c29]),
dm_PE_allowed(t292,[c29]),
dm_PE_allowed(t293,[c29]),
dm_PE_allowed(t294,[c29]),
dm_PE_allowed(t295,[c29]),
dm_PE_allowed(t296,[c29]),
dm_PE_allowed(t297,[c29]),
dm_PE_allowed(t298,[c29]),
dm_PE_allowed(t299,[c29]),
dm_PE_scheduling(c0,t0, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t1, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t2, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t3, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t4, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t5, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t6, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t7, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t8, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c0,t9, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c1,t10, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c1,t11, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c1,t12, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c1,t13, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c1,t14, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c1,t15, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c1,t16, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c1,t17, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c1,t18, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c1,t19, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c2,t20, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c2,t21, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c2,t22, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c2,t23, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c2,t24, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c2,t25, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c2,t26, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c2,t27, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c2,t28, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c2,t29, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c3,t30, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c3,t31, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c3,t32, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c3,t33, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c3,t34, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c3,t35, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c3,t36, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c3,t37, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c3,t38, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c3,t39, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c4,t40, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c4,t41, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c4,t42, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c4,t43, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c4,t44, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c4,t45, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c4,t46, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c4,t47, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c4,t48, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c4,t49, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c5,t50, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c5,t51, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c5,t52, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c5,t53, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c5,t54, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c5,t55, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c5,t56, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c5,t57, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c5,t58, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c5,t59, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c6,t60, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c6,t61, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c6,t62, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c6,t63, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c6,t64, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c6,t65, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c6,t66, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c6,t67, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c6,t68, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c6,t69, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c7,t70, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c7,t71, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c7,t72, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c7,t73, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c7,t74, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c7,t75, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c7,t76, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c7,t77, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c7,t78, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c7,t79, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c8,t80, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c8,t81, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c8,t82, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c8,t83, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c8,t84, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c8,t85, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c8,t86, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c8,t87, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c8,t88, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c8,t89, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c9,t90, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c9,t91, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c9,t92, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c9,t93, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c9,t94, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c9,t95, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c9,t96, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c9,t97, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c9,t98, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c9,t99, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c10,t100, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c10,t101, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c10,t102, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c10,t103, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c10,t104, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c10,t105, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c10,t106, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c10,t107, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c10,t108, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c10,t109, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c11,t110, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c11,t111, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c11,t112, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c11,t113, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c11,t114, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c11,t115, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c11,t116, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c11,t117, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c11,t118, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c11,t119, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c12,t120, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c12,t121, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c12,t122, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c12,t123, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c12,t124, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c12,t125, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c12,t126, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c12,t127, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c12,t128, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c12,t129, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c13,t130, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c13,t131, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c13,t132, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c13,t133, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c13,t134, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c13,t135, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c13,t136, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c13,t137, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c13,t138, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c13,t139, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c14,t140, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c14,t141, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c14,t142, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c14,t143, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c14,t144, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c14,t145, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c14,t146, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c14,t147, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c14,t148, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c14,t149, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c15,t150, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c15,t151, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c15,t152, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c15,t153, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c15,t154, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c15,t155, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c15,t156, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c15,t157, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c15,t158, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c15,t159, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c16,t160, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c16,t161, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c16,t162, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c16,t163, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c16,t164, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c16,t165, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c16,t166, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c16,t167, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c16,t168, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c16,t169, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c17,t170, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c17,t171, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c17,t172, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c17,t173, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c17,t174, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c17,t175, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c17,t176, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c17,t177, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c17,t178, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c17,t179, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c18,t180, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c18,t181, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c18,t182, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c18,t183, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c18,t184, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c18,t185, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c18,t186, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c18,t187, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c18,t188, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c18,t189, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c19,t190, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c19,t191, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c19,t192, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c19,t193, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c19,t194, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c19,t195, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c19,t196, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c19,t197, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c19,t198, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c19,t199, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c20,t200, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c20,t201, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c20,t202, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c20,t203, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c20,t204, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c20,t205, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c20,t206, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c20,t207, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c20,t208, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c20,t209, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c21,t210, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c21,t211, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c21,t212, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c21,t213, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c21,t214, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c21,t215, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c21,t216, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c21,t217, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c21,t218, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c21,t219, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c22,t220, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c22,t221, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c22,t222, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c22,t223, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c22,t224, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c22,t225, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c22,t226, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c22,t227, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c22,t228, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c22,t229, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c23,t230, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c23,t231, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c23,t232, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c23,t233, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c23,t234, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c23,t235, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c23,t236, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c23,t237, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c23,t238, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c23,t239, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c24,t240, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c24,t241, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c24,t242, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c24,t243, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c24,t244, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c24,t245, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c24,t246, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c24,t247, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c24,t248, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c24,t249, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c25,t250, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c25,t251, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c25,t252, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c25,t253, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c25,t254, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c25,t255, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c25,t256, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c25,t257, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c25,t258, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c25,t259, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c26,t260, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c26,t261, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c26,t262, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c26,t263, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c26,t264, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c26,t265, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c26,t266, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c26,t267, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c26,t268, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c26,t269, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c27,t270, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c27,t271, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c27,t272, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c27,t273, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c27,t274, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c27,t275, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c27,t276, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c27,t277, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c27,t278, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c27,t279, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c28,t280, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c28,t281, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c28,t282, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c28,t283, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c28,t284, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c28,t285, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c28,t286, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c28,t287, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c28,t288, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c28,t289, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c29,t290, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c29,t291, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c29,t292, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c29,t293, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c29,t294, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c29,t295, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c29,t296, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c29,t297, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c29,t298, sched(posix_1003_highest_priority_first_protocol,preemptive)),
dm_PE_scheduling(c29,t299, sched(posix_1003_highest_priority_first_protocol,preemptive)),
am_time(c0,a_bus,interval( 0, 500, 1000)),
am_time(c1,a_bus,interval( 0, 500, 1000)),
am_time(c2,a_bus,interval( 0, 500, 1000)),
am_time(c3,a_bus,interval( 0, 500, 1000)),
am_time(c4,a_bus,interval( 0, 500, 1000)),
am_time(c5,a_bus,interval( 0, 500, 1000)),
am_time(c6,a_bus,interval( 0, 500, 1000)),
am_time(c7,a_bus,interval( 0, 500, 1000)),
am_time(c8,a_bus,interval( 0, 500, 1000)),
am_time(c9,a_bus,interval( 0, 500, 1000)),
am_time(c10,a_bus,interval( 0, 500, 1000)),
am_time(c11,a_bus,interval( 0, 500, 1000)),
am_time(c12,a_bus,interval( 0, 500, 1000)),
am_time(c13,a_bus,interval( 0, 500, 1000)),
am_time(c14,a_bus,interval( 0, 500, 1000)),
am_time(c15,a_bus,interval( 0, 500, 1000)),
am_time(c16,a_bus,interval( 0, 500, 1000)),
am_time(c17,a_bus,interval( 0, 500, 1000)),
am_time(c18,a_bus,interval( 0, 500, 1000)),
am_time(c19,a_bus,interval( 0, 500, 1000)),
am_time(c20,a_bus,interval( 0, 500, 1000)),
am_time(c21,a_bus,interval( 0, 500, 1000)),
am_time(c22,a_bus,interval( 0, 500, 1000)),
am_time(c23,a_bus,interval( 0, 500, 1000)),
am_time(c24,a_bus,interval( 0, 500, 1000)),
am_time(c25,a_bus,interval( 0, 500, 1000)),
am_time(c26,a_bus,interval( 0, 500, 1000)),
am_time(c27,a_bus,interval( 0, 500, 1000)),
am_time(c28,a_bus,interval( 0, 500, 1000)),
am_time(c29,a_bus,interval( 0, 500, 1000)),
a_proc_type(c0,processor),
a_proc_type(c1,processor),
a_proc_type(c2,processor),
a_proc_type(c3,processor),
a_proc_type(c4,processor),
a_proc_type(c5,processor),
a_proc_type(c6,processor),
a_proc_type(c7,processor),
a_proc_type(c8,processor),
a_proc_type(c9,processor),
a_proc_type(c10,processor),
a_proc_type(c11,processor),
a_proc_type(c12,processor),
a_proc_type(c13,processor),
a_proc_type(c14,processor),
a_proc_type(c15,processor),
a_proc_type(c16,processor),
a_proc_type(c17,processor),
a_proc_type(c18,processor),
a_proc_type(c19,processor),
a_proc_type(c20,processor),
a_proc_type(c21,processor),
a_proc_type(c22,processor),
a_proc_type(c23,processor),
a_proc_type(c24,processor),
a_proc_type(c25,processor),
a_proc_type(c26,processor),
a_proc_type(c27,processor),
a_proc_type(c28,processor),
a_proc_type(c29,processor),
a_proc_isa(c0,sparc_V8),
a_proc_isa(c1,sparc_V8),
a_proc_isa(c2,sparc_V8),
a_proc_isa(c3,sparc_V8),
a_proc_isa(c4,sparc_V8),
a_proc_isa(c5,sparc_V8),
a_proc_isa(c6,sparc_V8),
a_proc_isa(c7,sparc_V8),
a_proc_isa(c8,sparc_V8),
a_proc_isa(c9,sparc_V8),
a_proc_isa(c10,sparc_V8),
a_proc_isa(c11,sparc_V8),
a_proc_isa(c12,sparc_V8),
a_proc_isa(c13,sparc_V8),
a_proc_isa(c14,sparc_V8),
a_proc_isa(c15,sparc_V8),
a_proc_isa(c16,sparc_V8),
a_proc_isa(c17,sparc_V8),
a_proc_isa(c18,sparc_V8),
a_proc_isa(c19,sparc_V8),
a_proc_isa(c20,sparc_V8),
a_proc_isa(c21,sparc_V8),
a_proc_isa(c22,sparc_V8),
a_proc_isa(c23,sparc_V8),
a_proc_isa(c24,sparc_V8),
a_proc_isa(c25,sparc_V8),
a_proc_isa(c26,sparc_V8),
a_proc_isa(c27,sparc_V8),
a_proc_isa(c28,sparc_V8),
a_proc_isa(c29,sparc_V8),
a_proc_speed(c0, 100000000),
a_proc_speed(c1, 100000000),
a_proc_speed(c2, 100000000),
a_proc_speed(c3, 100000000),
a_proc_speed(c4, 100000000),
a_proc_speed(c5, 100000000),
a_proc_speed(c6, 100000000),
a_proc_speed(c7, 100000000),
a_proc_speed(c8, 100000000),
a_proc_speed(c9, 100000000),
a_proc_speed(c10, 100000000),
a_proc_speed(c11, 100000000),
a_proc_speed(c12, 100000000),
a_proc_speed(c13, 100000000),
a_proc_speed(c14, 100000000),
a_proc_speed(c15, 100000000),
a_proc_speed(c16, 100000000),
a_proc_speed(c17, 100000000),
a_proc_speed(c18, 100000000),
a_proc_speed(c19, 100000000),
a_proc_speed(c20, 100000000),
a_proc_speed(c21, 100000000),
a_proc_speed(c22, 100000000),
a_proc_speed(c23, 100000000),
a_proc_speed(c24, 100000000),
a_proc_speed(c25, 100000000),
a_proc_speed(c26, 100000000),
a_proc_speed(c27, 100000000),
a_proc_speed(c28, 100000000),
a_proc_speed(c29, 100000000),
a_mem_type(ic0,instruction_cache_type),
a_mem_type(ic1,instruction_cache_type),
a_mem_type(ic2,instruction_cache_type),
a_mem_type(ic3,instruction_cache_type),
a_mem_type(ic4,instruction_cache_type),
a_mem_type(ic5,instruction_cache_type),
a_mem_type(ic6,instruction_cache_type),
a_mem_type(ic7,instruction_cache_type),
a_mem_type(ic8,instruction_cache_type),
a_mem_type(ic9,instruction_cache_type),
a_mem_type(ic10,instruction_cache_type),
a_mem_type(ic11,instruction_cache_type),
a_mem_type(ic12,instruction_cache_type),
a_mem_type(ic13,instruction_cache_type),
a_mem_type(ic14,instruction_cache_type),
a_mem_type(ic15,instruction_cache_type),
a_mem_type(ic16,instruction_cache_type),
a_mem_type(ic17,instruction_cache_type),
a_mem_type(ic18,instruction_cache_type),
a_mem_type(ic19,instruction_cache_type),
a_mem_type(ic20,instruction_cache_type),
a_mem_type(ic21,instruction_cache_type),
a_mem_type(ic22,instruction_cache_type),
a_mem_type(ic23,instruction_cache_type),
a_mem_type(ic24,instruction_cache_type),
a_mem_type(ic25,instruction_cache_type),
a_mem_type(ic26,instruction_cache_type),
a_mem_type(ic27,instruction_cache_type),
a_mem_type(ic28,instruction_cache_type),
a_mem_type(ic29,instruction_cache_type),
a_mem_cache_associativity(ic0, 1),
a_mem_cache_associativity(ic1, 1),
a_mem_cache_associativity(ic2, 1),
a_mem_cache_associativity(ic3, 1),
a_mem_cache_associativity(ic4, 1),
a_mem_cache_associativity(ic5, 1),
a_mem_cache_associativity(ic6, 1),
a_mem_cache_associativity(ic7, 1),
a_mem_cache_associativity(ic8, 1),
a_mem_cache_associativity(ic9, 1),
a_mem_cache_associativity(ic10, 1),
a_mem_cache_associativity(ic11, 1),
a_mem_cache_associativity(ic12, 1),
a_mem_cache_associativity(ic13, 1),
a_mem_cache_associativity(ic14, 1),
a_mem_cache_associativity(ic15, 1),
a_mem_cache_associativity(ic16, 1),
a_mem_cache_associativity(ic17, 1),
a_mem_cache_associativity(ic18, 1),
a_mem_cache_associativity(ic19, 1),
a_mem_cache_associativity(ic20, 1),
a_mem_cache_associativity(ic21, 1),
a_mem_cache_associativity(ic22, 1),
a_mem_cache_associativity(ic23, 1),
a_mem_cache_associativity(ic24, 1),
a_mem_cache_associativity(ic25, 1),
a_mem_cache_associativity(ic26, 1),
a_mem_cache_associativity(ic27, 1),
a_mem_cache_associativity(ic28, 1),
a_mem_cache_associativity(ic29, 1),
a_mem_cache_level(ic0, 1),
a_mem_cache_level(ic1, 1),
a_mem_cache_level(ic2, 1),
a_mem_cache_level(ic3, 1),
a_mem_cache_level(ic4, 1),
a_mem_cache_level(ic5, 1),
a_mem_cache_level(ic6, 1),
a_mem_cache_level(ic7, 1),
a_mem_cache_level(ic8, 1),
a_mem_cache_level(ic9, 1),
a_mem_cache_level(ic10, 1),
a_mem_cache_level(ic11, 1),
a_mem_cache_level(ic12, 1),
a_mem_cache_level(ic13, 1),
a_mem_cache_level(ic14, 1),
a_mem_cache_level(ic15, 1),
a_mem_cache_level(ic16, 1),
a_mem_cache_level(ic17, 1),
a_mem_cache_level(ic18, 1),
a_mem_cache_level(ic19, 1),
a_mem_cache_level(ic20, 1),
a_mem_cache_level(ic21, 1),
a_mem_cache_level(ic22, 1),
a_mem_cache_level(ic23, 1),
a_mem_cache_level(ic24, 1),
a_mem_cache_level(ic25, 1),
a_mem_cache_level(ic26, 1),
a_mem_cache_level(ic27, 1),
a_mem_cache_level(ic28, 1),
a_mem_cache_level(ic29, 1),
a_mem_cache_size(ic0, 1024),
a_mem_cache_size(ic1, 1024),
a_mem_cache_size(ic2, 1024),
a_mem_cache_size(ic3, 1024),
a_mem_cache_size(ic4, 1024),
a_mem_cache_size(ic5, 1024),
a_mem_cache_size(ic6, 1024),
a_mem_cache_size(ic7, 1024),
a_mem_cache_size(ic8, 1024),
a_mem_cache_size(ic9, 1024),
a_mem_cache_size(ic10, 1024),
a_mem_cache_size(ic11, 1024),
a_mem_cache_size(ic12, 1024),
a_mem_cache_size(ic13, 1024),
a_mem_cache_size(ic14, 1024),
a_mem_cache_size(ic15, 1024),
a_mem_cache_size(ic16, 1024),
a_mem_cache_size(ic17, 1024),
a_mem_cache_size(ic18, 1024),
a_mem_cache_size(ic19, 1024),
a_mem_cache_size(ic20, 1024),
a_mem_cache_size(ic21, 1024),
a_mem_cache_size(ic22, 1024),
a_mem_cache_size(ic23, 1024),
a_mem_cache_size(ic24, 1024),
a_mem_cache_size(ic25, 1024),
a_mem_cache_size(ic26, 1024),
a_mem_cache_size(ic27, 1024),
a_mem_cache_size(ic28, 1024),
a_mem_cache_size(ic29, 1024),
a_mem_cache_line_size(ic0, 16),
a_mem_cache_line_size(ic1, 16),
a_mem_cache_line_size(ic2, 16),
a_mem_cache_line_size(ic3, 16),
a_mem_cache_line_size(ic4, 16),
a_mem_cache_line_size(ic5, 16),
a_mem_cache_line_size(ic6, 16),
a_mem_cache_line_size(ic7, 16),
a_mem_cache_line_size(ic8, 16),
a_mem_cache_line_size(ic9, 16),
a_mem_cache_line_size(ic10, 16),
a_mem_cache_line_size(ic11, 16),
a_mem_cache_line_size(ic12, 16),
a_mem_cache_line_size(ic13, 16),
a_mem_cache_line_size(ic14, 16),
a_mem_cache_line_size(ic15, 16),
a_mem_cache_line_size(ic16, 16),
a_mem_cache_line_size(ic17, 16),
a_mem_cache_line_size(ic18, 16),
a_mem_cache_line_size(ic19, 16),
a_mem_cache_line_size(ic20, 16),
a_mem_cache_line_size(ic21, 16),
a_mem_cache_line_size(ic22, 16),
a_mem_cache_line_size(ic23, 16),
a_mem_cache_line_size(ic24, 16),
a_mem_cache_line_size(ic25, 16),
a_mem_cache_line_size(ic26, 16),
a_mem_cache_line_size(ic27, 16),
a_mem_cache_line_size(ic28, 16),
a_mem_cache_line_size(ic29, 16),
a_mem_cache_miss_time(ic0, 1000),
a_mem_cache_miss_time(ic1, 1000),
a_mem_cache_miss_time(ic2, 1000),
a_mem_cache_miss_time(ic3, 1000),
a_mem_cache_miss_time(ic4, 1000),
a_mem_cache_miss_time(ic5, 1000),
a_mem_cache_miss_time(ic6, 1000),
a_mem_cache_miss_time(ic7, 1000),
a_mem_cache_miss_time(ic8, 1000),
a_mem_cache_miss_time(ic9, 1000),
a_mem_cache_miss_time(ic10, 1000),
a_mem_cache_miss_time(ic11, 1000),
a_mem_cache_miss_time(ic12, 1000),
a_mem_cache_miss_time(ic13, 1000),
a_mem_cache_miss_time(ic14, 1000),
a_mem_cache_miss_time(ic15, 1000),
a_mem_cache_miss_time(ic16, 1000),
a_mem_cache_miss_time(ic17, 1000),
a_mem_cache_miss_time(ic18, 1000),
a_mem_cache_miss_time(ic19, 1000),
a_mem_cache_miss_time(ic20, 1000),
a_mem_cache_miss_time(ic21, 1000),
a_mem_cache_miss_time(ic22, 1000),
a_mem_cache_miss_time(ic23, 1000),
a_mem_cache_miss_time(ic24, 1000),
a_mem_cache_miss_time(ic25, 1000),
a_mem_cache_miss_time(ic26, 1000),
a_mem_cache_miss_time(ic27, 1000),
a_mem_cache_miss_time(ic28, 1000),
a_mem_cache_miss_time(ic29, 1000),
a_type(a_bus,interconnect),
a_conn_type(a_bus,bus),
end_with_success ].