% dp_check('model_dp1234_100t_10p').

archi_model_spec("model_dp1234_100t_10p",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]),
processing_elements([c0,c1,c2,c3,c4,c5,c6,c7,c8,c9]),
resources([ic0,ic1,ic2,ic3,ic4,ic5,ic6,ic7,ic8,ic9]),
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(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),
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]),
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),
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_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_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)),
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)),
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_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_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_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_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_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_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_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_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_type(a_bus,interconnect),
a_conn_type(a_bus,bus),
end_with_success ].