jiaotongdeng.sim.rpt

这是一个用Verilog HDL语言编写的交通灯程序。可以用Quartus II运行。

Simulator report for jiaotongdeng
Mon Jun 23 18:02:25 2008
Version 5.1 Build 176 10/26/2005 SJ Full Version


---------------------
; Table of Contents ;
---------------------
  1. Legal Notice
  2. Simulator Summary
  3. Simulator Settings
  4. Simulation Waveforms
  5. Coverage Summary
  6. Complete 1/0-Value Coverage
  7. Missing 1-Value Coverage
  8. Missing 0-Value Coverage
  9. Simulator INI Usage
 10. Simulator Messages



----------------
; Legal Notice ;
----------------
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.



+-----------------------------------------------+
; Simulator Summary                             ;
+-----------------------------+-----------------+
; Type                        ; Value           ;
+-----------------------------+-----------------+
; Simulation Start Time       ; 0 ps            ;
; Simulation End Time         ; 100.0 us        ;
; Simulation Netlist Size     ; 103 nodes       ;
; Simulation Coverage         ;      74.00 %    ;
; Total Number of Transitions ; 51476           ;
; Family                      ; MAX7000S        ;
; Device                      ; EPM7128SLC84-15 ;
+-----------------------------+-----------------+


+-------------------------------------------------------------------------------------------+
; Simulator Settings                                                                        ;
+-----------------------------------------------------------------+---------+---------------+
; Option                                                          ; Setting ; Default Value ;
+-----------------------------------------------------------------+---------+---------------+
; Simulation mode                                                 ; Timing  ; Timing        ;
; Start time                                                      ; 0 ns    ; 0 ns          ;
; Add pins automatically to simulation output waveforms           ; On      ; On            ;
; Check outputs                                                   ; Off     ; Off           ;
; Report simulation coverage                                      ; On      ; On            ;
; Detect setup and hold time violations                           ; Off     ; Off           ;
; Detect glitches                                                 ; Off     ; Off           ;
; Automatically save/load simulation netlist                      ; Off     ; Off           ;
; Disable timing delays in Timing Simulation                      ; Off     ; Off           ;
; Generate Signal Activity File                                   ; Off     ; Off           ;
; Group bus channels in simulation results                        ; Off     ; Off           ;
; Preserve fewer signal transitions to reduce memory requirements ; On      ; On            ;
; Overwrite Waveform Inputs With Simulation Outputs               ; Off     ;               ;
+-----------------------------------------------------------------+---------+---------------+


+----------------------+
; Simulation Waveforms ;
+----------------------+
Waveform report data cannot be output to ASCII.
Please use Quartus II to view the waveform report data.


+--------------------------------------------------------------------+
; Coverage Summary                                                   ;
+-----------------------------------------------------+--------------+
; Type                                                ; Value        ;
+-----------------------------------------------------+--------------+
; Total coverage as a percentage                      ;      74.00 % ;
; Total nodes checked                                 ; 103          ;
; Total output ports checked                          ; 100          ;
; Total output ports with complete 1/0-value coverage ; 74           ;
; Total output ports with no 1/0-value coverage       ; 25           ;
; Total output ports with no 1-value coverage         ; 25           ;
; Total output ports with no 0-value coverage         ; 26           ;
+-----------------------------------------------------+--------------+


