#Build: Synplify 9.0.2A2, Build 250R, Feb 20 2008
#install: C:\Libero\Synplify\Synplify_902A2
#OS: Windows XP 5.1
#Hostname: JIANGYICHENG

#Implementation: synthesis

#Sat Jul 05 08:23:26 2008

$ Start of Compile
#Sat Jul 05 08:23:26 2008

Synplicity Verilog Compiler, version 1.0, Build 145R, built Mar  5 2008
Copyright (C) 1994-2008, Synplicity Inc.  All Rights Reserved

@I::"C:\Libero\Synplify\Synplify_902A2\lib\proasic\proasic3.v"
@I::"E:\Actel_pro\UART\hdl\rec.v"
@I::"E:\Actel_pro\UART\hdl\send.v"
@I::"E:\Actel_pro\UART\hdl\uart_test.v"
Verilog syntax check successful!
Selecting top level module uart_test
@N: CG364 :"E:\Actel_pro\UART\hdl\rec.v":5:7:5:9|Synthesizing module rec

@W: CL170 :"E:\Actel_pro\UART\hdl\rec.v":37:0:37:5|Pruning bit <9> of UartBuff[9:0] - not in use ...

@N: CG364 :"E:\Actel_pro\UART\hdl\send.v":6:7:6:10|Synthesizing module send

@W: CL170 :"E:\Actel_pro\UART\hdl\send.v":54:0:54:5|Pruning bit <9> of Datainbuf2[9:0] - not in use ...

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

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

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

@W: CL170 :"E:\Actel_pro\UART\hdl\send.v":54:0:54:5|Pruning bit <5> of Datainbuf2[9:0] - not in use ...

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

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

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

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

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

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

@N: CG364 :"E:\Actel_pro\UART\hdl\uart_test.v":5:7:5:15|Synthesizing module uart_test

@W: CG360 :"E:\Actel_pro\UART\hdl\uart_test.v":21:5:21:11|No assignment to wire clk100M

@END
Process took 0h:00m:01s realtime, 0h:00m:01s cputime
# Sat Jul 05 08:23:26 2008

###########################################################]
Synplicity Proasic Technology Mapper, Version 9.0.2, Build 065R, Built Mar  5 2008 17:44:07
Copyright (C) 1994-2008, Synplicity Inc.  All Rights Reserved
Product Version Version 9.0.2A2
@N: MF249 |Running in 32-bit mode.


RTL optimization done.

Finished RTL optimizations (Time elapsed 0h:00m:00s; Memory used current: 39MB peak: 41MB)
@N: MF238 :"e:\actel_pro\uart\hdl\uart_test.v":36:16:36:28|Found 8 bit incrementor, 'senddata_1[7:0]'
@N: MF238 :"e:\actel_pro\uart\hdl\rec.v":26:6:26:14|Found 16 bit incrementor, 'un3_cnt_1[15:0]'
@N: MF238 :"e:\actel_pro\uart\hdl\rec.v":54:11:54:21|Found 4 bit incrementor, 'un9_count_1[3:0]'
@N:"e:\actel_pro\uart\hdl\send.v":54:0:54:5|Found counter in view:work.send(verilog) inst bincnt[3:0]
@N: MF238 :"e:\actel_pro\uart\hdl\send.v":35:6:35:14|Found 16 bit incrementor, 'un3_cnt_1[15:0]'

Finished factoring (Time elapsed 0h:00m:00s; Memory used current: 40MB peak: 41MB)

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

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

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

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

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

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

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

Promoting Net clock_c on CLKBUF  clock_pad
Buffering clksend, fanout 13 segments 2
Replicating Combinational Instance uartrec.clkout, fanout 13 segments 2

Finished technology mapping (Time elapsed 0h:00m:01s; Memory used current: 41MB peak: 42MB)

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

Added 1 Buffers
Added 1 Cells via replication
	Added 0 Sequential Cells via replication
	Added 1 Combinational Cells via replication

Finished restoring hierarchy (Time elapsed 0h:00m:01s; Memory used current: 41MB peak: 42MB)
Writing Analyst data base E:\Actel_pro\UART\synthesis\uart_test.srm
@N: BN225 |Writing default property annotation file E:\Actel_pro\UART\synthesis\uart_test.map.
Writing EDIF Netlist and constraint files
Version 9.0.2A2
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 Sat Jul 05 08:23:29 2008
#


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

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



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


Worst slack in design: -0.974

                               Requested     Estimated     Requested     Estimated                Clock        Clock              
Starting Clock                 Frequency     Frequency     Period        Period        Slack      Type         Group              
----------------------------------------------------------------------------------------------------------------------------------
send|clkout_inferred_clock     100.0 MHz     789.4 MHz     10.000        1.267         8.733      inferred     Inferred_clkgroup_2
uart_test|clock                100.0 MHz     91.1 MHz      10.000        10.974        -0.974     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.974  |  No paths    -      |  No paths    -      |  No paths    -    
uart_test|clock             send|clkout_inferred_clock  |  Diff grp    -       |  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.733   |  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.550       8.733
WR_R2        send|clkout_inferred_clock     DFN1     Q       WR_R2     0.550       8.733
========================================================================================


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.572        8.733
WR_R3        send|clkout_inferred_clock     DFN1     D       WR_R2     9.572        8.733