fpq05ms.syr

交通灯控制,在A和B方向各用数码管显示剩余的时间.

Release 6.2i - xst G.28
Copyright (c) 1995-2004 Xilinx, Inc.  All rights reserved.
--> Parameter TMPDIR set to __projnav
CPU : 0.00 / 0.69 s | Elapsed : 0.00 / 1.00 s
 
--> Parameter xsthdpdir set to ./xst
CPU : 0.00 / 0.69 s | Elapsed : 0.00 / 1.00 s
 
--> Reading design: fpq05ms.prj

TABLE OF CONTENTS
  1) Synthesis Options Summary
  2) HDL Compilation
  3) HDL Analysis
  4) HDL Synthesis
  5) Advanced HDL Synthesis
     5.1) HDL Synthesis Report
  6) Low Level Synthesis
  7) Final Report
     7.1) Device utilization summary
     7.2) TIMING REPORT


=========================================================================
*                      Synthesis Options Summary                        *
=========================================================================
---- Source Parameters
Input File Name                    : fpq05ms.prj
Input Format                       : mixed
Ignore Synthesis Constraint File   : NO
Verilog Include Directory          : 

---- Target Parameters
Output File Name                   : fpq05ms
Output Format                      : NGC
Target Device                      : xc2s50-5-tq144

---- Source Options
Top Module Name                    : fpq05ms
Automatic FSM Extraction           : YES
FSM Encoding Algorithm             : Auto
FSM Style                          : lut
RAM Extraction                     : Yes
RAM Style                          : Auto
ROM Extraction                     : Yes
ROM Style                          : Auto
Mux Extraction                     : YES
Mux Style                          : Auto
Decoder Extraction                 : YES
Priority Encoder Extraction        : YES
Shift Register Extraction          : YES
Logical Shifter Extraction         : YES
XOR Collapsing                     : YES
Resource Sharing                   : YES
Multiplier Style                   : lut
Automatic Register Balancing       : No

---- Target Options
Add IO Buffers                     : YES
Global Maximum Fanout              : 100
Add Generic Clock Buffer(BUFG)     : 4
Register Duplication               : YES
Equivalent register Removal        : YES
Slice Packing                      : YES
Pack IO Registers into IOBs        : auto

---- General Options
Optimization Goal                  : Speed
Optimization Effort                : 1
Keep Hierarchy                     : NO
Global Optimization                : AllClockNets
RTL Output                         : Yes
Write Timing Constraints           : NO
Hierarchy Separator                : _
Bus Delimiter                      : <>
Case Specifier                     : maintain
Slice Utilization Ratio            : 100
Slice Utilization Ratio Delta      : 5

---- Other Options
lso                                : fpq05ms.lso
Read Cores                         : YES
cross_clock_analysis               : NO
verilog2001                        : YES
Optimize Instantiated Primitives   : NO
tristate2logic                     : No

=========================================================================


=========================================================================
*                          HDL Compilation                              *
=========================================================================
Compiling vhdl file E:/VHDL/JIAOTONG/FPQ2MS.vhdl in Library work.
Architecture behavioral of Entity fpq05ms is up to date.

=========================================================================
*                            HDL Analysis                               *
=========================================================================
Analyzing Entity <fpq05ms> (Architecture <behavioral>).
Entity <fpq05ms> analyzed. Unit <fpq05ms> generated.


=========================================================================
*                           HDL Synthesis                               *
=========================================================================

Synthesizing Unit <fpq05ms>.
    Related source file is E:/VHDL/JIAOTONG/FPQ2MS.vhdl.
    Found 1-bit tristate buffer for signal <CP>.
    Found 15-bit comparator lessequal for signal <$n0002>.
    Found 15-bit comparator greatequal for signal <$n0007>.
    Found 15-bit comparator lessequal for signal <$n0008>.
    Found 15-bit up counter for signal <a>.
    Found 1-bit register for signal <Mtridata_CP> created at line 28.
    Found 1-bit register for signal <Mtrien_CP> created at line 28.
    Summary:
	inferred   1 Counter(s).
	inferred   2 D-type flip-flop(s).
	inferred   3 Comparator(s).
	inferred   1 Tristate(s).
Unit <fpq05ms> synthesized.


=========================================================================
*                       Advanced HDL Synthesis                          *
=========================================================================

Advanced RAM inference ...
Advanced multiplier inference ...
Dynamic shift register inference ...

=========================================================================
HDL Synthesis Report

Macro Statistics
# Counters                         : 1
 15-bit up counter                 : 1
# Registers                        : 2
 1-bit register                    : 2
# Comparators                      : 3
 15-bit comparator lessequal       : 2
 15-bit comparator greatequal      : 1
# Tristates                        : 1
 1-bit tristate buffer             : 1

=========================================================================

