specman_mc_nc.vhd

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

-- *****************************************************************
-- Specman Elite VHDL stubs file: specman_nc.vhd
-- Topmost e module: 
-- Generated using seed = 1
-- Date: Mon Jun 14 09:27:31 2004
-- Specman Elite version: 4.2
-- *****************************************************************

entity SPECMAN_FMI is
end SPECMAN_FMI;
architecture fmi_stub of SPECMAN_FMI is
 attribute FOREIGN of fmi_stub: architecture is "SN_C_MODEL:SN_SPECMAN";
begin
end fmi_stub;


library IEEE;
use IEEE.std_logic_1164.all;

entity  specman_wave_vhdl is
end specman_wave_vhdl;

architecture arch of specman_wave_vhdl is 
  type sn_intg_array is array (NATURAL range <>) of integer;
  subtype sn_error_string is string (1 to 80);
  subtype sn_msg_string is string (1 to 80);
  subtype sn_string is string (1 to 80);
  signal sn_intg1: integer;
  signal sn_intg2: integer;
  signal sn_intg3: integer;
  signal sn_intg4: integer;
  signal sn_intg5: integer;
  signal sn_intg6: integer;
  signal sn_intg7: integer;
  signal sn_intg8: integer;
  signal sn_intg9: integer;
  signal sn_intg10: integer;
  signal sn_intg11: integer;
  signal sn_intg12: integer;
  signal sn_intg13: integer;
  signal sn_intg14: integer;
  signal sn_intg15: integer;
  signal sn_intg16: integer;
  signal sn_intg17: integer;
  signal sn_intg18: integer;
  signal sn_intg19: integer;
  signal sn_intg20: integer;
  signal sn_intg21: integer;
  signal sn_intg22: integer;
  signal sn_intg23: integer;
  signal sn_intg24: integer;
  signal sn_intg25: integer;
  signal sn_intg26: integer;
  signal sn_intg27: integer;
  signal sn_intg28: integer;
  signal sn_intg29: integer;
  signal sn_intg30: integer;
  signal sn_intg31: integer;
  signal sn_intg32: integer;
  signal sn_intg33: integer;
  signal sn_intg34: integer;
  signal sn_intg35: integer;
  signal sn_intg36: integer;
  signal sn_intg37: integer;
  signal sn_intg38: integer;
  signal sn_intg39: integer;
  signal sn_intg40: integer;
  signal sn_intg41: integer;
  signal sn_intg42: integer;
  signal sn_intg43: integer;
  signal sn_intg44: integer;
  signal sn_intg45: integer;
  signal sn_intg46: integer;
  signal sn_intg47: integer;
  signal sn_intg48: integer;
  signal sn_intg49: integer;
  signal sn_intg50: integer;
  signal sn_intg51: integer;
  signal sn_intg52: integer;
  signal sn_intg53: integer;
  signal sn_intg54: integer;
  signal sn_intg55: integer;
  signal sn_intg56: integer;
  signal sn_intg57: integer;
  signal sn_intg58: integer;
  signal sn_intg59: integer;
  signal sn_intg60: integer;
  signal sn_intg61: integer;
  signal sn_intg62: integer;
  signal sn_intg63: integer;
  signal sn_intg64: integer;
  signal sn_intg65: integer;
  signal sn_intg66: integer;
  signal sn_intg67: integer;
  signal sn_intg68: integer;
  signal sn_intg69: integer;
  signal sn_intg70: integer;
  signal sn_intg71: integer;
  signal sn_intg72: integer;
  signal sn_intg73: integer;
  signal sn_intg74: integer;
  signal sn_intg75: integer;
  signal sn_intg76: integer;
  signal sn_intg77: integer;
  signal sn_intg78: integer;
  signal sn_intg79: integer;
  signal sn_intg80: integer;
  signal sn_intg81: integer;
  signal sn_intg82: integer;
  signal sn_intg83: integer;
  signal sn_intg84: integer;
  signal sn_intg85: integer;
  signal sn_intg86: integer;
  signal sn_intg87: integer;
  signal sn_intg88: integer;
  signal sn_intg89: integer;
  signal sn_intg90: integer;
  signal sn_intg91: integer;
  signal sn_intg92: integer;
  signal sn_intg93: integer;
  signal sn_intg94: integer;
  signal sn_intg95: integer;
  signal sn_intg96: integer;
  signal sn_intg97: integer;
  signal sn_intg98: integer;
  signal sn_intg99: integer;
  signal sn_intg100: integer;
  signal sn_bool1: std_ulogic;
  signal sn_bool2: std_ulogic;
  signal sn_bool3: std_ulogic;
  signal sn_bool4: std_ulogic;
  signal sn_bool5: std_ulogic;
  signal sn_bool6: std_ulogic;
  signal sn_bool7: std_ulogic;
  signal sn_bool8: std_ulogic;
  signal sn_bool9: std_ulogic;
  signal sn_bool10: std_ulogic;
  signal sn_bool11: std_ulogic;
  signal sn_bool12: std_ulogic;
  signal sn_bool13: std_ulogic;
  signal sn_bool14: std_ulogic;
  signal sn_bool15: std_ulogic;
  signal sn_bool16: std_ulogic;
  signal sn_bool17: std_ulogic;
  signal sn_bool18: std_ulogic;
  signal sn_bool19: std_ulogic;
  signal sn_bool20: std_ulogic;
  signal sn_bool21: std_ulogic;
  signal sn_bool22: std_ulogic;
  signal sn_bool23: std_ulogic;
  signal sn_bool24: std_ulogic;
  signal sn_bool25: std_ulogic;
  signal sn_bool26: std_ulogic;
  signal sn_bool27: std_ulogic;
  signal sn_bool28: std_ulogic;
  signal sn_bool29: std_ulogic;
  signal sn_bool30: std_ulogic;
  signal sn_bool31: std_ulogic;
  signal sn_bool32: std_ulogic;
  signal sn_bool33: std_ulogic;
  signal sn_bool34: std_ulogic;
  signal sn_bool35: std_ulogic;
  signal sn_bool36: std_ulogic;
  signal sn_bool37: std_ulogic;
  signal sn_bool38: std_ulogic;
  signal sn_bool39: std_ulogic;
  signal sn_bool40: std_ulogic;
  signal sn_bool41: std_ulogic;
  signal sn_bool42: std_ulogic;
  signal sn_bool43: std_ulogic;
  signal sn_bool44: std_ulogic;
  signal sn_bool45: std_ulogic;
  signal sn_bool46: std_ulogic;
  signal sn_bool47: std_ulogic;
  signal sn_bool48: std_ulogic;
  signal sn_bool49: std_ulogic;
  signal sn_bool50: std_ulogic;
  signal sn_bool51: std_ulogic;
  signal sn_bool52: std_ulogic;
  signal sn_bool53: std_ulogic;
  signal sn_bool54: std_ulogic;
  signal sn_bool55: std_ulogic;
  signal sn_bool56: std_ulogic;
  signal sn_bool57: std_ulogic;
  signal sn_bool58: std_ulogic;
  signal sn_bool59: std_ulogic;
  signal sn_bool60: std_ulogic;
  signal sn_bool61: std_ulogic;
  signal sn_bool62: std_ulogic;
  signal sn_bool63: std_ulogic;
  signal sn_bool64: std_ulogic;
  signal sn_bool65: std_ulogic;
  signal sn_bool66: std_ulogic;
  signal sn_bool67: std_ulogic;
  signal sn_bool68: std_ulogic;
  signal sn_bool69: std_ulogic;
  signal sn_bool70: std_ulogic;
  signal sn_bool71: std_ulogic;
  signal sn_bool72: std_ulogic;
  signal sn_bool73: std_ulogic;
  signal sn_bool74: std_ulogic;
  signal sn_bool75: std_ulogic;
  signal sn_bool76: std_ulogic;
  signal sn_bool77: std_ulogic;
  signal sn_bool78: std_ulogic;
  signal sn_bool79: std_ulogic;
  signal sn_bool80: std_ulogic;
  signal sn_bool81: std_ulogic;
  signal sn_bool82: std_ulogic;
  signal sn_bool83: std_ulogic;
  signal sn_bool84: std_ulogic;
  signal sn_bool85: std_ulogic;
  signal sn_bool86: std_ulogic;
  signal sn_bool87: std_ulogic;
  signal sn_bool88: std_ulogic;
  signal sn_bool89: std_ulogic;
  signal sn_bool90: std_ulogic;
  signal sn_bool91: std_ulogic;
  signal sn_bool92: std_ulogic;
  signal sn_bool93: std_ulogic;
  signal sn_bool94: std_ulogic;
  signal sn_bool95: std_ulogic;
  signal sn_bool96: std_ulogic;
  signal sn_bool97: std_ulogic;
  signal sn_bool98: std_ulogic;
  signal sn_bool99: std_ulogic;
  signal sn_bool100: std_ulogic;
  signal sn_err_str1: sn_error_string := (others => ' ');
  signal sn_msg_str1: sn_msg_string := (others => ' ');
  signal sn_msg_str2: sn_msg_string := (others => ' ');
  signal sn_msg_str3: sn_msg_string := (others => ' ');
  signal sn_str1: sn_string := (others => ' ');
  signal sn_str2: sn_string := (others => ' ');
  signal sn_str3: sn_string := (others => ' ');
  signal sn_str4: sn_string := (others => ' ');
  signal sn_str5: sn_string := (others => ' ');
  signal sn_str6: sn_string := (others => ' ');
  signal sn_str7: sn_string := (others => ' ');