i2c.rpt

这是我做的I2C的vhdl程序和仿真和下载文件

-- Node name is 'd4' = ':9' 
-- Equation name is 'd4', type is bidir 
d4       = TRI(_LC004,  VCC);
_LC004   = DFFE( _EQ005 $  d4, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ005 = !d4 &  ishift &  shift4 &  state_s2p3 &  _X001
         #  d4 &  ishift & !shift4 &  state_s2p3 &  _X001;
  _X001  = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);

-- Node name is 'd5' = ':7' 
-- Equation name is 'd5', type is bidir 
d5       = TRI(_LC014,  VCC);
_LC014   = DFFE( _EQ006 $  d5, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ006 = !d5 &  ishift &  shift5 &  state_s2p3 &  _X001
         #  d5 &  ishift & !shift5 &  state_s2p3 &  _X001;
  _X001  = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);

-- Node name is 'd6' = ':5' 
-- Equation name is 'd6', type is bidir 
d6       = TRI(_LC003,  VCC);
_LC003   = DFFE( _EQ007 $  d6, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ007 = !d6 &  ishift &  shift6 &  state_s2p3 &  _X001
         #  d6 &  ishift & !shift6 &  state_s2p3 &  _X001;
  _X001  = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);

-- Node name is 'd7' = ':3' 
-- Equation name is 'd7', type is bidir 
d7       = TRI(_LC001,  VCC);
_LC001   = DFFE( _EQ008 $  d7, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ008 = !d7 &  ishift &  shift7 &  state_s2p3 &  _X001
         #  d7 &  ishift & !shift7 &  state_s2p3 &  _X001;
  _X001  = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);

-- Node name is ':113' = 'idcnt0' 
-- Equation name is 'idcnt0', location is LC041, type is buried.
idcnt0   = TFFE(!_EQ009, GLOBAL( clk),  VCC,  VCC,  nreset);
  _EQ009 = !_LC037 &  _X002;
  _X002  = EXP(!idcnt0 &  state~1 &  state~2 & !state~3 &  state~4 & !state~5);

-- Node name is ':112' = 'idcnt1' 
-- Equation name is 'idcnt1', location is LC042, type is buried.
idcnt1   = TFFE(!_EQ010, GLOBAL( clk),  VCC,  VCC,  nreset);
  _EQ010 = !_LC043 &  _X003;
  _X003  = EXP(!idcnt0 & !state~1 & !state~2 &  state~3 &  state~4 & !state~5);

-- Node name is ':111' = 'idcnt2' 
-- Equation name is 'idcnt2', location is LC045, type is buried.
idcnt2   = TFFE(!_EQ011, GLOBAL( clk),  VCC,  VCC,  nreset);
  _EQ011 = !_LC044 &  _X004;
  _X004  = EXP(!idcnt2 &  state~1 &  state~2 & !state~3 &  state~4 & !state~5);

-- Node name is ':30' = 'iload' 
-- Equation name is 'iload', location is LC034, type is buried.
iload    = TFFE( _EQ012, GLOBAL( clk),  VCC,  VCC,  nreset);
  _EQ012 = !iload & !read & !start & !state~1 & !state~2 & !state~3 & 
             !state~4 & !state~5 & !stop
         # !iload & !state~1 & !state~2 &  state~3 & !state~4 & !state~5 & 
             !stop &  write
         # !iload & !read &  state~1 &  state~2 & !state~3 &  state~4 & 
             !state~5;

-- Node name is ':109' = 'iscl' 
-- Equation name is 'iscl', location is LC025, type is buried.
iscl     = DFFE( _EQ013 $  _EQ014, GLOBAL( clk),  VCC,  VCC,  nreset);
  _EQ013 = !_LC026 & !state~1 & !state~2 &  state~3 &  state~4 & !state~5 & 
              _X005 &  _X006
         # !iscl & !_LC026 & !state~2 &  state~3 & !state~4 & !state~5 & 
              _X005 &  _X006
         # !_LC026 &  state~1 &  state~2 &  state~4 & !state~5 &  _X005 & 
              _X006;
  _X005  = EXP(!state~1 & !state~3 & !state~4 & !state~5);
  _X006  = EXP(!iscl &  state~4 &  state~5);
  _EQ014 = !_LC026 &  _X005 &  _X006;
  _X005  = EXP(!state~1 & !state~3 & !state~4 & !state~5);
  _X006  = EXP(!iscl &  state~4 &  state~5);