=========================================================================
*                         Low Level Synthesis                           *
=========================================================================

Optimizing unit <fpq05ms> ...
Loading device for application Xst from file 'v50.nph' in environment C:/Xilinx.

Mapping all equations...
Building and optimizing final netlist ...
Found area constraint ratio of 100 (+ 5) on block fpq05ms, actual ratio is 2.

=========================================================================
*                            Final Report                               *
=========================================================================
Final Results
RTL Top Level Output File Name     : fpq05ms.ngr
Top Level Output File Name         : fpq05ms
Output Format                      : NGC
Optimization Goal                  : Speed
Keep Hierarchy                     : NO

Design Statistics
# IOs                              : 2

Macro Statistics :
# Registers                        : 3
#      1-bit register              : 2
#      15-bit register             : 1
# Tristates                        : 1
#      1-bit tristate buffer       : 1
# Adders/Subtractors               : 1
#      15-bit adder                : 1
# Comparators                      : 3
#      15-bit comparator greatequal: 1
#      15-bit comparator lessequal : 2

Cell Usage :
# BELS                             : 58
#      GND                         : 1
#      LUT1                        : 15
#      LUT2                        : 2
#      LUT3                        : 2
#      LUT4                        : 7
#      LUT4_L                      : 2
#      MUXCY                       : 14
#      VCC                         : 1
#      XORCY                       : 14
# FlipFlops/Latches                : 17
#      FD                          : 1
#      FDR                         : 15
#      FDS                         : 1
# Clock Buffers                    : 1
#      BUFGP                       : 1
# IO Buffers                       : 1
#      OBUFT                       : 1
=========================================================================

Device utilization summary:
---------------------------

Selected Device : 2s50tq144-5 

 Number of Slices:                      21  out of    768     2%  
 Number of Slice Flip Flops:            17  out of   1536     1%  
 Number of 4 input LUTs:                28  out of   1536     1%  
 Number of bonded IOBs:                  1  out of     96     1%  
 Number of GCLKs:                        1  out of      4    25%  


=========================================================================
TIMING REPORT

NOTE: THESE TIMING NUMBERS ARE ONLY A SYNTHESIS ESTIMATE.
      FOR ACCURATE TIMING INFORMATION PLEASE REFER TO THE TRACE REPORT
      GENERATED AFTER PLACE-and-ROUTE.

Clock Information:
------------------
-----------------------------------+------------------------+-------+
Clock Signal                       | Clock buffer(FF name)  | Load  |
-----------------------------------+------------------------+-------+
CLK                                | BUFGP                  | 17    |
-----------------------------------+------------------------+-------+

Timing Summary:
---------------
Speed Grade: -5

   Minimum period: 8.831ns (Maximum Frequency: 113.237MHz)
   Minimum input arrival time before clock: No path found
   Maximum output required time after clock: 8.165ns
   Maximum combinational path delay: No path found

Timing Detail:
--------------
All values displayed in nanoseconds (ns)

-------------------------------------------------------------------------
Timing constraint: Default period analysis for Clock 'CLK'
Delay:               8.831ns (Levels of Logic = 2)
  Source:            a_5 (FF)
  Destination:       a_13 (FF)
  Source Clock:      CLK rising
  Destination Clock: CLK rising

  Data Path: a_5 to a_13
                                Gate     Net
    Cell:in->out      fanout   Delay   Delay  Logical Name (Net Name)
    ----------------------------------------  ------------
     FDR:C->Q              4   1.292   1.600  a_5 (a_5)
     LUT3:I1->O            1   0.653   1.150  _n000154_SW0 (N2268)
     LUT4:I0->O           15   0.653   2.700  _n000154 (_n0001)
     FDR:R                     0.783          a_0
    ----------------------------------------
    Total                      8.831ns (3.381ns logic, 5.450ns route)
                                       (38.3% logic, 61.7% route)

-------------------------------------------------------------------------
Timing constraint: Default OFFSET OUT AFTER for Clock 'CLK'
Offset:              8.165ns (Levels of Logic = 1)
  Source:            Mtrien_CP (FF)
  Destination:       CP (PAD)
  Source Clock:      CLK rising

  Data Path: Mtrien_CP to CP
                                Gate     Net
    Cell:in->out      fanout   Delay   Delay  Logical Name (Net Name)
    ----------------------------------------  ------------
     FD:C->Q               1   1.292   1.150  Mtrien_CP (Mtrien_CP)
     OBUFT:T->O                5.723          CP_OBUFT (CP)
    ----------------------------------------
    Total                      8.165ns (7.015ns logic, 1.150ns route)
                                       (85.9% logic, 14.1% route)

=========================================================================
CPU : 2.69 / 4.00 s | Elapsed : 3.00 / 4.00 s
 
--> 

Total memory usage is 56428 kilobytes