--- VHDL generated by LogSynth framework (c) Petr Fiser
Library IEEE;
use IEEE.std_logic_1164.all;

entity top is 
  Port (
    pi11,pi09,pi02,pi00,pi10,pi12,pi01,pi06,pi05,pi04,pi03,pi08,pi07: in std_logic;
    po00,po01,po02,po03,po06,po08,po09,po10,po11,po12: inout std_logic
  );
end top;

architecture top_behav of top is
signal n42,n43,n44,n45,n46,n47,n48,n49,n50,n51,n52,n53,n54,n55,n56,n57,n58,n59: std_logic;
begin
    po00 <= ( not n42 );
    po01 <= ( not n43 );
    po02 <= ( not n44 );
    po03 <= ( not pi11 )
      or ( not pi09 )
      or ( not n45 );
    po06 <= ( not pi02 and not n48 )
      or ( not n46 and not n48 )
      or ( not n47 and not n48 );
    po08 <= ( not pi00 )
      or ( pi10 )
      or ( not n49 );
    po09 <= ( pi12 and not n50 )
      or ( not pi11 and not n50 );
    po10 <= ( pi12 and pi11 and not n51 );
    po11 <= ( not pi01 and pi11 and not n53 )
      or ( not n52 and pi11 and not n53 );
    po12 <= ( pi12 and pi11 and not n54 );
    n42 <= ( not pi12 and not pi11 and not pi01 );
    n43 <= ( pi12 and not pi11 );
    n44 <= ( pi12 and pi11 and not n58 );
    n45 <= ( not pi06 and pi12 )
      or ( not pi05 and pi12 )
      or ( not n59 and pi12 );
    n46 <= ( pi04 and pi03 );
    n47 <= ( not pi12 )
      or ( pi11 );
    n48 <= ( not pi09 )
      or ( not pi01 );
    n49 <= ( not pi03 and pi11 )
      or ( not pi02 and pi11 )
      or ( not n55 and pi11 );
    n50 <= ( pi10 )
      or ( not pi00 )
      or ( not pi11 and pi12 );
    n51 <= ( pi10 )
      or ( not n56 );
    n52 <= ( not pi09 )
      or ( not pi12 )
      or ( pi02 and pi03 and pi04 );
    n53 <= ( pi10 )
      or ( not pi00 )
      or ( not pi01 and pi12 );
    n54 <= ( pi10 )
      or ( pi09 )
      or ( not pi00 );
    n55 <= ( pi12 and pi09 and pi04 );
    n56 <= ( not pi02 and pi09 and pi00 )
      or ( not pi03 and pi09 and pi00 )
      or ( not pi04 and pi09 and pi00 );
    n57 <= ( pi09 and pi08 and pi07 );
    n58 <= ( not pi06 )
      or ( not pi05 )
      or ( not n57 );
    n59 <= ( pi08 and pi07 );
end top_behav;
