module fpence
title 'Fixed-point to Floating-point Encoder' 
" FPENCE device 'P20L8'; 

" Input and output pins 
B10..B0                      pin 1..11;
E2..E0, M3..M0               pin 21..15 istype 'com';

" Intermediate equations 
S7 = B10; 
S6 = !B10 & B9; 
S5 = !B10 & !B9 & B8; 
S4 = !B10 & !B9 & !B8 & B7; 
S3 = !B10 & !B9 & !B8 & !B7 & B6; 
S2 = !B10 & !B9 & !B8 & !B7 & !B6 & B5; 
S1 = !B10 & !B9 & !B8 & !B7 & !B6 & !B5 & B4; 
S0 = !B10 & !B9 & !B8 & !B7 & !B6 & !B5 & !B4;

equations

E2 = S7 # S6 # S5 # S4; 
E1 = S7 # S6 # S3 # S2; 
E0 = S7 # S5 # S3 # S1;

[M3..M0] = S0 & [B3..B0] # S1 & [B4..B1] # S2 & [B5..B2]
         # S3 & [B6..B3] # S4 & [B7..B4] # S5 & [B8..B5]
         # S6 & [B9..B6] # S7 & [B10..B7];

end fpence