// "split-split_wchb_e1of2-01.hac"
// testing with inactive-acknowledge on reset

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

bool _Reset, Reset;
e1of2 L, R[4];
e1of4 C;
c1of4 c;
C.d = c.d;
split_wchb_e1of<2,4> X(L, C, R, _Reset);
cmos_source_e1of2 LS<5, {0,0,1,1,1}>(L, _Reset, Reset);
onehot_counter<4> CS(C.e, c, _Reset, Reset);
inactive_reset_bitbucket_e1of2 B[4];
(;i:4:
	B[i](R[i], _Reset);
)