The following table displays output ports that toggle between 1 and 0 during simulation.
+----------------------------------------------------------------------------------------------------------------------------------------------+
; Complete 1/0-Value Coverage                                                                                                                  ;
+-------------------------------------------------------------+-------------------------------------------------------------+------------------+
; Node Name                                                   ; Output Port Name                                            ; Output Port Type ;
+-------------------------------------------------------------+-------------------------------------------------------------+------------------+
; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[0]     ; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[0]     ; dataout          ;
; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[1]     ; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[1]     ; dataout          ;
; |dingceng|jiaotongdeng:inst|current_state~15                ; |dingceng|jiaotongdeng:inst|current_state~15                ; dataout          ;
; |dingceng|jiaotongdeng:inst|count[1]                        ; |dingceng|jiaotongdeng:inst|count[1]                        ; dataout          ;
; |dingceng|jiaotongdeng:inst|current_state.state0~27         ; |dingceng|jiaotongdeng:inst|current_state.state0~27         ; dataout          ;
; |dingceng|jiaotongdeng:inst|current_state.state6~40         ; |dingceng|jiaotongdeng:inst|current_state.state6~40         ; dataout          ;
; |dingceng|jiaotongdeng:inst|current_state.state4~31         ; |dingceng|jiaotongdeng:inst|current_state.state4~31         ; dataout          ;
; |dingceng|jiaotongdeng:inst|current_state.state2~37         ; |dingceng|jiaotongdeng:inst|current_state.state2~37         ; dataout          ;
; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[2]     ; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[2]     ; dataout          ;
; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[3]     ; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[3]     ; dataout          ;
; |dingceng|jiaotongdeng:inst|count[2]                        ; |dingceng|jiaotongdeng:inst|count[2]                        ; dataout          ;
; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[4]     ; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[4]     ; dataout          ;
; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[5]     ; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[5]     ; dataout          ;
; |dingceng|jiaotongdeng:inst|count[3]                        ; |dingceng|jiaotongdeng:inst|count[3]                        ; dataout          ;
; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[6]     ; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[6]     ; dataout          ;
; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[7]     ; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[7]     ; dataout          ;
; |dingceng|jiaotongdeng:inst|count[4]                        ; |dingceng|jiaotongdeng:inst|count[4]                        ; dataout          ;
; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[8]     ; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[8]     ; dataout          ;
; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[9]     ; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[9]     ; dataout          ;
; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[10]    ; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[10]    ; dataout          ;
; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[11]    ; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[11]    ; dataout          ;
; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[12]    ; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[12]    ; dataout          ;
; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[12]~19 ; |dingceng|xianshi:inst1|lpm_counter:count_rtl_0|dffs[12]~19 ; dataout          ;
; |dingceng|jiaotongdeng:inst|CLK2                            ; |dingceng|jiaotongdeng:inst|CLK2                            ; dataout          ;
; |dingceng|jiaotongdeng:inst|count_down[0]                   ; |dingceng|jiaotongdeng:inst|count_down[0]                   ; dataout          ;
; |dingceng|jiaotongdeng:inst|count_down[1]                   ; |dingceng|jiaotongdeng:inst|count_down[1]                   ; dataout          ;
; |dingceng|jiaotongdeng:inst|count_down[2]                   ; |dingceng|jiaotongdeng:inst|count_down[2]                   ; dataout          ;
; |dingceng|jiaotongdeng:inst|count_down[3]                   ; |dingceng|jiaotongdeng:inst|count_down[3]                   ; dataout          ;
; |dingceng|jiaotongdeng:inst|count_down[4]                   ; |dingceng|jiaotongdeng:inst|count_down[4]                   ; dataout          ;
; |dingceng|jiaotongdeng:inst|count_down[5]                   ; |dingceng|jiaotongdeng:inst|count_down[5]                   ; dataout          ;
; |dingceng|jiaotongdeng:inst|count_down[6]                   ; |dingceng|jiaotongdeng:inst|count_down[6]                   ; dataout          ;
; |dingceng|jiaotongdeng:inst|CLK1                            ; |dingceng|jiaotongdeng:inst|CLK1                            ; dataout          ;
; |dingceng|jiaotongdeng:inst|current_state~14                ; |dingceng|jiaotongdeng:inst|current_state~14                ; dataout          ;
; |dingceng|xianshi:inst1|reduce_or~1729                      ; |dingceng|xianshi:inst1|reduce_or~1729                      ; dataout          ;