alu.saf

实现16种运算的alu,包括+,-,+1,-1,与或非以及移位比较运算。经调试成功。

# 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:/alu/alu.saf"
# Created On: "05/03/2008 19:51:42"
# 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>]<;>

 A[0] 0x3 100000 0.996682;
 A[0]~134 0x3 200000 0.0009669;
 A[1] 0x3 0 0;
 A[2] 0x3 100000 0.996682;
 A[3] 0x3 0 0;
 A[4] 0x3 100000 0.996682;
 A[5] 0x3 0 0;
 A[6] 0x3 100000 0.996685;
 A[7] 0x3 0 0;
 A[8] 0x3 100000 0.996682;
 A[9] 0x3 0 0;
 A[10] 0x3 0 0;
 A[11] 0x3 0 0;
 A[12] 0x3 0 0;
 A[13] 0x3 0 0;
 A[14] 0x3 0 0;
 A[15] 0x3 0 0;
 add~1666 0x3 200000 0.0019807;
 add~1668 0x3 0 0.999883;
 add~1668COUT1_1941 0x3 0 0.999882;
 add~1671 0x3 0 0;
 add~1672 0x3 100000 0.0033178;
 add~1674 0x3 100000 0.996573;
 add~1674COUT1_1954 0x3 100000 0.996572;
 add~1677 0x3 200000 0.0019807;
 add~1678 0x3 200000 0.0017626;
 add~1680 0x3 100000 0.994562;
 add~1680COUT1_1967 0x3 100000 0.994561;
 add~1683 0x3 100000 0.994504;
 add~1685 0x3 100000 0.994507;
 add~1685COUT1_1942 0x3 100000 0.994506;
 add~1688 0x3 100000 0.0033178;
 add~1690 0x3 100000 0.0033178;
 add~1690COUT1_1955 0x3 100000 0.0033178;
 add~1693 0x3 200000 4.11e-005;
 add~1695 0x3 100000 0.0052859;
 add~1695COUT1_1968 0x3 100000 0.0052861;
 add~1698 0x3 200000 0.999818;
 add~1700 0x3 100000 0.996547;
 add~1703 0x3 300000 0.996489;
 add~1705 0x3 100000 0.994537;
 add~1708 0x3 300000 0.9965;
 add~1710 0x3 100000 0.0053178;
 add~1713 0x3 100000 0.994427;
 add~1715 0x3 0 0.999838;
 add~1715COUT1_1943 0x3 0 0;
 add~1718 0x3 100000 0.0032601;
 add~1720 0x3 0 0.999822;
 add~1720COUT1_1956 0x3 0 0;
 add~1723 0x3 100000 0.994475;
 add~1725 0x3 0 0.999838;
 add~1725COUT1_1969 0x3 0 0.999761;
 add~1728 0x3 200000 0.999672;
 add~1730 0x3 100000 0.996561;
 add~1730COUT1_1957 0x3 0 0.999813;
 add~1733 0x3 200000 0.0020095;
 add~1735 0x3 100000 0.994493;
 add~1735COUT1_1970 0x3 100000 0.994492;
 add~1738 0x3 300000 0.996446;
 add~1740 0x3 200000 0.0020188;
 add~1740COUT1_1944 0x3 0 0.999815;
 add~1743 0x3 100000 0.994427;
 add~1745 0x3 200000 0.997804;
 add~1745COUT1_1945 0x3 0 0;
 add~1748 0x3 100000 0.0032492;
 add~1750 0x3 100000 0.0031985;
 add~1750COUT1_1958 0x3 0 0;
 add~1753 0x3 100000 0.994431;
 add~1755 0x3 0 0.999778;
 add~1755COUT1_1971 0x3 0 0.999777;
 add~1758 0x3 200000 0.99968;
 add~1760 0x3 100000 0.996545;
 add~1760COUT1_1959 0x3 0 0.999797;
 add~1763 0x3 200000 0.0020146;
 add~1765 0x3 100000 0.994482;
 add~1765COUT1_1972 0x3 100000 0.994481;
 add~1768 0x3 300000 0.996411;
 add~1770 0x3 200000 0.0020616;
 add~1770COUT1_1946 0x3 0 0.999799;
 add~1773 0x3 100000 0.994427;
 add~1775 0x3 100000 0.994468;
 add~1778 0x3 100000 0.0031979;
 add~1780 0x3 100000 0.0031899;
 add~1783 0x3 100000 0.99442;
 add~1785 0x3 0 0.999774;
 add~1788 0x3 200000 0.999615;
 add~1790 0x3 0 0.999812;
 add~1790COUT1_1960 0x3 100000 0.996494;
 add~1793 0x3 100000 0.996386;
 add~1795 0x3 100000 0.996389;
 add~1795COUT1_1973 0x3 0 0;
 add~1798 0x3 200000 0.0021073;
 add~1800 0x3 0 0.999693;
 add~1800COUT1_1947 0x3 100000 0.996509;
 add~1803 0x3 100000 0.994512;
 add~1805 0x3 100000 0.994514;
 add~1805COUT1_1948 0x3 200000 0.997831;
 add~1808 0x3 100000 0.0032919;
 add~1810 0x3 0 0;
 add~1810COUT1_1961 0x3 100000 0.0033178;
 add~1813 0x3 100000 0.994475;
 add~1815 0x3 100000 0.0053178;
 add~1815COUT1_1974 0x3 0 0.999794;
 add~1818 0x3 100000 0.0032839;
 add~1820 0x3 0 0.999797;
 add~1820COUT1_1962 0x3 100000 0.996478;
 add~1823 0x3 0 0;
 add~1825 0x3 0 0;
 add~1825COUT1_1975 0x3 0 0;
 add~1828 0x3 100000 0.994454;
 add~1830 0x3 100000 0.0051713;
 add~1830COUT1_1949 0x3 200000 0.0019874;
 add~1833 0x3 100000 0.994446;
 add~1835 0x3 100000 0.994499;
 add~1835COUT1_1950 0x3 200000 0.997815;
 add~1838 0x3 100000 0.0032759;
 add~1840 0x3 0 0;
 add~1840COUT1_1963 0x3 100000 0.0033178;
 add~1843 0x3 0 0;
 add~1845 0x3 0 0.9998;
 add~1845COUT1_1976 0x3 0 0.999799;
 add~1848 0x3 100000 0.0032679;
 add~1850 0x3 100000 0.996513;
 add~1853 0x3 0 0;
 add~1855 0x3 0 0;
 add~1858 0x3 100000 0.994438;
 add~1860 0x3 100000 0.0051713;
 add~1863 0x3 100000 0.994419;
 add~1865 0x3 0 0.999811;
 add~1865COUT1_1951 0x3 0 0;
 add~1868 0x3 100000 0.0032587;
 add~1870 0x3 0 0.999796;
 add~1870COUT1_1964 0x3 0 0;
 add~1873 0x3 0 0;
 add~1875 0x3 0 0.999799;
 add~1875COUT1_1977 0x3 0 0.99978;
 add~1878 0x3 100000 0.0032587;
 add~1880 0x3 0 0;
 add~1880COUT1_1965 0x3 0 0.999787;
 add~1883 0x3 100000 0.994427;
 add~1885 0x3 0 0;
 add~1885COUT1_1978 0x3 0 0;
 add~1888 0x3 200000 7.54e-005;
 add~1890 0x3 0 0;
 add~1890COUT1_1952 0x3 100000 0.005293;
 add~1893 0x3 100000 0.0032587;
 add~1895 0x3 0 0.99978;
 add~1895COUT1_1966 0x3 0 0;
 add~1898 0x3 100000 0.994435;
 add~1900 0x3 0 0.999709;
 add~1900COUT1_1953 0x3 100000 0.994488;
 add~1903 0x3 0 0;
 add~1905 0x3 0 0.999784;
 add~1905COUT1_1979 0x3 0 0.999764;
 add~1908 0x3 100000 0.994427;
 add~1913 0x3 100000 0.0032587;
 add~1918 0x3 100000 0.994299;
 add~1919 0x3 0 0;
 add~1924 0x3 100000 0.994644;
 add~1925 0x3 100000 0.994644;
 add~1926 0x3 100000 0.994644;
 add~1927 0x3 0 0;
 add~1928 0x3 100000 0.994644;
 add~1929 0x3 0 0;
 add~1930 0x3 100000 0.994644;
 add~1931 0x3 0 0;
 add~1932 0x3 0 0;
 add~1933 0x3 100000 0.994644;
 add~1934 0x3 0 0;
 add~1935 0x3 0 0;
 add~1936 0x3 0 0;
 add~1937 0x3 0 0;
 add~1938 0x3 100000 0.994644;
 add~1939 0x3 0 0;
 B[0] 0x3 100000 0.994682;
 B[0]~109 0x3 200000 0.0040135;
 B[1] 0x3 100000 0.994682;
 B[2] 0x3 100000 0.994682;
 B[3] 0x3 0 0;
 B[4] 0x3 100000 0.994682;
 B[5] 0x3 0 0;
 B[6] 0x3 100000 0.994682;
 B[7] 0x3 0 0;
 B[8] 0x3 0 0;
 B[9] 0x3 100000 0.994682;
 B[10] 0x3 0 0;
 B[11] 0x3 0 0;
 B[12] 0x3 0 0;
 B[13] 0x3 0 0;
 B[14] 0x3 100000 0.994682;
 B[15] 0x3 0 0;
 C 0x3 0 0;
 c_tmp 0x3 0 0;
 clk 0x3 9.99e+007 0.5;
 C~reg0 0x3 0 0;
 dinput[0] 0x3 0 1;
 dinput[1] 0x3 1.25e+007 0.625;
 dinput[2] 0x3 0 1;
 dinput[3] 0x3 0 0;
 dinput[4] 0x3 0 1;
 dinput[5] 0x3 0 0;
 dinput[6] 0x3 0 1;
 dinput[7] 0x3 0 0;
 dinput[8] 0x3 1.25e+007 0.375;
 dinput[9] 0x3 1.25e+007 0.625;
 dinput[10] 0x3 0 0;
 dinput[11] 0x3 0 0;
 dinput[12] 0x3 0 0;
 dinput[13] 0x3 0 0;
 dinput[14] 0x3 1.25e+007 0.625;
 dinput[15] 0x3 0 0;
 Mux~3074 0x3 0 0;
 Mux~3075 0x3 100000 0.996445;
 Mux~3076 0x3 100000 0.996391;
 Mux~3077 0x3 200000 0.0017626;
 Mux~3079 0x3 0 0;
 Mux~3080 0x3 0 0.998949;
 Mux~3081 0x3 100000 0.996474;
 Mux~3082 0x3 100000 0.996276;
 Mux~3084 0x3 100000 0.994517;
 Mux~3085 0x3 0 0;
 Mux~3086 0x3 0 0;
 Mux~3087 0x3 100000 0.994462;
 Mux~3088 0x3 0 0;
 Mux~3090 0x3 0 0;
 Mux~3091 0x3 0 0.998871;
 Mux~3092 0x3 100000 0.99634;
 Mux~3093 0x3 100000 0.99631;
 Mux~3095 0x3 100000 0.994542;
 Mux~3096 0x3 0 0;
 Mux~3097 0x3 100000 0.99444;
 Mux~3098 0x3 200000 0.0020095;
 Mux~3099 0x3 200000 0.0020095;
 Mux~3100 0x3 0 0;
 Mux~3102 0x3 0 0;
 Mux~3103 0x3 0 0.998887;
 Mux~3104 0x3 100000 0.996501;
 Mux~3105 0x3 100000 0.996399;
 Mux~3107 0x3 100000 0.994464;
 Mux~3108 0x3 0 0;
 Mux~3109 0x3 100000 0.99439;
 Mux~3110 0x3 0 0;
 Mux~3112 0x3 0 0;
 Mux~3113 0x3 0 0.998855;
 Mux~3114 0x3 100000 0.99646;
 Mux~3115 0x3 100000 0.996358;
 Mux~3117 0x3 0 0;
 Mux~3118 0x3 0 0;
 Mux~3119 0x3 0 0;
 Mux~3120 0x3 100000 0.996252;
 Mux~3121 0x3 100000 0.996169;
 Mux~3122 0x3 0 0;
 Mux~3124 0x3 0 0;
 Mux~3125 0x3 0 0.999023;
 Mux~3126 0x3 100000 0.996585;
 Mux~3127 0x3 100000 0.99653;
 Mux~3129 0x3 0 0;
 Mux~3130 0x3 0 0;
 Mux~3131 0x3 0 0;
 Mux~3132 0x3 0 0;
 Mux~3134 0x3 0 0;
 Mux~3135 0x3 0 0.998951;
 Mux~3136 0x3 0 0;
 Mux~3137 0x3 0 0;
 Mux~3139 0x3 0 0;
 Mux~3140 0x3 0 0;
 Mux~3141 0x3 0 0;
 Mux~3142 0x3 0 0;
 Mux~3143 0x3 0 0;
 Mux~3144 0x3 0 0;
 Mux~3146 0x3 0 0;
 Mux~3147 0x3 0 0.998938;
 Mux~3148 0x3 0 0;
 Mux~3149 0x3 0 0;
 Mux~3151 0x3 100000 0.994535;
 Mux~3152 0x3 0 0;
 Mux~3153 0x3 100000 0.994433;
 Mux~3154 0x3 0 0;
 Mux~3156 0x3 0 0;
 Mux~3157 0x3 0 0;
 Mux~3158 0x3 100000 0.994305;
 Mux~3159 0x3 0 0;
 Mux~3160 0x3 0 0;
 Mux~3161 0x3 100000 0.996464;
 Mux~3162 0x3 0 0;
 Mux~3165 0x3 0 0;
 Mux~3166 0x3 0 0;
 Mux~3167 0x3 0 0;
 Mux~3169 0x3 100000 0.994262;
 Mux~3170 0x3 100000 0.994209;
 Mux~3171 0x3 0 0;
 Mux~3172 0x3 0 0;
 Mux~3173 0x3 200000 0.0020146;
 Mux~3174 0x3 200000 0.0020146;
 Mux~3175 0x3 300000 0.996321;
 Mux~3176 0x3 300000 0.996291;
 Mux~3177 0x3 300000 0.995678;
 Mux~3178 0x3 200000 0.0017626;
 OP[0] 0x3 0 0;
 OP[1] 0x3 0 0;
 OP[2] 0x3 0 0;
 OP[3] 0x3 0 1;
 reduce_or~1 0x3 0 0.999208;
 reduce_or~11 0x3 0 0;
 reset 0x3 100000 0.998;
 result[0] 0x3 100000 0.990137;
 result[1] 0x3 100000 0.990192;
 result[2] 0x3 0 0;
 result[3] 0x3 100000 0.990188;
 result[4] 0x3 0 0;
 result[5] 0x3 100000 0.990188;
 result[6] 0x3 0 0;
 result[7] 0x3 100000 0.990189;
 result[8] 0x3 0 0;
 result[9] 0x3 100000 0.990161;
 result[10] 0x3 0 0;
 result[11] 0x3 0 0;
 result[12] 0x3 0 0;
 result[13] 0x3 0 0;
 result[14] 0x3 0 0;
 result[15] 0x3 0 0;
 result_t[0] 0x3 100000 0.990682;
 result_t[1] 0x3 100000 0.990682;
 result_t[1]~771 0x3 0 0;
 result_t[1]~772 0x3 0 0;
 result_t[1]~773 0x3 0 0.999127;
 result_t[1]~778 0x3 0 0.999126;
 result_t[2] 0x3 0 0;
 result_t[2]~774 0x3 0 0.999151;
 result_t[2]~775 0x3 0 0.99915;
 result_t[2]~776 0x3 0 0;
 result_t[2]~777 0x3 0 0;
 result_t[3] 0x3 100000 0.990682;
 result_t[4] 0x3 0 0;
 result_t[5] 0x3 100000 0.990682;
 result_t[6] 0x3 0 0;
 result_t[7] 0x3 100000 0.990682;
 result_t[8] 0x3 0 0;
 result_t[9] 0x3 100000 0.990682;
 result_t[10] 0x3 0 0;
 result_t[11] 0x3 0 0;
 result_t[12] 0x3 0 0;
 result_t[13] 0x3 0 0;
 result_t[14] 0x3 0 0;
 result_t[15] 0x3 0 0;
 result_t[16] 0x3 0 0;
 sel 0x3 200000 0.004;
 write 0x3 100000 0.007;
 Z 0x3 200000 0.008;
 z1_tmp 0x3 0 0;
 z1_tmp~27 0x3 0 0;
 z1_tmp~28 0x3 0 0;
 Z~154 0x3 100000 0.0091475;
 Z~155 0x3 100000 0.0092065;
 Z~156 0x3 100000 0.0092777;
 Z~157 0x3 0 0.999805;
 Z~158 0x3 100000 0.0091426;
 Z~reg0 0x3 200000 0.008;

END_OUTPUT_SIGNAL_INFO;

TOGGLE_PERCENTAGE 47.7654;

PERCENTAGE_OF_TIME_SIGNALS_IN_UNKNOWN_STATE 2.49385;