v64 setup version 0 1 1;

/* This is a .msa file produced by translating the lv512 setup */
/* to a .msa file on the lv512, and then ftping that file back */
/* to the workstation. It corresponds to the schmoo example    */
/* using the 74LS547 in the lecture notes		       */

/* config section */

resolution = 500ps;
dev_supply_voltage	=	5.00v;
dev_supply_current	=	1.00a;

term_supply_voltage	=	3.00v;

force_high_family_v1	=	2.40v;
force_low_family_v1	=	0.50v;
compare_family_v1	=	1.40v;

force_high_family_v2	=	4.50v;
force_low_family_v2	=	0.50v;
compare_family_v2	=	2.50v;

sector_logic_family	=	{
	v1, v1, v1, v1,  ,  ,  ,  , v1, v1, v1, v1,  ,  ,  , 
};


/* group section */

group "a" {
	radix = bin;
	force_fmt = dnrz_l;
	compare_fmt = edge_t;
	phase = 0a;
	signal "a2" {
		dut = "17";
		sector = 0h2;
		channel = 0he;
	}
	signal "a1" {
		dut = "7";
		sector = 0h2;
		channel = 0hd;
	}
	signal "a0" {
		dut = "6";
		sector = 0h2;
		channel = 0hc;
	}
}

group "q" {
	radix = bin;
	force_fmt = dnrz_l;
	compare_fmt = edge_t;
	phase = 0a;
	signal "q0~" {
		dut = "12";
		sector = 0h3;
		channel = 0h6;
	}
	signal "q1~" {
		dut = "2";
		sector = 0h3;
		channel = 0h7;
	}
	signal "q2~" {
		dut = "1";
		sector = 0h3;
		channel = 0h8;
	}
	signal "q3~" {
		dut = "19";
		sector = 0h3;
		channel = 0h9;
	}
	signal "q4~" {
		dut = "18";
		sector = 0h3;
		channel = 0ha;
	}
	signal "q5~" {
		dut = "8";
		sector = 0h3;
		channel = 0hb;
	}
	signal "q6~" {
		dut = "9";
		sector = 0h3;
		channel = 0hc;
	}
	signal "q7~" {
		dut = "11";
		sector = 0h3;
		channel = 0hd;
	}
}

group "e" {
	radix = bin;
	force_fmt = dnrz_l;
	compare_fmt = edge_t;
	phase = 0a;
	signal "e1~" {
		dut = "15";
		sector = 0h2;
		channel = 0hf;
	}
	signal "e2" {
		dut = "14";
		sector = 0h3;
		channel = 0h0;
	}
	signal "e3" {
		dut = "13";
		sector = 0h3;
		channel = 0h1;
	}
}

group "le" {
	radix = bin;
	force_fmt = dnrz_l;
	compare_fmt = edge_t;
	phase = 0a;
	signal "le" {
		dut = "16";
		sector = 0h3;
		channel = 0h2;
	}
}

/* template section */

template "template_0" {
	cycle = 100ns;
	phase 0a {delay = 0ns; width = 90ns;}
	group "a" {
		function = force;
	}
	group "q" {
		function = compare;
	}
	group "e" {
		function = force;
	}
	group "le" {
		function = force;
	}
}

/* schmoo define section */

schmoo_var_x = dev_supply_voltage {
	from=2.40v;
	to=5.00v;
	by=0.10v;
};
schmoo_var_y = phase_width {
	template="template_0";
	clock_phase="0a";
	from=8ns;
	to=40ns;
	by=2ns;
};

pmu_test "PMU_Test1" {
	no_test;
	no_test;
	no_test;
	no_test;
	no_test;
	no_test;
	no_test;
}


pmu_test "PMU_Test2" {
	no_test;
	no_test;
	no_test;
	no_test;
	no_test;
	no_test;
	no_test;
}


pmu_test "PMU_Test3" {
	no_test;
	no_test;
	no_test;
	no_test;
	no_test;
	no_test;
	no_test;
}


pmu_test "PMU_Test4" {
	no_test;
	no_test;
	no_test;
	no_test;
	no_test;
	no_test;
	no_test;
}


pmu_test "PMU_Test5" {
	no_test;
	no_test;
	no_test;
	no_test;
	no_test;
	no_test;
	no_test;
}


pmu_schedule {
}

/* macro section */

macro macro_0() {
	*	"";
}

/* define format info */


define_format {
	keymap = lf_cr_addline;
}
/* pattern section */

pattern 
	*	"74F547 pattern data begins here";
	"template_0"	000 01111111 011 1;
	"template_0"	001 10111111 011 1;
	"template_0"	010 11011111 011 1;
	"template_0"	011 11101111 011 1;
	"template_0"	100 11110111 011 1;
	"template_0"	101 11111011 011 1;
	"template_0"	110 11111101 011 1;
	"template_0"	111 11111110 011 1;