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

entity DFF is
  Port ( D, CLK: in std_logic;
     Q: out std_logic);
end DFF;

architecture Behavior of DFF is
begin
  process(CLK)
  begin
    if CLK'event and CLK = '1' then
      Q <= D;
    end if;
  end process;
end Behavior;

Library IEEE;
use IEEE.std_logic_1164.all;

entity ISCAS__s713 is 
  Port (
    pi00,pi01,pi02,pi03,pi04,pi05,pi06,pi07,pi08,pi09,pi10,pi11,pi12,pi13,pi14,pi15,pi16,pi17,pi18,pi19,pi20,pi21,pi22,pi23,pi24,pi25,pi26,pi27,pi28,pi29,pi30,pi31,pi32, CLK: in std_logic;
    po00,po01,po02,po03,po04,po05,po06,po07,po08,po09,po10,po11,po12,po13,po14,po15,po16,po17,po18,po19,po20: inout std_logic
  );
end ISCAS__s713;

architecture ISCAS__s713_behav of ISCAS__s713 is
component DFF
  Port ( D, CLK: in std_logic;
     Q: out std_logic);
end component;

signal lo00,lo01,lo02,lo03,lo04,lo05,lo06,lo07,lo08,lo09,lo10,lo11,lo12,lo13,lo14,lo15,lo16,lo17,lo18,li00,li01,li02,li03,n125,n126,n127,n128,n129,n130,n131,n132,n133,n134,n138,n139,n140,n141,n142,n143,li18,n149,li08,li07,li04,n153,n154,n155,li17,li16,li06,li05,n162,n163,n164,n165,li11,li15,li10,li09,n172,li12,li13,li14,n176,n177,n178,n179,n180,n181,n182,n183,n184,n185,n186,n187,n188,n189,n190,n191,n192,n193,n194,n195,n196,n197,n198,n199,n200,n201,n202,n203,n204,n205,n206,n207,n208,n209,n210,n211,n212,n213,n214,n215,n216,n217,n218,n219,n220,n221,n222,n223,n224,n225,n226,n227,n228,n229,n230,n231: std_logic;
begin
    DFF0: DFF port map (li00, CLK, lo00);
    DFF1: DFF port map (li01, CLK, lo01);
    DFF2: DFF port map (li02, CLK, lo02);
    DFF3: DFF port map (li03, CLK, lo03);
    DFF4: DFF port map (li04, CLK, lo04);
    DFF5: DFF port map (li05, CLK, lo05);
    DFF6: DFF port map (li06, CLK, lo06);
    DFF7: DFF port map (li07, CLK, lo07);
    DFF8: DFF port map (li08, CLK, lo08);
    DFF9: DFF port map (li09, CLK, lo09);
    DFF10: DFF port map (li10, CLK, lo10);
    DFF11: DFF port map (li11, CLK, lo11);
    DFF12: DFF port map (li12, CLK, lo12);
    DFF13: DFF port map (li13, CLK, lo13);
    DFF14: DFF port map (li14, CLK, lo14);
    DFF15: DFF port map (li15, CLK, lo15);
    DFF16: DFF port map (li16, CLK, lo16);
    DFF17: DFF port map (li17, CLK, lo17);
    DFF18: DFF port map (li18, CLK, lo18);
    po04 <= ( n129 and pi16 );
    po05 <= ( n130 and pi17 );
    po06 <= ( n131 and pi18 );
    po07 <= ( n132 and pi19 );
    po08 <= ( not n163 );
    po09 <= ( not n138 );
    po10 <= ( not n153 );
    po11 <= ( not n139 );
    po12 <= ( not n172 and pi24 );
    po13 <= ( n125 and pi25 );
    li00 <= ( n165 );
    li01 <= ( not pi01 and n143 and not n155 and not n141 );
    li02 <= ( n155 );
    li03 <= ( not pi01 and n141 );
    n125 <= ( pi09 and pi10 and pi11 );
    n126 <= ( not pi03 and lo05 );
    n127 <= ( not pi03 and lo07 );
    n128 <= ( not pi03 and lo09 );
    n129 <= ( not pi03 and lo15 );
    n130 <= ( not pi03 and lo16 );
    n131 <= ( not pi03 and lo17 );
    n132 <= ( not pi03 and lo18 );
    n133 <= not (( not n177 and not n181 and not lo01 ));
    n134 <= not (( not n179 and not lo03 and not n183 ));
    po19 <= not (( n126 and pi31 ));
    po17 <= not (( n127 and pi29 ));
    po15 <= not (( n128 and pi27 ));
    n138 <= ( not n133 and pi21 );
    n139 <= ( not n134 and pi23 );
    n140 <= ( n139 and lo04 );
    n141 <= ( n184 and lo14 );
    n142 <= ( n138 and lo08 );
    n143 <= ( n185 and lo12 );
    po20 <= not (( n140 and pi32 ));
    po03 <= not (( n141 and pi15 ));
    po16 <= not (( n142 and pi28 ));
    po01 <= not (( n143 and pi13 ));
    li18 <= ( not pi01 and n141 );
    n149 <= not (( not n178 and not n194 and not n182 ));
    li08 <= ( not n197 and not n190 );
    li07 <= ( not n196 and not n198 );
    li04 <= ( n140 and not n186 );
    n153 <= ( not n149 and pi22 );
    n154 <= ( n153 and lo06 );
    n155 <= ( n200 and lo13 );
    po18 <= not (( n154 and pi30 ));
    po02 <= not (( n155 and pi14 ));
    li17 <= ( not pi01 and n155 and not n141 );
    li16 <= ( not pi01 and n143 and not n155 and not n141 );
    li06 <= ( not n208 and not n201 );
    li05 <= ( not n207 and not n209 );
    n162 <= not (( not n176 and not n180 and not n211 ));
    n163 <= ( not n162 and pi20 );
    n164 <= ( n163 and lo10 );
    n165 <= ( n212 and lo11 );
    po14 <= not (( n164 and pi26 ));
    po00 <= not (( n165 and pi12 ));
    li11 <= not (( not n217 and not n218 and not n215 ));
    li15 <= ( not n155 and not n141 and n219 );
    li10 <= ( not n223 and not n214 );
    li09 <= ( not n222 and not n224 );
    n172 <= not (( not n195 and not n187 and not n221 and not n231 ));
    li12 <= not (( not n192 and not n193 and not n228 ));
    li13 <= not (( not n204 and not n205 and not n229 ));
    li14 <= not (( not n188 and not n189 and not n230 ));
    n176 <= ( not pi02 and not pi09 );
    n177 <= ( not pi02 and not pi09 );
    n178 <= ( not pi02 and not pi09 );
    n179 <= ( not pi02 and not pi09 );
    n180 <= ( not pi02 and not pi07 and not pi08 and not pi11 );
    n181 <= ( not pi02 and not pi07 and pi08 and not pi11 );
    n182 <= ( not pi02 and pi07 and not pi08 and not pi11 );
    n183 <= ( not pi02 and pi07 and pi08 and not pi11 );
    n184 <= not (( not pi02 and not n139 ));
    n185 <= not (( not pi02 and not n138 ));
    n186 <= ( not n139 and n140 );
    n187 <= ( pi07 and pi08 and n140 and not pi11 );
    n188 <= ( not pi01 and n141 );
    n189 <= ( pi00 and n141 );
    n190 <= ( not n138 and n142 and n127 );
    n191 <= ( not pi07 and pi08 and n142 );
    n192 <= ( not pi01 and n143 );
    n193 <= ( n143 and pi04 );
    n194 <= ( not pi01 and lo02 and not n141 );
    n195 <= ( n127 and not pi11 and n191 );
    n196 <= ( not n142 and not n127 );
    n197 <= ( not n142 and n127 );
    n198 <= ( n138 and not n142 and n127 );
    n199 <= ( not pi01 and lo00 and not n143 );
    n200 <= not (( not pi02 and not n153 ));
    n201 <= ( not n153 and n154 and n126 );
    n202 <= ( pi07 and not pi08 and n154 );
    n203 <= ( n154 and n126 and n140 and not pi09 );
    n204 <= ( not pi01 and n155 );
    n205 <= ( n155 and pi05 );
    n206 <= ( n126 and not pi11 and n202 );
    n207 <= ( not n154 and not n126 );
    n208 <= ( not n154 and n126 );
    n209 <= ( n153 and not n154 and n126 );
    n210 <= ( not n143 and not n155 and not n141 );
    n211 <= ( not n155 and not n141 and n199 );
    n212 <= not (( not pi02 and not n163 ));
    n213 <= ( not pi07 and not pi08 and n164 );
    n214 <= ( not n163 and n164 and n128 );
    n215 <= ( pi06 and n164 and n128 and n210 );
    n216 <= ( n164 and n128 and n142 and n127 );
    n217 <= ( not pi01 and n165 );
    n218 <= ( n165 and pi06 );
    n219 <= ( not pi01 and n165 and not n143 );
    n220 <= ( n128 and not pi11 and n213 );
    n221 <= ( n216 and n203 );
    n222 <= ( not n164 and not n128 );
    n223 <= ( not n164 and n128 );
    n224 <= ( n163 and not n164 and n128 );
    n225 <= ( not n165 and not n155 and not n141 );
    n226 <= ( not n165 and not n143 and not n141 );
    n227 <= ( pi00 and not n165 and not n143 );
    n228 <= ( pi04 and n142 and n127 and n225 );
    n229 <= ( pi05 and n154 and n126 and n226 );
    n230 <= ( not n155 and n140 and n227 );
    n231 <= not (( pi10 and not n220 and not n206 ));
end ISCAS__s713_behav;
