vga.sim.rpt

此乃VGA驱动的详细源码

+--------------------------------------------------------------------+
; Coverage Summary                                                   ;
+-----------------------------------------------------+--------------+
; Type                                                ; Value        ;
+-----------------------------------------------------+--------------+
; Total coverage as a percentage                      ;       0.36 % ;
; Total nodes checked                                 ; 257          ;
; Total output ports checked                          ; 275          ;
; Total output ports with complete 1/0-value coverage ; 1            ;
; Total output ports with no 1/0-value coverage       ; 273          ;
; Total output ports with no 1-value coverage         ; 273          ;
; Total output ports with no 0-value coverage         ; 274          ;
+-----------------------------------------------------+--------------+


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 ;
+-----------+------------------+------------------+
; |vga|clk  ; |vga|clk         ; out              ;
+-----------+------------------+------------------+


The following table displays output ports that do not toggle to 1 during simulation.
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
; Missing 1-Value Coverage                                                                                                                                                                                   ;
+--------------------------------------------------------------------------------------------+--------------------------------------------------------------------------------------------+------------------+
; Node Name                                                                                  ; Output Port Name                                                                           ; Output Port Type ;
+--------------------------------------------------------------------------------------------+--------------------------------------------------------------------------------------------+------------------+
; |vga|pin_name5                                                                             ; |vga|pin_name5                                                                             ; pin_out          ;
; |vga|hs                                                                                    ; |vga|hs                                                                                    ; pin_out          ;
; |vga|vs                                                                                    ; |vga|vs                                                                                    ; pin_out          ;
; |vga|r                                                                                     ; |vga|r                                                                                     ; pin_out          ;
; |vga|g                                                                                     ; |vga|g                                                                                     ; pin_out          ;
; |vga|b                                                                                     ; |vga|b                                                                                     ; pin_out          ;
; |vga|pll:inst5|altpll:altpll_component|cycloneii_pll:pll                                   ; |vga|pll:inst5|altpll:altpll_component|cycloneii_pll:pll                                   ; clk              ;
; |vga|vgatiming:inst|hs_cnt~0                                                               ; |vga|vgatiming:inst|hs_cnt~0                                                               ; out              ;
; |vga|vgatiming:inst|hs_cnt~1                                                               ; |vga|vgatiming:inst|hs_cnt~1                                                               ; out              ;
; |vga|vgatiming:inst|hs_cnt~2                                                               ; |vga|vgatiming:inst|hs_cnt~2                                                               ; out              ;
; |vga|vgatiming:inst|hs_cnt~3                                                               ; |vga|vgatiming:inst|hs_cnt~3                                                               ; out              ;
; |vga|vgatiming:inst|hs_cnt~4                                                               ; |vga|vgatiming:inst|hs_cnt~4                                                               ; out              ;
; |vga|vgatiming:inst|hs_cnt~5                                                               ; |vga|vgatiming:inst|hs_cnt~5                                                               ; out              ;
; |vga|vgatiming:inst|hs_cnt~6                                                               ; |vga|vgatiming:inst|hs_cnt~6                                                               ; out              ;
; |vga|vgatiming:inst|hs_cnt~7                                                               ; |vga|vgatiming:inst|hs_cnt~7                                                               ; out              ;
; |vga|vgatiming:inst|hs_cnt~8                                                               ; |vga|vgatiming:inst|hs_cnt~8                                                               ; out              ;
; |vga|vgatiming:inst|hs_cnt~9                                                               ; |vga|vgatiming:inst|hs_cnt~9                                                               ; out              ;
; |vga|vgatiming:inst|hs_cnt[8]                                                              ; |vga|vgatiming:inst|hs_cnt[8]                                                              ; out              ;
; |vga|vgatiming:inst|hs_cnt[7]                                                              ; |vga|vgatiming:inst|hs_cnt[7]                                                              ; out              ;
; |vga|vgatiming:inst|hs_cnt[6]                                                              ; |vga|vgatiming:inst|hs_cnt[6]                                                              ; out              ;
; |vga|vgatiming:inst|hs_cnt[5]                                                              ; |vga|vgatiming:inst|hs_cnt[5]                                                              ; out              ;
; |vga|vgatiming:inst|hs_cnt[4]                                                              ; |vga|vgatiming:inst|hs_cnt[4]                                                              ; out              ;
; |vga|vgatiming:inst|hs_cnt[3]                                                              ; |vga|vgatiming:inst|hs_cnt[3]                                                              ; out              ;
; |vga|vgatiming:inst|hs_cnt[2]                                                              ; |vga|vgatiming:inst|hs_cnt[2]                                                              ; out              ;
; |vga|vgatiming:inst|hs_cnt[1]                                                              ; |vga|vgatiming:inst|hs_cnt[1]                                                              ; out              ;
; |vga|vgatiming:inst|hs_cnt[0]                                                              ; |vga|vgatiming:inst|hs_cnt[0]                                                              ; out              ;
; |vga|vgatiming:inst|vs_cnt[9]                                                              ; |vga|vgatiming:inst|vs_cnt[9]                                                              ; out              ;
; |vga|vgatiming:inst|vs_cnt~0                                                               ; |vga|vgatiming:inst|vs_cnt~0                                                               ; out              ;
; |vga|vgatiming:inst|vs_cnt~1                                                               ; |vga|vgatiming:inst|vs_cnt~1                                                               ; out              ;
; |vga|vgatiming:inst|vs_cnt~2                                                               ; |vga|vgatiming:inst|vs_cnt~2                                                               ; out              ;
; |vga|vgatiming:inst|vs_cnt~3                                                               ; |vga|vgatiming:inst|vs_cnt~3                                                               ; out              ;
; |vga|vgatiming:inst|vs_cnt~4                                                               ; |vga|vgatiming:inst|vs_cnt~4                                                               ; out              ;
; |vga|vgatiming:inst|vs_cnt~5                                                               ; |vga|vgatiming:inst|vs_cnt~5                                                               ; out              ;
; |vga|vgatiming:inst|vs_cnt~6                                                               ; |vga|vgatiming:inst|vs_cnt~6                                                               ; out              ;
; |vga|vgatiming:inst|vs_cnt~7                                                               ; |vga|vgatiming:inst|vs_cnt~7                                                               ; out              ;
; |vga|vgatiming:inst|vs_cnt~8                                                               ; |vga|vgatiming:inst|vs_cnt~8                                                               ; out              ;
; |vga|vgatiming:inst|vs_cnt~9                                                               ; |vga|vgatiming:inst|vs_cnt~9                                                               ; out              ;
; |vga|vgatiming:inst|vs_cnt[8]                                                              ; |vga|vgatiming:inst|vs_cnt[8]                                                              ; out              ;
; |vga|vgatiming:inst|vs_cnt[7]                                                              ; |vga|vgatiming:inst|vs_cnt[7]                                                              ; out              ;
; |vga|vgatiming:inst|vs_cnt[6]                                                              ; |vga|vgatiming:inst|vs_cnt[6]                                                              ; out              ;
; |vga|vgatiming:inst|vs_cnt[5]                                                              ; |vga|vgatiming:inst|vs_cnt[5]                                                              ; out              ;
; |vga|vgatiming:inst|vs_cnt[4]                                                              ; |vga|vgatiming:inst|vs_cnt[4]                                                              ; out              ;
; |vga|vgatiming:inst|vs_cnt[3]                                                              ; |vga|vgatiming:inst|vs_cnt[3]                                                              ; out              ;
; |vga|vgatiming:inst|vs_cnt[2]                                                              ; |vga|vgatiming:inst|vs_cnt[2]                                                              ; out              ;
; |vga|vgatiming:inst|vs_cnt[1]                                                              ; |vga|vgatiming:inst|vs_cnt[1]                                                              ; out              ;
; |vga|vgatiming:inst|vs_cnt[0]                                                              ; |vga|vgatiming:inst|vs_cnt[0]                                                              ; out              ;
; |vga|vgatiming:inst|C~0                                                                    ; |vga|vgatiming:inst|C~0                                                                    ; out0             ;