uart_test.srr

自己实用Verilog编写的UART程序

#Build: Synplify 8.6.2H, Build 017R, Dec  7 2006
#install: D:\Actel\Libero7.3\Synplify\Synplify_862H
#OS: Windows XP 5.1
#Hostname: LIUYINHUA

#Mon Apr 16 08:47:58 2007

$ Start of Compile
#Mon Apr 16 08:47:58 2007

Synplicity Verilog Compiler, version 3.7, Build 090R, built Nov 17 2006
Copyright (C) 1994-2006, Synplicity Inc.  All Rights Reserved

@I::"D:\Actel\Libero7.3\Synplify\Synplify_862H\lib\proasic\proasic3.v"
@I::"C:\Actelprj\ProASIC3\UART\hdl\rec.v"
@I::"C:\Actelprj\ProASIC3\UART\hdl\send.v"
@I::"C:\Actelprj\ProASIC3\UART\hdl\uart_test.v"
Verilog syntax check successful!
Options changed - recompiling
Selecting top level module uart_test
@N: CG364 :"C:\Actelprj\ProASIC3\UART\hdl\rec.v":5:7:5:9|Synthesizing module rec

@W: CL170 :"C:\Actelprj\ProASIC3\UART\hdl\rec.v":37:0:37:5|Pruning bit <9> of UartBuff_6[9:0] - not in use ...

@N: CG364 :"C:\Actelprj\ProASIC3\UART\hdl\send.v":6:7:6:10|Synthesizing module send

@W: CL170 :"C:\Actelprj\ProASIC3\UART\hdl\send.v":54:0:54:5|Pruning bit <9> of Datainbuf2_6[9:0] - not in use ...

@W: CL170 :"C:\Actelprj\ProASIC3\UART\hdl\send.v":54:0:54:5|Pruning bit <8> of Datainbuf2_6[9:0] - not in use ...

@W: CL170 :"C:\Actelprj\ProASIC3\UART\hdl\send.v":54:0:54:5|Pruning bit <7> of Datainbuf2_6[9:0] - not in use ...

@W: CL170 :"C:\Actelprj\ProASIC3\UART\hdl\send.v":54:0:54:5|Pruning bit <6> of Datainbuf2_6[9:0] - not in use ...

@W: CL170 :"C:\Actelprj\ProASIC3\UART\hdl\send.v":54:0:54:5|Pruning bit <5> of Datainbuf2_6[9:0] - not in use ...

@W: CL170 :"C:\Actelprj\ProASIC3\UART\hdl\send.v":54:0:54:5|Pruning bit <4> of Datainbuf2_6[9:0] - not in use ...

@W: CL170 :"C:\Actelprj\ProASIC3\UART\hdl\send.v":54:0:54:5|Pruning bit <3> of Datainbuf2_6[9:0] - not in use ...

@W: CL170 :"C:\Actelprj\ProASIC3\UART\hdl\send.v":54:0:54:5|Pruning bit <2> of Datainbuf2_6[9:0] - not in use ...

@W: CL170 :"C:\Actelprj\ProASIC3\UART\hdl\send.v":54:0:54:5|Pruning bit <1> of Datainbuf2_6[9:0] - not in use ...

@W: CL189 :"C:\Actelprj\ProASIC3\UART\hdl\send.v":42:0:42:5|Register bit Datainbuf[0] is always 0, optimizing ...
@W: CL189 :"C:\Actelprj\ProASIC3\UART\hdl\send.v":42:0:42:5|Register bit Datainbuf[9] is always 1, optimizing ...
@W: CL171 :"C:\Actelprj\ProASIC3\UART\hdl\send.v":42:0:42:5|Pruning Register bit <9> of Datainbuf[9:0] 

@W: CL171 :"C:\Actelprj\ProASIC3\UART\hdl\send.v":42:0:42:5|Pruning Register bit <0> of Datainbuf[9:0] 

@N: CG364 :"C:\Actelprj\ProASIC3\UART\hdl\uart_test.v":5:7:5:15|Synthesizing module uart_test

@END
Process took 0h:00m:01s realtime, 0h:00m:01s cputime
# Mon Apr 16 08:47:59 2007

###########################################################]
Synplicity Proasic Technology Mapper, Version 9.0.0, Build 368R, Built Nov 27 2006 12:29:38
Copyright (C) 1994-2006, Synplicity Inc.  All Rights Reserved
Product Version Version 8.6.2H
@N: MF249 |Running in 32-bit mode.


RTL optimization done.

Finished RTL optimizations (Time elapsed 0h:00m:00s; Memory used current: 42MB peak: 44MB)
@N: MF238 :"c:\actelprj\proasic3\uart\hdl\uart_test.v":33:16:33:28|Found 8 bit incrementor, 'senddata_1[7:0]'
@N: MF238 :"c:\actelprj\proasic3\uart\hdl\rec.v":26:6:26:14|Found 16 bit incrementor, 'un3_cnt_1[15:0]'
@N: MF238 :"c:\actelprj\proasic3\uart\hdl\rec.v":54:11:54:21|Found 4 bit incrementor, 'un7_count_1[3:0]'
@W: BN116 :"c:\actelprj\proasic3\uart\hdl\rec.v":37:0:37:5|Removing sequential instance UartBuff[0] of view:PrimLib.dff(prim) because there are no references to its outputs 
@N: MF238 :"c:\actelprj\proasic3\uart\hdl\send.v":35:6:35:14|Found 16 bit incrementor, 'un3_cnt_1[15:0]'

