Synopsys Generic Technology Mapper, Version mapact, Build 976R, Built May 23 2013 12:10:32
Copyright (C) 1994-2013, Synopsys, Inc. This software and the associated documentation are proprietary to Synopsys, Inc. This software may only be used in accordance with the terms and conditions of a written license agreement with Synopsys, Inc.  All other use or distribution of the software is strictly prohibited.
Product Version H-2013.03M-1 

Mapper Startup Complete (Real Time elapsed 0h:00m:00s; CPU Time elapsed 0h:00m:00s; Memory used current: 56MB peak: 57MB)

@N:MF249 :  | Running in 32-bit mode. 
@N:MF667 :  | Clock conversion disabled  

Design Input Complete (Real Time elapsed 0h:00m:00s; CPU Time elapsed 0h:00m:00s; Memory used current: 55MB peak: 58MB)


Mapper Initialization Complete (Real Time elapsed 0h:00m:00s; CPU Time elapsed 0h:00m:00s; Memory used current: 55MB peak: 58MB)


Start loading timing files (Real Time elapsed 0h:00m:00s; CPU Time elapsed 0h:00m:00s; Memory used current: 57MB peak: 58MB)


Finished loading timing files (Real Time elapsed 0h:00m:00s; CPU Time elapsed 0h:00m:00s; Memory used current: 57MB peak: 59MB)



Starting Optimization and Mapping (Real Time elapsed 0h:00m:00s; CPU Time elapsed 0h:00m:00s; Memory used current: 77MB peak: 79MB)

@W:MO111 : m2s_som_osc_0_osc.v(20) | Tristate driver XTLOSC_O2F on net XTLOSC_O2F has its enable tied to GND (module M2S_SOM_OSC_0_OSC) 
@W:MO111 : m2s_som_osc_0_osc.v(15) | Tristate driver RCOSC_25_50MHZ_CCC on net RCOSC_25_50MHZ_CCC has its enable tied to GND (module M2S_SOM_OSC_0_OSC) 
@W:MO111 : m2s_som_osc_0_osc.v(18) | Tristate driver RCOSC_1MHZ_O2F on net RCOSC_1MHZ_O2F has its enable tied to GND (module M2S_SOM_OSC_0_OSC) 
@W:MO111 : m2s_som_osc_0_osc.v(17) | Tristate driver RCOSC_1MHZ_CCC on net RCOSC_1MHZ_CCC has its enable tied to GND (module M2S_SOM_OSC_0_OSC) 
@W:BN132 : coresf2reset.v(370) | Removing sequential instance CoreSF2Reset_0.sm2_areset_n_q1,  because it is equivalent to instance CoreSF2Reset_0.sm0_areset_n_q1
@W:BN132 : coresf2reset.v(370) | Removing sequential instance CoreSF2Reset_0.sm2_areset_n_rcosc,  because it is equivalent to instance CoreSF2Reset_0.sm0_areset_n_rcosc

Available hyper_sources - for debug and ip models
	None Found


Finished RTL optimizations (Real Time elapsed 0h:00m:00s; CPU Time elapsed 0h:00m:00s; Memory used current: 77MB peak: 79MB)

Encoding state machine state[2:0] (view:work.CoreSF2Config(verilog))
original code -> new code
   00 -> 00
   01 -> 01
   10 -> 10
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[16] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[17] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[18] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[19] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[20] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[21] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[22] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[23] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[24] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[25] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[26] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[27] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[28] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[29] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[30] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance pwdata[31] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance paddr[11] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@W:BN132 : coresf2config.v(422) | Removing instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[31],  because it is equivalent to instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[30]
@W:BN132 : coresf2config.v(422) | Removing instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[30],  because it is equivalent to instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[29]
@W:BN132 : coresf2config.v(422) | Removing instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[29],  because it is equivalent to instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[28]
@W:BN132 : coresf2config.v(422) | Removing instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[28],  because it is equivalent to instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[27]
@W:BN132 : coresf2config.v(422) | Removing instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[27],  because it is equivalent to instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[26]
@W:BN132 : coresf2config.v(422) | Removing instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[26],  because it is equivalent to instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[25]
@W:BN132 : coresf2config.v(422) | Removing instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[25],  because it is equivalent to instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[24]
@W:BN132 : coresf2config.v(422) | Removing instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[24],  because it is equivalent to instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[23]
@W:BN132 : coresf2config.v(422) | Removing instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[23],  because it is equivalent to instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[22]
@W:BN132 : coresf2config.v(422) | Removing instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[22],  because it is equivalent to instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[21]
@W:BN132 : coresf2config.v(422) | Removing instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[21],  because it is equivalent to instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[20]
@W:BN132 : coresf2config.v(422) | Removing instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[20],  because it is equivalent to instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[19]
@W:BN132 : coresf2config.v(422) | Removing instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[19],  because it is equivalent to instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[18]
@W:BN132 : coresf2config.v(422) | Removing instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[18],  because it is equivalent to instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[17]
@W:BN132 : coresf2config.v(422) | Removing instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[17],  because it is equivalent to instance CoreSF2Config_0.FIC_2_APB_M_PRDATA[16]
@N:BN362 : coresf2config.v(422) | Removing sequential instance FIC_2_APB_M_PRDATA[16] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
@N:BN362 : coresf2config.v(150) | Removing sequential instance paddr[16] in hierarchy view:work.CoreSF2Config(verilog) because there are no references to its outputs 
Encoding state machine sm0_state[6:0] (view:work.CoreSF2Reset_Z1(verilog))
original code -> new code
   000 -> 0000001
   001 -> 0000010
   010 -> 0000100
   011 -> 0001000
   100 -> 0010000
   101 -> 0100000
   110 -> 1000000
Encoding state machine sm2_state[1:0] (view:work.CoreSF2Reset_Z1(verilog))
original code -> new code
   000 -> 0
   001 -> 1
@N: : coresf2reset.v(722) | Found counter in view:work.CoreSF2Reset_Z1(verilog) inst count[13:0]
@W:BN132 : coresf2reset.v(421) | Removing sequential instance CoreSF2Reset_0.sdif3_spll_lock_q1,  because it is equivalent to instance CoreSF2Reset_0.sm2_state[0]
@W:BN132 : coresf2reset.v(550) | Removing instance CoreSF2Reset_0.USER_FAB_RESET_N,  because it is equivalent to instance CoreSF2Reset_0.sm0_state[6]
@N:BN362 : coresf2config.v(150) | Removing sequential instance CoreSF2Config_0.paddr[14] in hierarchy view:work.M2S_SOM(verilog) because there are no references to its outputs 

Finished factoring (Real Time elapsed 0h:00m:00s; CPU Time elapsed 0h:00m:00s; Memory used current: 78MB peak: 79MB)


Finished gated-clock and generated-clock conversion (Real Time elapsed 0h:00m:00s; CPU Time elapsed 0h:00m:00s; Memory used current: 77MB peak: 79MB)

Constraint Checker successful!

At Mapper Exit (Real Time elapsed 0h:00m:00s; CPU Time elapsed 0h:00m:00s; Memory used current: 45MB peak: 79MB)

Process took 0h:00m:01s realtime, 0h:00m:01s cputime
# Tue Jun 25 18:05:33 2013

###########################################################]