-- Node name is ':110' = 'isda' 
-- Equation name is 'isda', location is LC052, type is buried.
isda     = DFFE( _EQ015 $  _EQ016, GLOBAL( clk),  VCC,  VCC,  nreset);
  _EQ015 = !_LC023 & !sr &  state~1 &  state~2 &  state~3 & !state~4 &  _X005
         # !_LC023 & !state~1 &  state~3 &  state~4 & !state~5 &  _X005
         # !_LC023 &  state~1 &  state~2 & !state~4 & !state~5 &  _X005;
  _X005  = EXP(!state~1 & !state~3 & !state~4 & !state~5);
  _EQ016 = !_LC023 &  _X005;
  _X005  = EXP(!state~1 & !state~3 & !state~4 & !state~5);

-- Node name is ':29' = 'ishift' 
-- Equation name is 'ishift', location is LC035, type is buried.
ishift   = TFFE( _EQ017, GLOBAL( clk),  VCC,  VCC,  nreset);
  _EQ017 = !ishift &  read & !state~1 & !state~2 &  state~3 & !state~4 & 
             !state~5 & !stop & !write
         # !ishift &  read & !start & !state~1 & !state~2 & !state~3 & 
             !state~4 & !state~5 & !stop
         # !ishift &  read &  state~1 &  state~2 & !state~3 &  state~4 & 
             !state~5;

-- Node name is 'SCL' = ':23' 
-- Equation name is 'SCL', type is bidir 
SCL      = TRI(_LC030,  VCC);
_LC030   = DFFE( sclo $  GND, GLOBAL( clk),  VCC,  nreset,  VCC);

-- Node name is ':27' = 'sclo' 
-- Equation name is 'sclo', location is LC028, type is buried.
sclo     = DFFE( _EQ018 $  _EQ019, GLOBAL( clk),  VCC,  VCC,  nreset);
  _EQ018 = !_LC026 & !state~1 & !state~2 &  state~3 &  state~4 & !state~5 & 
              _X005 &  _X006
         # !iscl & !_LC026 & !state~2 &  state~3 & !state~4 & !state~5 & 
              _X005 &  _X006
         # !_LC026 &  state~1 &  state~2 &  state~4 & !state~5 &  _X005 & 
              _X006;
  _X005  = EXP(!state~1 & !state~3 & !state~4 & !state~5);
  _X006  = EXP(!iscl &  state~4 &  state~5);
  _EQ019 = !_LC026 &  _X005 &  _X006;
  _X005  = EXP(!state~1 & !state~3 & !state~4 & !state~5);
  _X006  = EXP(!iscl &  state~4 &  state~5);

-- Node name is 'SDA' = ':25' 
-- Equation name is 'SDA', type is bidir 
SDA      = TRI(_LC033,  VCC);
_LC033   = DFFE( sdao $  GND, GLOBAL( clk),  VCC,  nreset,  VCC);

-- Node name is ':28' = 'sdao' 
-- Equation name is 'sdao', location is LC063, type is buried.
sdao     = DFFE( _EQ020 $  _EQ021, GLOBAL( clk),  VCC,  VCC,  nreset);
  _EQ020 = !_LC023 & !sr &  state~1 &  state~2 &  state~3 & !state~4 &  _X005
         # !_LC023 & !state~1 &  state~3 &  state~4 & !state~5 &  _X005
         # !_LC023 &  state~1 &  state~2 & !state~4 & !state~5 &  _X005;
  _X005  = EXP(!state~1 & !state~3 & !state~4 & !state~5);
  _EQ021 = !_LC023 &  _X005;
  _X005  = EXP(!state~1 & !state~3 & !state~4 & !state~5);