Finished factoring (Time elapsed 0h:00m:01s; Memory used current: 43MB peak: 44MB)

Finished generic timing optimizations - Pass 1 (Time elapsed 0h:00m:01s; Memory used current: 43MB peak: 45MB)

Starting Early Timing Optimization (Time elapsed 0h:00m:01s; Memory used current: 43MB peak: 45MB)

Finished Early Timing Optimization (Time elapsed 0h:00m:01s; Memory used current: 43MB peak: 45MB)

Finished generic timing optimizations - Pass 2 (Time elapsed 0h:00m:01s; Memory used current: 43MB peak: 45MB)

Finished preparing to map (Time elapsed 0h:00m:02s; Memory used current: 44MB peak: 45MB)

High Fanout Net Report
**********************

Driver Instance / Pin Name     Fanout, notes
--------------------------------------------
uartrec.clkout / Y             15           
============================================

Promoting Net clock_c on CLKBUF  clock_pad
Buffering clksend, fanout 16 segments 2
Replicating clkrec, fanout 15 segments 2

Finished technology mapping (Time elapsed 0h:00m:02s; Memory used current: 43MB peak: 45MB)

Finished technology timing optimizations and critical path resynthesis (Time elapsed 0h:00m:02s; Memory used current: 43MB peak: 45MB)

Added 1 Buffers
Added 1 Cells via replication

Finished restoring hierarchy (Time elapsed 0h:00m:02s; Memory used current: 43MB peak: 45MB)
Writing Analyst data base C:\Actelprj\ProASIC3\UART\synthesis\uart_test.srm
@N: BN225 |Writing default property annotation file C:\Actelprj\ProASIC3\UART\synthesis\uart_test.map.
Writing EDIF Netlist and constraint files
Found clock uart_test|clock with period 10.00ns 
Found clock rec|RI_inferred_clock with period 10.00ns 
Found clock send|clkout_inferred_clock with period 10.00ns 


##### START OF TIMING REPORT #####[
# Timing Report written on Mon Apr 16 08:48:07 2007
#


Top view:               uart_test
Library name:           PA3
Operating conditions:   COMWC-2 ( T = 70.0, V = 1.40, P = 1.33, tree_type = balanced_tree )
Requested Frequency:    100.0 MHz
Wire load mode:         top
Wire load model:        PA3
Paths requested:        5
Constraint File(s):    
@N: MT195 |This timing report estimates place and route data. Please look at the place and route timing report for final timing..

@N: MT197 |Clock constraints cover only FF-to-FF paths associated with the clock..



Performance Summary 
*******************


Worst slack in design: -0.588

                               Requested     Estimated     Requested     Estimated                Clock        Clock              
Starting Clock                 Frequency     Frequency     Period        Period        Slack      Type         Group              
----------------------------------------------------------------------------------------------------------------------------------
send|clkout_inferred_clock     100.0 MHz     734.0 MHz     10.000        1.362         8.638      inferred     Inferred_clkgroup_2
uart_test|clock                100.0 MHz     94.5 MHz      10.000        10.588        -0.588     inferred     Inferred_clkgroup_1
==================================================================================================================================





Clock Relationships
*******************

Clocks                                                  |    rise  to  rise    |    fall  to  fall   |    rise  to  fall   |    fall  to  rise 
-----------------------------------------------------------------------------------------------------------------------------------------------
Starting                    Ending                      |  constraint  slack   |  constraint  slack  |  constraint  slack  |  constraint  slack
-----------------------------------------------------------------------------------------------------------------------------------------------
rec|RI_inferred_clock       uart_test|clock             |  Diff grp    -       |  No paths    -      |  No paths    -      |  No paths    -    
uart_test|clock             rec|RI_inferred_clock       |  Diff grp    -       |  No paths    -      |  No paths    -      |  No paths    -    
uart_test|clock             uart_test|clock             |  10.000      -0.588  |  No paths    -      |  No paths    -      |  No paths    -    
send|clkout_inferred_clock  uart_test|clock             |  Diff grp    -       |  No paths    -      |  No paths    -      |  No paths    -    
send|clkout_inferred_clock  send|clkout_inferred_clock  |  10.000      8.638   |  No paths    -      |  No paths    -      |  No paths    -    
===============================================================================================================================================
 Note: 'No paths' indicates there are no paths in the design for that pair of clock edges.
       'Diff grp' indicates that paths exist but the starting clock and ending clock are in different clock groups.



Interface Information 
*********************

		No IO constraint found 



====================================
Detailed Report for Clock: send|clkout_inferred_clock
====================================



Starting Points with Worst Slack
********************************

             Starting                                                  Arrival          
Instance     Reference                      Type     Pin     Net       Time        Slack
             Clock                                                                      
----------------------------------------------------------------------------------------
WR_R1        send|clkout_inferred_clock     DFN1     Q       WR_R1     0.483       8.638
WR_R2        send|clkout_inferred_clock     DFN1     Q       WR_R2     0.483       8.638
========================================================================================


Ending Points with Worst Slack
******************************

             Starting                                                  Required          
Instance     Reference                      Type     Pin     Net       Time         Slack
             Clock                                                                       
-----------------------------------------------------------------------------------------
WR_R2        send|clkout_inferred_clock     DFN1     D       WR_R1     9.590        8.638
WR_R3        send|clkout_inferred_clock     DFN1     D       WR_R2     9.590        8.638
=========================================================================================