// "alternator-wchb_merge-08.hac"
// testing with active reset

import "alternator.hac";
import "env.hac";

e1of2 L[2];
e1of2 R;
bool _Reset, Reset;
wchb_alternator_merge_2xe1of<2> X(L, R, _Reset, Reset);
cmos_source_e1of<2><3,{0,0,1}>
	s0(L[0], _Reset, Reset);
cmos_source_e1of<2><2,{0,1}>
	s1(L[1], _Reset, Reset);
inactive_reset_bitbucket_e1of<2>
	b(R, _Reset);