-- Node name is ':39' = 'shifter0' 
-- Equation name is 'shifter0', location is LC059, type is buried.
shifter0 = DFFE( _EQ022 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ022 =  d0 &  iload
         # !iload &  shifter0;

-- Node name is ':38' = 'shifter1' 
-- Equation name is 'shifter1', location is LC060, type is buried.
shifter1 = DFFE( _EQ023 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ023 =  d1 &  iload
         # !iload &  shifter1;

-- Node name is ':37' = 'shifter2' 
-- Equation name is 'shifter2', location is LC061, type is buried.
shifter2 = DFFE( _EQ024 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ024 =  d2 &  iload
         # !iload &  shifter2;

-- Node name is ':36' = 'shifter3' 
-- Equation name is 'shifter3', location is LC062, type is buried.
shifter3 = DFFE( _EQ025 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ025 =  d3 &  iload
         # !iload &  shifter3;

-- Node name is ':35' = 'shifter4' 
-- Equation name is 'shifter4', location is LC064, type is buried.
shifter4 = DFFE( _EQ026 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ026 =  d4 &  iload
         # !iload &  shifter4;

-- Node name is ':34' = 'shifter5' 
-- Equation name is 'shifter5', location is LC002, type is buried.
shifter5 = DFFE( _EQ027 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ027 =  d5 &  iload
         # !iload &  shifter5;

-- Node name is ':33' = 'shifter6' 
-- Equation name is 'shifter6', location is LC053, type is buried.
shifter6 = DFFE( _EQ028 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ028 =  d6 &  iload
         # !iload &  shifter6;

-- Node name is ':32' = 'shifter7' 
-- Equation name is 'shifter7', location is LC055, type is buried.
shifter7 = DFFE( _EQ029 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ029 =  d7 &  iload
         # !iload &  shifter7;

-- Node name is ':56' = 'shift0' 
-- Equation name is 'shift0', location is LC024, type is buried.
shift0   = DFFE( _EQ030 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ030 =  ishift &  shift1 & !state_s2p0 & !state_s2p1 & !state_s2p2 & 
              state_s2p3
         #  shift0 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
         #  ishift &  shift1 & !state_s2p3 &  _X001
         #  shift0 &  state_s2p3 &  _X001
         #  shift0 &  _X007;
  _X001  = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
  _X007  = EXP( ishift & !shift1);

-- Node name is ':55' = 'shift1' 
-- Equation name is 'shift1', location is LC012, type is buried.
shift1   = DFFE( _EQ031 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ031 =  ishift &  shift2 & !state_s2p0 & !state_s2p1 & !state_s2p2 & 
              state_s2p3
         #  shift1 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
         #  ishift &  shift2 & !state_s2p3 &  _X001
         #  shift1 &  state_s2p3 &  _X001
         #  shift1 &  _X008;
  _X001  = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
  _X008  = EXP( ishift & !shift2);

-- Node name is ':54' = 'shift2' 
-- Equation name is 'shift2', location is LC008, type is buried.
shift2   = DFFE( _EQ032 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ032 =  ishift &  shift3 & !state_s2p0 & !state_s2p1 & !state_s2p2 & 
              state_s2p3
         #  shift2 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
         #  ishift &  shift3 & !state_s2p3 &  _X001
         #  shift2 &  state_s2p3 &  _X001
         #  shift2 &  _X009;
  _X001  = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
  _X009  = EXP( ishift & !shift3);

-- Node name is ':53' = 'shift3' 
-- Equation name is 'shift3', location is LC007, type is buried.
shift3   = DFFE( _EQ033 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ033 =  ishift &  shift4 & !state_s2p0 & !state_s2p1 & !state_s2p2 & 
              state_s2p3
         #  shift3 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
         #  ishift &  shift4 & !state_s2p3 &  _X001
         #  shift3 &  state_s2p3 &  _X001
         #  shift3 &  _X010;
  _X001  = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
  _X010  = EXP( ishift & !shift4);

-- Node name is ':52' = 'shift4' 
-- Equation name is 'shift4', location is LC006, type is buried.
shift4   = DFFE( _EQ034 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ034 =  ishift &  shift5 & !state_s2p0 & !state_s2p1 & !state_s2p2 & 
              state_s2p3
         #  shift4 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
         #  ishift &  shift5 & !state_s2p3 &  _X001
         #  shift4 &  state_s2p3 &  _X001
         #  shift4 &  _X011;
  _X001  = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
  _X011  = EXP( ishift & !shift5);

-- Node name is ':51' = 'shift5' 
-- Equation name is 'shift5', location is LC016, type is buried.
shift5   = DFFE( _EQ035 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ035 =  ishift &  shift6 & !state_s2p0 & !state_s2p1 & !state_s2p2 & 
              state_s2p3
         #  shift5 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
         #  ishift &  shift6 & !state_s2p3 &  _X001
         #  shift5 &  state_s2p3 &  _X001
         #  shift5 &  _X012;
  _X001  = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
  _X012  = EXP( ishift & !shift6);

-- Node name is ':50' = 'shift6' 
-- Equation name is 'shift6', location is LC015, type is buried.
shift6   = DFFE( _EQ036 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ036 =  ishift &  shift7 & !state_s2p0 & !state_s2p1 & !state_s2p2 & 
              state_s2p3
         #  shift6 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
         #  ishift &  shift7 & !state_s2p3 &  _X001
         #  shift6 &  state_s2p3 &  _X001
         #  shift6 &  _X013;
  _X001  = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
  _X013  = EXP( ishift & !shift7);

-- Node name is ':49' = 'shift7' 
-- Equation name is 'shift7', location is LC013, type is buried.
shift7   = DFFE( _EQ037 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ037 =  ishift &  SDA & !state_s2p0 & !state_s2p1 & !state_s2p2 & 
              state_s2p3
         #  shift7 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
         #  ishift &  SDA & !state_s2p3 &  _X001
         #  shift7 &  state_s2p3 &  _X001
         #  shift7 &  _X014;
  _X001  = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
  _X014  = EXP( ishift & !SDA);

-- Node name is ':44' = 'sr' 
-- Equation name is 'sr', location is LC057, type is buried.
sr       = DFFE( _EQ038 $  _EQ039, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ038 = !_LC050 & !shifter1 & !shifter2 & !shifter3 & !shifter4 & 
             !shifter5 & !shifter6 & !shifter7 & !sr & !state_p2s3 &  _X015 & 
              _X016 &  _X017 &  _X018 &  _X019
         #  iload & !_LC050 & !shifter1 &  state_p2s0 &  state_p2s1 & 
              state_p2s2 & !state_p2s3 &  _X015 &  _X016 &  _X017 &  _X018 & 
              _X019
         #  iload & !_LC050 & !shifter5 &  state_p2s0 &  state_p2s1 & 
             !state_p2s2 & !state_p2s3 &  _X015 &  _X016 &  _X017 &  _X018 & 
              _X019
         #  iload & !_LC050 & !shifter2 & !state_p2s0 &  state_p2s1 & 
              state_p2s2 & !state_p2s3 &  _X015 &  _X016 &  _X017 &  _X018 & 
              _X019;
  _X015  = EXP( iload & !state_p2s0 & !state_p2s1 & !state_p2s2 & !state_p2s3);
  _X016  = EXP(!sr &  state_p2s1 &  state_p2s3);
  _X017  = EXP(!sr &  state_p2s2 &  state_p2s3);
  _X018  = EXP(!sr &  state_p2s0 &  state_p2s3);
  _X019  = EXP(!iload & !sr);
  _EQ039 = !_LC050 &  _X015 &  _X016 &  _X017 &  _X018 &  _X019;
  _X015  = EXP( iload & !state_p2s0 & !state_p2s1 & !state_p2s2 & !state_p2s3);
  _X016  = EXP(!sr &  state_p2s1 &  state_p2s3);
  _X017  = EXP(!sr &  state_p2s2 &  state_p2s3);
  _X018  = EXP(!sr &  state_p2s0 &  state_p2s3);
  _X019  = EXP(!iload & !sr);

-- Node name is ':43' = 'state_p2s0' 
-- Equation name is 'state_p2s0', location is LC058, type is buried.
state_p2s0 = DFFE( _EQ040 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ040 =  iload &  nreset &  state_p2s3
         #  iload &  nreset & !state_p2s0
         # !iload &  state_p2s0;

-- Node name is ':42' = 'state_p2s1' 
-- Equation name is 'state_p2s1', location is LC051, type is buried.
state_p2s1 = DFFE( _EQ041 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ041 =  iload &  nreset &  state_p2s0 & !state_p2s1 & !state_p2s3
         #  iload &  nreset & !state_p2s0 &  state_p2s1 & !state_p2s3
         # !iload &  state_p2s1;

-- Node name is ':41' = 'state_p2s2' 
-- Equation name is 'state_p2s2', location is LC054, type is buried.
state_p2s2 = DFFE( _EQ042 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ042 =  iload &  nreset &  state_p2s0 &  state_p2s1 & !state_p2s2 & 
             !state_p2s3
         #  iload &  nreset & !state_p2s0 &  state_p2s1 &  state_p2s2 & 
             !state_p2s3
         #  iload &  nreset & !state_p2s1 &  state_p2s2 & !state_p2s3
         # !iload &  state_p2s2;

-- Node name is ':40' = 'state_p2s3' 
-- Equation name is 'state_p2s3', location is LC056, type is buried.
state_p2s3 = DFFE( _EQ043 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ043 =  iload &  nreset &  state_p2s0 &  state_p2s1 &  state_p2s2 &