// "env-cmos-source-sink-e-03.hac"
// testing CMOS source talking to CMOS bucket

import "env.hac";

bool _Reset, Reset;
e1of4 X;
// intentionally omitting rail[3]
cmos_source_e1of4 S<9,{0,0,1,1,2,2,1,0,2}>(X, _Reset, Reset);
bitbucket_e1of4 B(X, _Reset);

