counter60.saf

这是我们做的一个作业 摸60计数器

# 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:/My Documents/My Designs/eda/counter60/counter60.saf"
# Created On: "09/14/2006 19:27:31"
# Created By: "Version 5.0 Build 148 04/26/2005 SJ Full Version"
# This file was created by the Quartus(R) II Simulator with glitch filtering enabled.

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 0 0;
 cout 0x3 0 0;
 74390:inst;
  3 0x3 0 0;
  5 0x3 0 0;
  6 0x3 0 0;
  7 0x3 0 0;
  20 0x3 0 0.972959;
  29 0x3 0 0.968837;
  31 0x3 0 0;
  32 0x3 0 0;
  33 0x3 0 0;
  34 0x3 0 0;
 inst2~19 0x3 0 0.974959;
 inst7 0x3 0 0;
 inst7~42 0x3 0 0;
 inst7~43 0x3 0 0.963041;
 q1[0] 0x3 0 0;
 q1[1] 0x3 0 0;
 q1[2] 0x3 0 0;
 q1[3] 0x3 0 0;
 q2[0] 0x3 0 0;
 q2[1] 0x3 0 0;
 q2[2] 0x3 0 0;
 q2[3] 0x3 0 0;

END_OUTPUT_SIGNAL_INFO;

TOGGLE_PERCENTAGE 0;

PERCENTAGE_OF_TIME_SIGNALS_IN_UNKNOWN_STATE 0;