%% The Jazz compiler version 0.3.0 %% Compilation: 5.23 s (5.42 s real) %% Link: 0.70 s (0.71 s real) @@@@ @ @ @ @ @ @ @ @ @ @ @@@@ @ @ @ @ @ @ @ @@@@ @ @ @@@@ @ @ @@@@ @@@@ @ @ @@@@ @ @ @@@@ @ @ @ @ @ @ @@@@ @ @ @ @@@@ @ @ @@@@ @ @ @@@@ @@@@ @ @ @@@@ @ @ @ @ @@@@ @@@@ @ @ @ @ @ @ @@@@ @ @ @ @ @@@@ @ @ @ @ @@@@ @@@@ @ @ @ @ @@@@ @ @ @@@@ @@@@ @ @ @ @ @@@@ @ @ @ @ @ @ @ @ @ @@@@ @ @ @ @ @@@@ @@@@ @ @ @ @ @ @@@@ @ @ @ @@@@ @ @ @ @ @@@@ @@@@ @ @ @@@@ @ @ @@@@ @@@@ @ @ @@@@ @ @ @ %% Device "Decoder". nets: 41, mux: 28, per: 2, op: 30, net/op: 1.36 device: name: "Decoder" params: "" format: 2.1 main: 0 nets: 41 blocks: 30 pragmas: 8 end: nets: 0: 0 this.digit[0]; %0% 1: 0 this.digit[1]; %0% 2: 0 this.digit[2]; %0% 3: 0 this.digit[3]; %0% 4: 0 this.segments[0] = 5; %7% 5: 5 element = mux(0, 6, 11); %4% 6: 4 element = mux(1, 3, 7); %4% 7: 3 element = mux(2, 8, 3); %4% 8: 2 element = mux(3, 9, 10); %4% 9: 0 zero = #(0):0; %2% 10: 0 one = #(1):0; %3% 11: 7 element = mux(1, 12, 10); %4% 12: 6 element = mux(2, 10, 3); %4% 13: 0 this.segments[1] = 14; %7% 14: 10 element = mux(0, 15, 17); %4% 15: 9 element = mux(1, 3, 16); %4% 16: 8 element = mux(2, 3, 9); %4% 17: 12 element = mux(1, 10, 18); %4% 18: 11 element = mux(2, 3, 10); %4% 19: 0 this.segments[2] = 20; %7% 20: 15 element = mux(0, 21, 23); %4% 21: 14 element = mux(1, 22, 12); %4% 22: 13 element = mux(2, 9, 10); %4% 23: 17 element = mux(1, 24, 18); %4% 24: 16 element = mux(2, 10, 8); %4% 25: 0 this.segments[3] = 26; %7% 26: 20 element = mux(0, 27, 29); %4% 27: 19 element = mux(1, 28, 10); %4% 28: 18 element = mux(2, 8, 10); %4% 29: 21 element = mux(1, 7, 28); %4% 30: 0 this.segments[4] = 31; %7% 31: 23 element = mux(0, 32, 33); %4% 32: 22 element = mux(1, 8, 18); %4% 33: 24 element = mux(1, 22, 28); %4% 34: 0 this.segments[5] = 35; %7% 35: 26 element = mux(0, 36, 17); %4% 36: 25 element = mux(1, 24, 7); %4% 37: 0 this.segments[6] = 38; %7% 38: 28 element = mux(0, 39, 40); %4% 39: 27 element = mux(1, 18, 12); %4% 40: 29 element = mux(1, 10, 7); %4% end: blocks: 0: main 1 "Decoder" "" 4 7 digit[0]:0 digit[1]:1 digit[2]:2 digit[3]:3 segments[0]:4 segments[1]:13 segments[2]:19 segments[3]:25 segments[4]:30 segments[5]:34 segments[6]:37; %0% 1: root; 2: logic 3 "get"; %6% 3: logic 4 "get"; %6% 4: logic 5 "get"; %6% 5: logic 0 "get"; %6% 6: logic 7 "get"; %6% 7: logic 5 "get"; %6% 8: logic 9 "get"; %6% 9: logic 10 "get"; %6% 10: logic 0 "get"; %6% 11: logic 12 "get"; %6% 12: logic 10 "get"; %6% 13: logic 14 "get"; %6% 14: logic 15 "get"; %6% 15: logic 0 "get"; %6% 16: logic 17 "get"; %6% 17: logic 15 "get"; %6% 18: logic 19 "get"; %6% 19: logic 20 "get"; %6% 20: logic 0 "get"; %6% 21: logic 20 "get"; %6% 22: logic 23 "get"; %6% 23: logic 0 "get"; %6% 24: logic 23 "get"; %6% 25: logic 26 "get"; %6% 26: logic 0 "get"; %6% 27: logic 28 "get"; %6% 28: logic 0 "get"; %6% 29: logic 28 "get"; %6% end: pragmas: 0: %loc: 1:45.1-45.16 % 1: %file: "." "decoder.jzz" % 2: %loc: 1:37.7-37.10 % 3: %loc: 1:38.7-38.9 % 4: %loc: 5:156.42-158.71 % 5: %file: "/udir/bourdonc/jazz/packages/jazz/circuit/bdd" "Bdd.jzz" % 6: %loc: 5:156.27-158.72 % 7: %loc: 1:41.3-41.10 % end: %% Execution: 4.86 s (4.86 s real)