paobiao.saf

一个基于FPGA的数字跑表系统的设计

# Copyright (C) 1991-2005 Altera Corporation
# Your use of Altera Corporation's design tools, logic functions 
# and other software and tools, and its AMPP partner logic       
# functions, and any output files any of the foregoing           
# (including device programming or simulation files), and any    
# associated documentation or information are expressly subject  
# to the terms and conditions of the Altera Program License      
# Subscription Agreement, Altera MegaCore Function License       
# Agreement, or other applicable license agreement, including,   
# without limitation, that your use is for the sole purpose of   
# programming logic devices manufactured by Altera and sold by   
# Altera or its authorized distributors.  Please refer to the    
# applicable agreement for further details.

# Signal Activity File Name: "D:/《FPGA系统设计与实战》初稿光盘/第3章_实战训练3,4,5/实战训练3  数字跑表/paobiao.saf"
# Created On: "06/02/2008 15:33:04"
# Created By: "Version 5.0 Build 171 11/03/2005 Service Pack 2 SJ Full Version"
# This file was created by the Quartus(R) II Simulator with glitch filtering disabled.

FORMAT_VERSION 1;

DEFINE_FLAG TOGGLE_RATE_FROM_SIMULATION 0x1;
DEFINE_FLAG STATIC_PROBABILITY_FROM_SIMULATION 0x2;
DEFINE_FLAG TOGGLE_RATE_FROM_USER 0x4;
DEFINE_FLAG STATIC_PROBABILITY_FROM_USER 0x8;
DEFINE_FLAG TOGGLE_RATE_FROM_USER_DEFAULT 0x10;
DEFINE_FLAG STATIC_PROBABILITY_FROM_USER_DEFAULT 0x20;
DEFINE_FLAG TOGGLE_RATE_FROM_VECTORLESS_ESTIMATION 0x40;
DEFINE_FLAG STATIC_PROBABILITY_FROM_VECTORLESS_ESTIMATION 0x80;
DEFINE_FLAG TOGGLE_RATE_ASSUMED_ZERO 0x100;
DEFINE_FLAG TOGGLE_RATE_CLIPPED_TO_MAX 0x200;

BEGIN_OUTPUT_SIGNAL_INFO;

# Output Signal Information Line Format Description:

