%% 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)