specman_mc_nc.vhd

关于一个Motor Controller示例的E语言验证程序！

  signal sn_str8: sn_string := (others => ' ');
  signal sn_str9: sn_string := (others => ' ');
  signal sn_str10: sn_string := (others => ' ');
  signal sn_str11: sn_string := (others => ' ');
  signal sn_str12: sn_string := (others => ' ');
  signal sn_str13: sn_string := (others => ' ');
  signal sn_str14: sn_string := (others => ' ');
  signal sn_str15: sn_string := (others => ' ');
  signal sn_str16: sn_string := (others => ' ');
  signal sn_str17: sn_string := (others => ' ');
  signal sn_str18: sn_string := (others => ' ');
  signal sn_str19: sn_string := (others => ' ');
  signal sn_str20: sn_string := (others => ' ');
  signal sn_str21: sn_string := (others => ' ');
  signal sn_str22: sn_string := (others => ' ');
  signal sn_str23: sn_string := (others => ' ');
  signal sn_str24: sn_string := (others => ' ');
  signal sn_str25: sn_string := (others => ' ');
  signal sn_str26: sn_string := (others => ' ');
  signal sn_str27: sn_string := (others => ' ');
  signal sn_str28: sn_string := (others => ' ');
  signal sn_str29: sn_string := (others => ' ');
  signal sn_str30: sn_string := (others => ' ');
  signal sn_str31: sn_string := (others => ' ');
  signal sn_str32: sn_string := (others => ' ');
  signal sn_str33: sn_string := (others => ' ');
  signal sn_str34: sn_string := (others => ' ');
  signal sn_str35: sn_string := (others => ' ');
  signal sn_str36: sn_string := (others => ' ');
  signal sn_str37: sn_string := (others => ' ');
  signal sn_str38: sn_string := (others => ' ');
  signal sn_str39: sn_string := (others => ' ');
  signal sn_str40: sn_string := (others => ' ');
  signal sn_str41: sn_string := (others => ' ');
  signal sn_str42: sn_string := (others => ' ');
  signal sn_str43: sn_string := (others => ' ');
  signal sn_str44: sn_string := (others => ' ');
  signal sn_str45: sn_string := (others => ' ');
  signal sn_str46: sn_string := (others => ' ');
  signal sn_str47: sn_string := (others => ' ');
  signal sn_str48: sn_string := (others => ' ');
  signal sn_str49: sn_string := (others => ' ');
  signal sn_str50: sn_string := (others => ' ');
  signal sn_str51: sn_string := (others => ' ');
  signal sn_str52: sn_string := (others => ' ');
  signal sn_str53: sn_string := (others => ' ');
  signal sn_str54: sn_string := (others => ' ');
  signal sn_str55: sn_string := (others => ' ');
  signal sn_str56: sn_string := (others => ' ');
  signal sn_str57: sn_string := (others => ' ');
  signal sn_str58: sn_string := (others => ' ');
  signal sn_str59: sn_string := (others => ' ');
  signal sn_str60: sn_string := (others => ' ');
  signal sn_str61: sn_string := (others => ' ');
  signal sn_str62: sn_string := (others => ' ');
  signal sn_str63: sn_string := (others => ' ');
  signal sn_str64: sn_string := (others => ' ');
  signal sn_str65: sn_string := (others => ' ');
  signal sn_str66: sn_string := (others => ' ');
  signal sn_str67: sn_string := (others => ' ');
  signal sn_str68: sn_string := (others => ' ');
  signal sn_str69: sn_string := (others => ' ');
  signal sn_str70: sn_string := (others => ' ');
  signal sn_str71: sn_string := (others => ' ');
  signal sn_str72: sn_string := (others => ' ');
  signal sn_str73: sn_string := (others => ' ');
  signal sn_str74: sn_string := (others => ' ');
  signal sn_str75: sn_string := (others => ' ');
  signal sn_str76: sn_string := (others => ' ');
  signal sn_str77: sn_string := (others => ' ');
  signal sn_str78: sn_string := (others => ' ');
  signal sn_str79: sn_string := (others => ' ');
  signal sn_str80: sn_string := (others => ' ');
  signal sn_str81: sn_string := (others => ' ');
  signal sn_str82: sn_string := (others => ' ');
  signal sn_str83: sn_string := (others => ' ');
  signal sn_str84: sn_string := (others => ' ');
  signal sn_str85: sn_string := (others => ' ');
  signal sn_str86: sn_string := (others => ' ');
  signal sn_str87: sn_string := (others => ' ');
  signal sn_str88: sn_string := (others => ' ');
  signal sn_str89: sn_string := (others => ' ');
  signal sn_str90: sn_string := (others => ' ');
  signal sn_str91: sn_string := (others => ' ');
  signal sn_str92: sn_string := (others => ' ');
  signal sn_str93: sn_string := (others => ' ');
  signal sn_str94: sn_string := (others => ' ');
  signal sn_str95: sn_string := (others => ' ');
  signal sn_str96: sn_string := (others => ' ');
  signal sn_str97: sn_string := (others => ' ');
  signal sn_str98: sn_string := (others => ' ');
  signal sn_str99: sn_string := (others => ' ');
  signal sn_str100: sn_string := (others => ' ');
  signal sn_str101: sn_string := (others => ' ');
  signal sn_str102: sn_string := (others => ' ');
  signal sn_str103: sn_string := (others => ' ');
  signal sn_str104: sn_string := (others => ' ');
  signal sn_str105: sn_string := (others => ' ');
  signal sn_str106: sn_string := (others => ' ');
  signal sn_str107: sn_string := (others => ' ');
  signal sn_str108: sn_string := (others => ' ');
  signal sn_str109: sn_string := (others => ' ');
  signal sn_str110: sn_string := (others => ' ');
  signal sn_str111: sn_string := (others => ' ');
  signal sn_str112: sn_string := (others => ' ');
  signal sn_str113: sn_string := (others => ' ');
  signal sn_str114: sn_string := (others => ' ');
  signal sn_str115: sn_string := (others => ' ');
  signal sn_str116: sn_string := (others => ' ');
  signal sn_str117: sn_string := (others => ' ');
  signal sn_str118: sn_string := (others => ' ');
  signal sn_str119: sn_string := (others => ' ');
  signal sn_str120: sn_string := (others => ' ');
  signal sn_str121: sn_string := (others => ' ');
  signal sn_str122: sn_string := (others => ' ');
  signal sn_str123: sn_string := (others => ' ');
  signal sn_str124: sn_string := (others => ' ');
  signal sn_str125: sn_string := (others => ' ');
  signal sn_str126: sn_string := (others => ' ');
  signal sn_str127: sn_string := (others => ' ');
  signal sn_str128: sn_string := (others => ' ');
  signal sn_str129: sn_string := (others => ' ');
  signal sn_str130: sn_string := (others => ' ');
  signal sn_str131: sn_string := (others => ' ');
  signal sn_str132: sn_string := (others => ' ');
  signal sn_str133: sn_string := (others => ' ');
  signal sn_str134: sn_string := (others => ' ');
  signal sn_str135: sn_string := (others => ' ');
  signal sn_str136: sn_string := (others => ' ');
  signal sn_str137: sn_string := (others => ' ');
  signal sn_str138: sn_string := (others => ' ');
  signal sn_str139: sn_string := (others => ' ');
  signal sn_str140: sn_string := (others => ' ');
  signal sn_str141: sn_string := (others => ' ');
  signal sn_str142: sn_string := (others => ' ');
  signal sn_str143: sn_string := (others => ' ');
  signal sn_str144: sn_string := (others => ' ');
  signal sn_str145: sn_string := (others => ' ');
  signal sn_str146: sn_string := (others => ' ');
  signal sn_str147: sn_string := (others => ' ');
  signal sn_str148: sn_string := (others => ' ');
  signal sn_str149: sn_string := (others => ' ');
  signal sn_str150: sn_string := (others => ' ');
  signal sn_str151: sn_string := (others => ' ');
  signal sn_str152: sn_string := (others => ' ');
  signal sn_str153: sn_string := (others => ' ');
  signal sn_str154: sn_string := (others => ' ');
  signal sn_str155: sn_string := (others => ' ');
  signal sn_str156: sn_string := (others => ' ');
  signal sn_str157: sn_string := (others => ' ');
  signal sn_str158: sn_string := (others => ' ');
  signal sn_str159: sn_string := (others => ' ');
  signal sn_str160: sn_string := (others => ' ');
  signal sn_str161: sn_string := (others => ' ');
  signal sn_str162: sn_string := (others => ' ');
  signal sn_str163: sn_string := (others => ' ');
  signal sn_str164: sn_string := (others => ' ');
  signal sn_str165: sn_string := (others => ' ');
  signal sn_str166: sn_string := (others => ' ');
  signal sn_str167: sn_string := (others => ' ');
  signal sn_str168: sn_string := (others => ' ');
  signal sn_str169: sn_string := (others => ' ');
  signal sn_str170: sn_string := (others => ' ');
  signal sn_str171: sn_string := (others => ' ');
  signal sn_str172: sn_string := (others => ' ');
  signal sn_str173: sn_string := (others => ' ');
  signal sn_str174: sn_string := (others => ' ');
  signal sn_str175: sn_string := (others => ' ');
  signal sn_str176: sn_string := (others => ' ');
  signal sn_str177: sn_string := (others => ' ');
  signal sn_str178: sn_string := (others => ' ');
  signal sn_str179: sn_string := (others => ' ');
  signal sn_str180: sn_string := (others => ' ');
  signal sn_str181: sn_string := (others => ' ');
  signal sn_str182: sn_string := (others => ' ');
  signal sn_str183: sn_string := (others => ' ');
  signal sn_str184: sn_string := (others => ' ');
  signal sn_str185: sn_string := (others => ' ');
  signal sn_str186: sn_string := (others => ' ');
  signal sn_str187: sn_string := (others => ' ');
  signal sn_str188: sn_string := (others => ' ');
  signal sn_str189: sn_string := (others => ' ');
  signal sn_str190: sn_string := (others => ' ');
  signal sn_str191: sn_string := (others => ' ');
  signal sn_str192: sn_string := (others => ' ');
  signal sn_str193: sn_string := (others => ' ');
  signal sn_str194: sn_string := (others => ' ');
  signal sn_str195: sn_string := (others => ' ');
  signal sn_str196: sn_string := (others => ' ');
  signal sn_str197: sn_string := (others => ' ');
  signal sn_str198: sn_string := (others => ' ');
  signal sn_str199: sn_string := (others => ' ');
  signal sn_str200: sn_string := (others => ' ');
  constant sn_integer_num: integer := 100;
  constant sn_boolean_num: integer := 100;
  constant sn_error_num:integer := 1;
  constant sn_error_len: integer := 80;
  constant sn_message_num: integer := 3;
  constant sn_message_len: integer := 80;
  constant sn_string_num: integer := 200;
  constant sn_string_len: integer := 80;
  constant sn_event_num: integer := 0;
begin 
end arch;
  
  
   library IEEE; 

   use IEEE.std_logic_1164.all;

entity SPECMAN_REFERENCE is
end SPECMAN_REFERENCE;

architecture arch of SPECMAN_REFERENCE is

   component SN
   end component;

   component SN_WAVE
   end component;

   for all: SN use entity work.SPECMAN_FMI(fmi_stub);


   for all: SN_WAVE use entity work.specman_wave_vhdl;

   --Specman stub attributes
   constant sn_version_id: integer := 0;
   constant sn_version_date: integer := 221001;
   constant sn_use_wave: integer := 1;
   signal sn_control: integer := 0;
   signal sn_control_cb: integer := 0;
 begin
   SN_WAVE_INST : SN_WAVE;
   sn_control_cb <= sn_control;
   SN_INST : SN;
 end arch;