# <one or more spaces><partial output signal name><spaces>[<flags mask><spaces><toggle rate><spaces><static probability>]<;>

 CLK 0x3 9.9e+007 0.5;
 CLR 0x3 0 0;
 MH[0] 0x3 0 0;
 MH[0]~reg0 0x3 0 0;
 MH[1] 0x3 0 0;
 MH[1]~reg0 0x3 0 0;
 MH[2] 0x3 0 0;
 MH[2]~reg0 0x3 0 0;
 MH[3] 0x3 0 0;
 MH[3]~reg0 0x3 0 0;
 MH~0 0x3 0 0;
 MH~1 0x3 0 0;
 MH~2 0x3 0 0;
 MH~3 0x3 0 1;
 ML[0] 0x3 0 0;
 ML[0]~reg0 0x3 0 0;
 ML[1] 0x3 0 0;
 ML[1]~reg0 0x3 0 0;
 ML[2] 0x3 0 0;
 ML[2]~reg0 0x3 0 0;
 ML[3] 0x3 0 0;
 ML[3]~reg0 0x3 0 0;
 ML~0 0x3 0 0;
 ML~1 0x3 0 0;
 ML~2 0x3 0 0;
 ML~3 0x3 0 1;
 MSH[0] 0x3 5e+006 0.41;
 MSH[0]~10 0x3 1e+007 0.1;
 MSH[0]~reg0 0x3 5e+006 0.41;
 MSH[1] 0x3 2e+006 0.4;
 MSH[1]~9 0x3 1e+007 0.1;
 MSH[1]~reg0 0x3 2e+006 0.4;
 MSH[2] 0x3 1e+006 0.21;
 MSH[2]~8 0x3 1e+007 0.1;
 MSH[2]~reg0 0x3 1e+006 0.21;
 MSH[3] 0x3 0 0;
 MSH[3]~11 0x3 1e+007 0.1;
 MSH[3]~reg0 0x3 0 0;
 MSH~0 0x3 0 0;
 MSH~1 0x3 1e+006 0.41;
 MSH~2 0x3 3e+006 0.41;
 MSH~3 0x3 5e+006 0.59;
 MSL[0] 0x3 5e+007 0.5;
 MSL[0]~reg0 0x3 5e+007 0.5;
 MSL[1] 0x3 2e+007 0.4;
 MSL[1]~reg0 0x3 2e+007 0.4;
 MSL[2] 0x3 1e+007 0.4;
 MSL[2]~reg0 0x3 1e+007 0.4;
 MSL[3] 0x3 1e+007 0.2;
 MSL[3]~reg0 0x3 1e+007 0.2;
 MSL~0 0x3 1e+007 0.2;
 MSL~1 0x3 1e+007 0.4;
 MSL~2 0x3 2e+007 0.4;
 MSL~3 0x3 5e+007 0.5;
 PAUSE 0x3 0 0;
 SH[0] 0x3 0 0;
 SH[0]~reg0 0x3 0 0;
 SH[1] 0x3 0 0;
 SH[1]~reg0 0x3 0 0;
 SH[2] 0x3 0 0;
 SH[2]~reg0 0x3 0 0;
 SH[3] 0x3 0 0;
 SH[3]~reg0 0x3 0 0;
 SH~0 0x3 0 0;
 SH~1 0x3 0 0;
 SH~2 0x3 0 0;
 SH~3 0x3 0 1;
 SL[0] 0x3 0 0;
 SL[0]~reg0 0x3 0 0;
 SL[1] 0x3 0 0;
 SL[1]~reg0 0x3 0 0;
 SL[2] 0x3 0 0;
 SL[2]~reg0 0x3 0 0;
 SL[3] 0x3 0 0;
 SL[3]~reg0 0x3 0 0;
 SL~0 0x3 0 0;
 SL~1 0x3 0 0;
 SL~2 0x3 0 0;
 SL~3 0x3 0 1;
 lpm_add_sub:add_rtl_0;
  addcore:adder;
   _~0 0x3 5e+006 0.41;
   _~1 0x3 0 1;
   _~2 0x3 0 0;
   _~3 0x3 5e+006 0.41;
   _~4 0x3 0 0;
   _~5 0x3 0 0;
   _~6 0x3 0 0;
   _~7 0x3 0 0;
   _~8 0x3 1e+006 0.21;
   _~9 0x3 2e+006 0.4;
   _~10 0x3 0 0;
   _~11 0x3 0 0;
   _~12 0x3 2e+006 0.2;
   _~13 0x3 0 0;
   _~14 0x3 0 0;
   _~15 0x3 2e+006 0.2;
   a_csnbuffer:cout_node;
   datab_node[0] 0x3 0 1;
   datab_node[0]~0 0x3 0 0;
   datab_node[1] 0x3 0 0;
   datab_node[2] 0x3 0 0;
   datab_node[3] 0x3 0 0;
   datab_node[3]~1 0x3 0 0;
   a_csnbuffer:oflow_node;
   a_csnbuffer:result_node;
    cout[0] 0x3 5e+006 0.41;
    cout[1] 0x3 2e+006 0.2;
    cout[2] 0x3 0 0;
    cout[3] 0x3 0 0;
    cs_buffer[0] 0x3 5e+006 0.59;
    cs_buffer[1] 0x3 3e+006 0.41;
    cs_buffer[2] 0x3 1e+006 0.41;
    cs_buffer[3] 0x3 0 0;
   unreg_res_node[0] 0x3 5e+006 0.59;
   unreg_res_node[0]~0 0x3 5e+006 0.59;
   unreg_res_node[1] 0x3 3e+006 0.41;
   unreg_res_node[1]~3 0x3 2e+006 0.4;
   unreg_res_node[2] 0x3 1e+006 0.41;
   unreg_res_node[2]~2 0x3 1e+006 0.21;
   unreg_res_node[3] 0x3 0 0;
   unreg_res_node[3]~1 0x3 0 0;
  altshift:carry_ext_latency_ffs;
  altshift:oflow_ext_latency_ffs;
  altshift:result_ext_latency_ffs;
  result_node[0] 0x3 5e+006 0.59;
  result_node[1] 0x3 3e+006 0.41;
  result_node[2] 0x3 1e+006 0.41;
  result_node[3] 0x3 0 0;
 lpm_add_sub:add_rtl_1;
  addcore:adder;
   _~0 0x3 5e+007 0.5;
   _~1 0x3 0 1;
   _~2 0x3 0 0;
   _~3 0x3 5e+007 0.5;
   _~4 0x3 0 0;
   _~5 0x3 0 0;
   _~6 0x3 0 0;
   _~7 0x3 1e+007 0.2;
   _~8 0x3 1e+007 0.4;
   _~9 0x3 2e+007 0.4;
   _~10 0x3 0 0;
   _~11 0x3 1e+007 0.1;
   _~12 0x3 2e+007 0.2;
   _~13 0x3 0 0;
   _~14 0x3 1e+007 0.1;
   _~15 0x3 2e+007 0.2;
   a_csnbuffer:cout_node;
   datab_node[0] 0x3 0 1;
   datab_node[0]~0 0x3 0 0;
   datab_node[1] 0x3 0 0;
   datab_node[2] 0x3 0 0;
   datab_node[3] 0x3 0 0;
   datab_node[3]~1 0x3 0 0;
   a_csnbuffer:oflow_node;
   a_csnbuffer:result_node;
    cout[0] 0x3 5e+007 0.5;
    cout[1] 0x3 2e+007 0.2;
    cout[2] 0x3 1e+007 0.1;
    cout[3] 0x3 0 0;
    cs_buffer[0] 0x3 5e+007 0.5;
    cs_buffer[1] 0x3 3e+007 0.5;
    cs_buffer[2] 0x3 1e+007 0.4;
    cs_buffer[3] 0x3 1e+007 0.3;
   unreg_res_node[0] 0x3 5e+007 0.5;
   unreg_res_node[0]~0 0x3 5e+007 0.5;
   unreg_res_node[1] 0x3 3e+007 0.5;
   unreg_res_node[1]~3 0x3 2e+007 0.4;
   unreg_res_node[2] 0x3 1e+007 0.4;
   unreg_res_node[2]~2 0x3 1e+007 0.4;
   unreg_res_node[3] 0x3 1e+007 0.3;
   unreg_res_node[3]~1 0x3 1e+007 0.2;
  altshift:carry_ext_latency_ffs;
  altshift:oflow_ext_latency_ffs;
  altshift:result_ext_latency_ffs;
  result_node[0] 0x3 5e+007 0.5;
  result_node[1] 0x3 3e+007 0.5;
  result_node[2] 0x3 1e+007 0.4;
  result_node[3] 0x3 1e+007 0.3;
 lpm_add_sub:add_rtl_2;
  addcore:adder;
   _~0 0x3 0 0;
   _~1 0x3 0 1;
   _~2 0x3 0 0;
   _~3 0x3 0 0;
   _~4 0x3 0 0;
   _~5 0x3 0 0;
   _~6 0x3 0 0;
   _~7 0x3 0 0;
   _~8 0x3 0 0;
   _~9 0x3 0 0;
   _~10 0x3 0 0;
   _~11 0x3 0 0;
   _~12 0x3 0 0;
   _~13 0x3 0 0;
   _~14 0x3 0 0;
   _~15 0x3 0 0;
   a_csnbuffer:cout_node;
   datab_node[0] 0x3 0 1;
   datab_node[0]~0 0x3 0 0;
   datab_node[1] 0x3 0 0;
   datab_node[2] 0x3 0 0;
   datab_node[3] 0x3 0 0;
   datab_node[3]~1 0x3 0 0;
   a_csnbuffer:oflow_node;
   a_csnbuffer:result_node;
    cout[0] 0x3 0 0;
    cout[1] 0x3 0 0;
    cout[2] 0x3 0 0;
    cout[3] 0x3 0 0;
    cs_buffer[0] 0x3 0 1;
    cs_buffer[1] 0x3 0 0;
    cs_buffer[2] 0x3 0 0;
    cs_buffer[3] 0x3 0 0;
   unreg_res_node[0] 0x3 0 1;
   unreg_res_node[0]~0 0x3 0 1;
   unreg_res_node[1] 0x3 0 0;
   unreg_res_node[1]~3 0x3 0 0;
   unreg_res_node[2] 0x3 0 0;
   unreg_res_node[2]~2 0x3 0 0;
   unreg_res_node[3] 0x3 0 0;
   unreg_res_node[3]~1 0x3 0 0;
  altshift:carry_ext_latency_ffs;
  altshift:oflow_ext_latency_ffs;
  altshift:result_ext_latency_ffs;
  result_node[0] 0x3 0 1;
  result_node[1] 0x3 0 0;
  result_node[2] 0x3 0 0;
  result_node[3] 0x3 0 0;
 lpm_add_sub:add_rtl_3;
  addcore:adder;
   _~0 0x3 0 0;
   _~1 0x3 0 1;
   _~2 0x3 0 0;
   _~3 0x3 0 0;
   _~4 0x3 0 0;
   _~5 0x3 0 0;
   _~6 0x3 0 0;
   _~7 0x3 0 0;
   _~8 0x3 0 0;
   _~9 0x3 0 0;
   _~10 0x3 0 0;
   _~11 0x3 0 0;
   _~12 0x3 0 0;
   _~13 0x3 0 0;
   _~14 0x3 0 0;
   _~15 0x3 0 0;
   a_csnbuffer:cout_node;
   datab_node[0] 0x3 0 1;
   datab_node[0]~0 0x3 0 0;
   datab_node[1] 0x3 0 0;
   datab_node[2] 0x3 0 0;
   datab_node[3] 0x3 0 0;
   datab_node[3]~1 0x3 0 0;
   a_csnbuffer:oflow_node;
   a_csnbuffer:result_node;
    cout[0] 0x3 0 0;
    cout[1] 0x3 0 0;
    cout[2] 0x3 0 0;
    cout[3] 0x3 0 0;
    cs_buffer[0] 0x3 0 1;
    cs_buffer[1] 0x3 0 0;
    cs_buffer[2] 0x3 0 0;
    cs_buffer[3] 0x3 0 0;
   unreg_res_node[0] 0x3 0 1;
   unreg_res_node[0]~0 0x3 0 1;
   unreg_res_node[1] 0x3 0 0;
   unreg_res_node[1]~3 0x3 0 0;
   unreg_res_node[2] 0x3 0 0;
   unreg_res_node[2]~2 0x3 0 0;
   unreg_res_node[3] 0x3 0 0;
   unreg_res_node[3]~1 0x3 0 0;
  altshift:carry_ext_latency_ffs;
  altshift:oflow_ext_latency_ffs;
  altshift:result_ext_latency_ffs;
  result_node[0] 0x3 0 1;
  result_node[1] 0x3 0 0;
  result_node[2] 0x3 0 0;
  result_node[3] 0x3 0 0;
 lpm_add_sub:add_rtl_4;
  addcore:adder;
   _~0 0x3 0 0;
   _~1 0x3 0 1;
   _~2 0x3 0 0;
   _~3 0x3 0 0;
   _~4 0x3 0 0;
   _~5 0x3 0 0;
   _~6 0x3 0 0;
   _~7 0x3 0 0;
   _~8 0x3 0 0;
   _~9 0x3 0 0;
   _~10 0x3 0 0;
   _~11 0x3 0 0;
   _~12 0x3 0 0;
   _~13 0x3 0 0;
   _~14 0x3 0 0;
   _~15 0x3 0 0;
   a_csnbuffer:cout_node;
   datab_node[0] 0x3 0 1;
   datab_node[0]~0 0x3 0 0;
   datab_node[1] 0x3 0 0;
   datab_node[2] 0x3 0 0;
   datab_node[3] 0x3 0 0;
   datab_node[3]~1 0x3 0 0;
   a_csnbuffer:oflow_node;
   a_csnbuffer:result_node;
    cout[0] 0x3 0 0;
    cout[1] 0x3 0 0;
    cout[2] 0x3 0 0;
    cout[3] 0x3 0 0;
    cs_buffer[0] 0x3 0 1;
    cs_buffer[1] 0x3 0 0;
    cs_buffer[2] 0x3 0 0;
    cs_buffer[3] 0x3 0 0;
   unreg_res_node[0] 0x3 0 1;
   unreg_res_node[0]~0 0x3 0 1;
   unreg_res_node[1] 0x3 0 0;
   unreg_res_node[1]~3 0x3 0 0;
   unreg_res_node[2] 0x3 0 0;
   unreg_res_node[2]~2 0x3 0 0;
   unreg_res_node[3] 0x3 0 0;
   unreg_res_node[3]~1 0x3 0 0;
  altshift:carry_ext_latency_ffs;
  altshift:oflow_ext_latency_ffs;
  altshift:result_ext_latency_ffs;
  result_node[0] 0x3 0 1;
  result_node[1] 0x3 0 0;
  result_node[2] 0x3 0 0;
  result_node[3] 0x3 0 0;
 lpm_add_sub:add_rtl_5;
  addcore:adder;
   _~0 0x3 0 0;
   _~1 0x3 0 1;
   _~2 0x3 0 0;
   _~3 0x3 0 0;
   _~4 0x3 0 0;
   _~5 0x3 0 0;
   _~6 0x3 0 0;
   _~7 0x3 0 0;
   _~8 0x3 0 0;
   _~9 0x3 0 0;
   _~10 0x3 0 0;
   _~11 0x3 0 0;
   _~12 0x3 0 0;
   _~13 0x3 0 0;
   _~14 0x3 0 0;
   _~15 0x3 0 0;
   a_csnbuffer:cout_node;
   datab_node[0] 0x3 0 1;
   datab_node[0]~0 0x3 0 0;
   datab_node[1] 0x3 0 0;
   datab_node[2] 0x3 0 0;
   datab_node[3] 0x3 0 0;
   datab_node[3]~1 0x3 0 0;
   a_csnbuffer:oflow_node;
   a_csnbuffer:result_node;
    cout[0] 0x3 0 0;
    cout[1] 0x3 0 0;
    cout[2] 0x3 0 0;
    cout[3] 0x3 0 0;
    cs_buffer[0] 0x3 0 1;
    cs_buffer[1] 0x3 0 0;
    cs_buffer[2] 0x3 0 0;
    cs_buffer[3] 0x3 0 0;
   unreg_res_node[0] 0x3 0 1;
   unreg_res_node[0]~0 0x3 0 1;
   unreg_res_node[1] 0x3 0 0;
   unreg_res_node[1]~3 0x3 0 0;
   unreg_res_node[2] 0x3 0 0;
   unreg_res_node[2]~2 0x3 0 0;
   unreg_res_node[3] 0x3 0 0;
   unreg_res_node[3]~1 0x3 0 0;
  altshift:carry_ext_latency_ffs;
  altshift:oflow_ext_latency_ffs;
  altshift:result_ext_latency_ffs;
  result_node[0] 0x3 0 1;
  result_node[1] 0x3 0 0;
  result_node[2] 0x3 0 0;
  result_node[3] 0x3 0 0;
 cn1 0x3 0 0;
 cn1~0 0x3 0 0;
 cn1~1 0x3 0 0;
 cn2 0x3 0 0;
 cn2~0 0x3 0 0;
 cn2~1 0x3 0 0;
 reduce_nor~0 0x3 1e+007 0.9;
 reduce_nor~1 0x3 0 1;
 reduce_nor~2 0x3 0 1;
 reduce_nor~3 0x3 0 1;
 reduce_nor~4 0x3 0 1;
 reduce_nor~5 0x3 0 1;

END_OUTPUT_SIGNAL_INFO;

TOGGLE_PERCENTAGE 20.1072;

PERCENTAGE_OF_TIME_SIGNALS_IN_UNKNOWN_STATE 6.43432;