traffic.saf

这个是用verilog语言编写的基于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/实战训练5 交通灯控制器/traffic.saf"
# Created On: "06/02/2008 15:37:34"
# 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>]<;>

 ACOUNT[0] 0x3 0 0;
 ACOUNT[1] 0x3 0 0;
 ACOUNT[2] 0x3 0 0;
 ACOUNT[3] 0x3 1e+006 0.99;
 ACOUNT[4] 0x3 0 0;
 ACOUNT[5] 0x3 1e+006 0.99;
 ACOUNT[6] 0x3 0 0;
 ACOUNT[7] 0x3 0 0;
 BCOUNT[0] 0x3 1e+006 0.99;
 BCOUNT[1] 0x3 0 0;
 BCOUNT[2] 0x3 0 0;
 BCOUNT[3] 0x3 0 0;
 BCOUNT[4] 0x3 0 0;
 BCOUNT[5] 0x3 0 0;
 BCOUNT[6] 0x3 1e+006 0.99;
 BCOUNT[7] 0x3 0 0;
 CLK 0x3 9.9e+007 0.5;
 EN 0x3 2e+006 0.01;
 LAMPA[0] 0x3 0 0;
 LAMPA[0]~reg0 0x3 0 0;
 LAMPA[1] 0x3 2e+006 0.02;
 LAMPA[1]~reg0 0x3 2e+006 0.02;
 LAMPA[2] 0x3 0 0;
 LAMPA[2]~reg0 0x3 0 0;
 LAMPA[3] 0x3 1e+006 0.97;
 LAMPA[3]~reg0 0x3 1e+006 0.97;
 LAMPA~0 0x3 2e+006 0.02;
 LAMPA~1 0x3 0 0;
 LAMPA~2 0x3 0 0;
 LAMPA~3 0x3 0 1;
 LAMPA~4 0x3 0 0;
 LAMPA~5 0x3 2e+006 0.99;
 LAMPA~6 0x3 0 0;
 LAMPA~7 0x3 2e+006 0.01;
 LAMPA~8 0x3 0 0;
 LAMPB[0] 0x3 0 0;
 LAMPB[0]~reg0 0x3 0 0;
 LAMPB[1] 0x3 0 0;
 LAMPB[1]~reg0 0x3 0 0;
 LAMPB[2] 0x3 0 0;
 LAMPB[2]~reg0 0x3 0 0;
 LAMPB[3] 0x3 1e+006 0.99;
 LAMPB[3]~reg0 0x3 1e+006 0.99;
 LAMPB~0 0x3 0 0;
 LAMPB~1 0x3 0 1;
 LAMPB~2 0x3 0 0;
 LAMPB~3 0x3 0 0;
 LAMPB~4 0x3 0 0;
 LAMPB~5 0x3 0 1;
 LAMPB~6 0x3 0 0;
 LAMPB~7 0x3 0 0;
 LAMPB~8 0x3 0 0;
 LessThan~66 0x3 0 0;
 LessThan~67 0x3 0 0;
 LessThan~68 0x3 1e+006 0.99;
 LessThan~69 0x3 0 0;
 LessThan~70 0x3 1e+006 0.99;
 LessThan~71 0x3 1e+006 0.99;
 LessThan~72 0x3 1e+006 0.99;
 LessThan~73 0x3 0 0;
 LessThan~74 0x3 1e+006 0.99;
 LessThan~75 0x3 1e+006 0.99;
 LessThan~76 0x3 1e+006 0.99;
 LessThan~77 0x3 1e+006 0.99;
 LessThan~78 0x3 0 0;
 LessThan~79 0x3 0 0;
 LessThan~80 0x3 0 0;
 LessThan~81 0x3 0 0;
 LessThan~82 0x3 0 0;
 LessThan~83 0x3 0 0;
 LessThan~84 0x3 0 0;
 LessThan~85 0x3 0 0;
 LessThan~86 0x3 1e+006 0.99;
 LessThan~87 0x3 0 0;
 LessThan~88 0x3 1e+006 0.99;
 LessThan~89 0x3 1e+006 0.99;
 Select~30 0x3 2e+006 0.98;
 Select~31 0x3 2e+006 0.98;
 Select~32 0x3 0 0;
 Select~33 0x3 2e+006 0.02;
 Select~34 0x3 2e+006 0.02;
 lpm_add_sub:add_rtl_0;
  addcore:adder;
   _~0 0x3 0 1;
   _~1 0x3 0 1;
   _~2 0x3 0 0;
   _~3 0x3 0 1;
   _~4 0x3 0 0;
   _~5 0x3 0 0;
   _~6 0x3 1e+006 0.99;
   _~7 0x3 0 0;
   _~8 0x3 0 1;
   _~9 0x3 0 1;
   _~10 0x3 0 1;
   _~11 0x3 0 0;
   _~12 0x3 1e+006 0.99;
   _~13 0x3 1e+006 0.99;
   _~14 0x3 0 0;
   _~15 0x3 0 0;
   _~16 0x3 1e+006 0.99;
   _~17 0x3 1e+006 0.99;
   _~18 0x3 1e+006 0.99;
   _~19 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 1;
   datab_node[3] 0x3 0 1;
   datab_node[4] 0x3 0 1;
   datab_node[4]~1 0x3 0 0;
   a_csnbuffer:oflow_node;
   a_csnbuffer:result_node;
    cout[0] 0x3 0 1;
    cout[1] 0x3 0 0;
    cout[2] 0x3 1e+006 0.99;
    cout[3] 0x3 1e+006 0.99;
    cout[4] 0x3 1e+006 0.99;
    cs_buffer[0] 0x3 0 0;
    cs_buffer[1] 0x3 0 1;
    cs_buffer[2] 0x3 1e+006 0.01;
    cs_buffer[3] 0x3 1e+006 0.01;
    cs_buffer[4] 0x3 1e+006 0.01;
   unreg_res_node[0] 0x3 0 0;
   unreg_res_node[0]~0 0x3 0 0;
   unreg_res_node[1] 0x3 0 1;
   unreg_res_node[1]~4 0x3 0 0;
   unreg_res_node[2] 0x3 1e+006 0.01;
   unreg_res_node[2]~3 0x3 1e+006 0.01;
   unreg_res_node[3] 0x3 1e+006 0.01;
   unreg_res_node[3]~2 0x3 0 1;
   unreg_res_node[4] 0x3 1e+006 0.01;
   unreg_res_node[4]~1 0x3 0 1;
  altshift:carry_ext_latency_ffs;
  altshift:oflow_ext_latency_ffs;
  altshift:result_ext_latency_ffs;
  result_node[1] 0x3 0 1;
  result_node[2] 0x3 1e+006 0.01;
  result_node[3] 0x3 1e+006 0.01;
  result_node[4] 0x3 1e+006 0.01;
 lpm_add_sub:add_rtl_1;
  addcore:adder;
   _~0 0x3 0 1;
   _~1 0x3 0 1;
   _~2 0x3 0 0;
   _~3 0x3 0 1;
   _~4 0x3 1e+006 0.99;
   _~5 0x3 0 0;
   _~6 0x3 0 0;
   _~7 0x3 0 0;
   _~8 0x3 0 1;
   _~9 0x3 0 1;
   _~10 0x3 0 1;
   _~11 0x3 0 0;
   _~12 0x3 0 0;
   _~13 0x3 0 0;
   _~14 0x3 0 0;
   _~15 0x3 0 0;
   _~16 0x3 1e+006 0.99;
   _~17 0x3 0 0;
   _~18 0x3 0 0;
   _~19 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 1;
   datab_node[3] 0x3 0 1;
   datab_node[4] 0x3 0 1;
   datab_node[4]~1 0x3 0 0;
   a_csnbuffer:oflow_node;
   a_csnbuffer:result_node;
    cout[0] 0x3 0 1;
    cout[1] 0x3 0 0;
    cout[2] 0x3 0 0;
    cout[3] 0x3 0 0;
    cout[4] 0x3 1e+006 0.99;
    cs_buffer[0] 0x3 0 0;
    cs_buffer[1] 0x3 0 1;
    cs_buffer[2] 0x3 0 1;
    cs_buffer[3] 0x3 0 1;
    cs_buffer[4] 0x3 1e+006 0.01;
   unreg_res_node[0] 0x3 0 0;
   unreg_res_node[0]~0 0x3 0 0;
   unreg_res_node[1] 0x3 0 1;
   unreg_res_node[1]~4 0x3 0 0;
   unreg_res_node[2] 0x3 0 1;
   unreg_res_node[2]~3 0x3 0 1;
   unreg_res_node[3] 0x3 0 1;
   unreg_res_node[3]~2 0x3 0 1;
   unreg_res_node[4] 0x3 1e+006 0.01;
   unreg_res_node[4]~1 0x3 1e+006 0.01;
  altshift:carry_ext_latency_ffs;
  altshift:oflow_ext_latency_ffs;
  altshift:result_ext_latency_ffs;
  result_node[1] 0x3 0 1;
  result_node[2] 0x3 0 1;
  result_node[3] 0x3 0 1;
  result_node[4] 0x3 1e+006 0.01;
 lpm_add_sub:add_rtl_2;
  addcore:adder;
   _~0 0x3 0 1;
   _~1 0x3 0 1;
   _~2 0x3 0 0;
   _~3 0x3 0 1;
   _~4 0x3 0 0;
   _~5 0x3 1e+006 0.99;
   _~6 0x3 0 0;
   _~7 0x3 0 0;
   _~8 0x3 0 1;
   _~9 0x3 0 1;
   _~10 0x3 0 1;
   _~11 0x3 0 0;
   _~12 0x3 1e+006 0.99;
   _~13 0x3 0 0;
   _~14 0x3 0 0;
   _~15 0x3 0 0;
   _~16 0x3 1e+006 0.99;
   _~17 0x3 1e+006 0.99;
   _~18 0x3 0 0;
   _~19 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 1;
   datab_node[3] 0x3 0 1;
   datab_node[4] 0x3 0 1;
   datab_node[4]~1 0x3 0 0;
   a_csnbuffer:oflow_node;
   a_csnbuffer:result_node;
    cout[0] 0x3 0 1;
    cout[1] 0x3 0 0;
    cout[2] 0x3 0 0;
    cout[3] 0x3 1e+006 0.99;
    cout[4] 0x3 1e+006 0.99;
    cs_buffer[0] 0x3 0 0;
    cs_buffer[1] 0x3 0 1;
    cs_buffer[2] 0x3 0 1;
    cs_buffer[3] 0x3 1e+006 0.01;
    cs_buffer[4] 0x3 1e+006 0.01;
   unreg_res_node[0] 0x3 0 0;
   unreg_res_node[0]~0 0x3 0 0;
   unreg_res_node[1] 0x3 0 1;
   unreg_res_node[1]~4 0x3 0 0;
   unreg_res_node[2] 0x3 0 1;
   unreg_res_node[2]~3 0x3 0 1;
   unreg_res_node[3] 0x3 1e+006 0.01;
   unreg_res_node[3]~2 0x3 1e+006 0.01;
   unreg_res_node[4] 0x3 1e+006 0.01;
   unreg_res_node[4]~1 0x3 0 1;
  altshift:carry_ext_latency_ffs;
  altshift:oflow_ext_latency_ffs;
  altshift:result_ext_latency_ffs;
  result_node[1] 0x3 0 1;
  result_node[2] 0x3 0 1;
  result_node[3] 0x3 1e+006 0.01;
  result_node[4] 0x3 1e+006 0.01;
 lpm_add_sub:add_rtl_3;
  addcore:adder;
   _~0 0x3 0 1;
   _~1 0x3 0 1;
   _~2 0x3 0 0;
   _~3 0x3 0 1;
   _~4 0x3 0 0;
   _~5 0x3 0 0;
   _~6 0x3 0 0;
   _~7 0x3 0 0;
   _~8 0x3 0 1;
   _~9 0x3 0 1;
   _~10 0x3 0 1;
   _~11 0x3 1e+006 0.99;
   _~12 0x3 1e+006 0.99;
   _~13 0x3 1e+006 0.99;
   _~14 0x3 1e+006 0.99;
   _~15 0x3 1e+006 0.99;
   _~16 0x3 1e+006 0.99;
   _~17 0x3 1e+006 0.99;
   _~18 0x3 1e+006 0.99;
   _~19 0x3 1e+006 0.99;
   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 1;
   datab_node[3] 0x3 0 1;
   datab_node[4] 0x3 0 1;
   datab_node[4]~1 0x3 0 0;
   a_csnbuffer:oflow_node;
   a_csnbuffer:result_node;
    cout[0] 0x3 0 1;
    cout[1] 0x3 1e+006 0.99;
    cout[2] 0x3 1e+006 0.99;
    cout[3] 0x3 1e+006 0.99;
    cout[4] 0x3 1e+006 0.99;
    cs_buffer[0] 0x3 0 0;
    cs_buffer[1] 0x3 1e+006 0.01;
    cs_buffer[2] 0x3 1e+006 0.01;
    cs_buffer[3] 0x3 1e+006 0.01;
    cs_buffer[4] 0x3 1e+006 0.01;
   unreg_res_node[0] 0x3 0 0;
   unreg_res_node[0]~0 0x3 0 0;
   unreg_res_node[1] 0x3 1e+006 0.01;
   unreg_res_node[1]~4 0x3 1e+006 0.99;
   unreg_res_node[2] 0x3 1e+006 0.01;
   unreg_res_node[2]~3 0x3 0 1;
   unreg_res_node[3] 0x3 1e+006 0.01;
   unreg_res_node[3]~2 0x3 0 1;
   unreg_res_node[4] 0x3 1e+006 0.01;
   unreg_res_node[4]~1 0x3 0 1;
  altshift:carry_ext_latency_ffs;
  altshift:oflow_ext_latency_ffs;
  altshift:result_ext_latency_ffs;
  result_node[1] 0x3 1e+006 0.01;
  result_node[2] 0x3 1e+006 0.01;
  result_node[3] 0x3 1e+006 0.01;
  result_node[4] 0x3 1e+006 0.01;
 counta.000 0x3 2e+006 0.98;
 counta.001 0x3 2e+006 0.02;
 counta.010 0x3 0 0;
 counta.011 0x3 0 0;
 counta.100 0x3 0 0;
 counta~0 0x3 0 0;
 counta~1 0x3 0 0;
 counta~2 0x3 0 0;
 counta~3 0x3 0 1;
 counta~4 0x3 0 0;
 counta~5 0x3 0 0;
 counta~6 0x3 0 0;
 counta~7 0x3 0 0;
 counta~8 0x3 2e+006 0.01;
 counta~9 0x3 2e+006 0.99;
 counta~10 0x3 9.9e+007 0.5;
 countb.000 0x3 2e+006 0.98;
 countb.001 0x3 2e+006 0.02;
 countb.010 0x3 0 0;
 countb.011 0x3 0 0;
 countb.100 0x3 0 0;
 countb~0 0x3 0 0;
 countb~1 0x3 0 0;
 countb~2 0x3 0 0;
 countb~3 0x3 0 1;
 countb~4 0x3 0 0;
 countb~5 0x3 0 0;
 countb~6 0x3 0 0;
 countb~7 0x3 0 0;
 countb~8 0x3 2e+006 0.01;
 countb~9 0x3 2e+006 0.99;
 countb~10 0x3 9.9e+007 0.5;
 numa[0] 0x3 0 0;
 numa[1] 0x3 0 0;
 numa[2] 0x3 0 0;
 numa[3] 0x3 1e+006 0.99;
 numa[4] 0x3 0 0;
 numa[5] 0x3 1e+006 0.99;
 numa[6] 0x3 0 0;
 numa[7] 0x3 0 0;
 numa~0 0x3 1e+006 0.01;
 numa~1 0x3 1e+006 0.01;
 numa~2 0x3 0 1;
 numa~3 0x3 1e+006 0.01;
 numa~4 0x3 1e+006 0.01;
 numa~5 0x3 1e+006 0.99;
 numa~6 0x3 1e+006 0.99;
 numa~7 0x3 0 1;
 numa~8 0x3 0 0;
 numa~9 0x3 0 0;
 numa~10 0x3 1e+006 0.99;
 numa~11 0x3 0 0;
 numa~12 0x3 0 0;
 numa~13 0x3 1e+006 0.99;
 numa~14 0x3 1e+006 0.99;
 numa~15 0x3 1e+006 0.99;
 numa~16 0x3 0 0;
 numa~17 0x3 0 0;
 numa~18 0x3 0 1;
 numa~19 0x3 0 0;
 numa~20 0x3 0 0.98;
 numa~21 0x3 2e+006 0.02;
 numa~22 0x3 2e+006 0.02;
 numa~23 0x3 2e+006 0.02;
 numb[0] 0x3 1e+006 0.99;
 numb[1] 0x3 0 0;
 numb[2] 0x3 0 0;
 numb[3] 0x3 0 0;
 numb[4] 0x3 0 0;
 numb[5] 0x3 0 0;
 numb[6] 0x3 1e+006 0.99;
 numb[7] 0x3 0 0;
 numb~0 0x3 1e+006 0.01;
 numb~1 0x3 0 1;
 numb~2 0x3 1e+006 0.01;
 numb~3 0x3 1e+006 0.01;
 numb~4 0x3 1e+006 0.01;
 numb~5 0x3 0 0;
 numb~6 0x3 0 0;
 numb~7 0x3 1e+006 0.01;
 numb~8 0x3 0 0;
 numb~9 0x3 1e+006 0.99;
 numb~10 0x3 0 0;
 numb~11 0x3 0 0;
 numb~12 0x3 0 0;
 numb~13 0x3 0 0;
 numb~14 0x3 0 0;
 numb~15 0x3 0 0;
 numb~16 0x3 0 0;
 numb~17 0x3 0 1;
 numb~18 0x3 0 0;
 numb~19 0x3 0 0;
 numb~20 0x3 0 0;
 numb~21 0x3 0 0;
 numb~22 0x3 0 0;
 numb~23 0x3 0 0.98;
 reduce_nor~0 0x3 1e+006 0.99;
 reduce_nor~1 0x3 0 1;
 reduce_nor~2 0x3 1e+006 0.99;
 reduce_nor~3 0x3 0 1;
 tempa 0x3 2e+006 0.02;
 tempa~0 0x3 2e+006 0.02;
 tempa~1 0x3 0 1;
 tempa~2 0x3 2e+006 0.01;
 tempb 0x3 2e+006 0.02;
 tempb~0 0x3 2e+006 0.02;
 tempb~1 0x3 0 1;
 tempb~2 0x3 2e+006 0.01;

END_OUTPUT_SIGNAL_INFO;

TOGGLE_PERCENTAGE 32.304;

PERCENTAGE_OF_TIME_SIGNALS_IN_UNKNOWN_STATE 5.70071;