Description in SFL

%d NUM 0x1

%i "cmp4.h"

...

module digit1 {

input x1, x2, x3, x4, x5, x7, x8, x9, x10, x11, x13;

input u1ɜ>, u2ɜ>, u3ɜ>, u4ɜ>, u5ɜ>, u7ɜ>,...;

output now, flp;

output bpɜ>

input maxɜ>

output x_out;

output u_outɜ>

instrin do;

cmp4 cmp_2, cmp_3, cmp_4, cmp_5, cmp_7, cmp_8,...;

sel_v cmp_2_out, cmp_3_out, cmp_4_out, cmp_5_out, cmp_7_out,...;

...

sel_v bpcl1ɜ>, bpcl2ɜ>, bpcl3ɜ>, bpcl4ɜ>, bpcl5ɜ>,...;

sel_v bt0ɜ>, bt1ɜ>

sel_v mustbeone, mustbezero;

next4 next;

sel_v zero;

instruct do par {

zero = 0b0;

cmp_2_out = cmp_2.do(u2, NUMɛ:0>).out;

...

bpcl9 = min_9.do( u7, u13).out & 4#cl9;

bt0 = max_1.do(bpcl1, bpcl2, bpcl3, 4#zero).out;

bt1 = max_2.do(bpcl4, bpcl5, bpcl6, bpcl7, bpcl8,

bpcl9, 4#zero, 4#zero).out;

any {

^x1 : par {

now = mustbeone;

flp = mustbezero;

}

x1 : par {

now = mustbezero;

flp = mustbeone;

}

...

x_out = next.do(x1, u1, max, (^now || ^flp),

bt0, bt1, NUMɛ:0>).x_out;

u_out = next.u_out;