@N: MF472 |Synthesis running in Automatic Compile Point mode
@N: MF474 |No compile point is identified in Automatic Compile Point mode
@N: MF916 |Option synthesis_strategy=base is enabled. 
@N: MF248 |Running in 64-bit mode.
@N: MF667 |Clock conversion disabled. (Command "set_option -fix_gated_and_generated_clocks 0" in the project file.)
@N: BN115 :"/DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/hdl/memory_registers.vhd":505:40:505:62|Removing instance clk_gate_control_regs_comp (in view: ctu_can_fd_rtl.memory_registers_ctu_can_fd_rtl_can_top_level_rtl_0layer0(rtl)) because it does not drive other instances.
@N: BN115 :"/DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/hdl/memory_registers.vhd":517:37:517:59|Removing instance clk_gate_test_regs_comp (in view: ctu_can_fd_rtl.memory_registers_ctu_can_fd_rtl_can_top_level_rtl_0layer0(rtl)) because it does not drive other instances.
@N: BN115 :"/DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/hdl/rx_buffer.vhd":841:41:841:63|Removing instance clk_gate_rx_buffer_ram_comp (in view: ctu_can_fd_rtl.rx_buffer_32_false_false_1(rtl)) because it does not drive other instances.
@N: BN115 :"/DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/hdl/txt_buffer.vhd":345:42:345:64|Removing instance clk_gate_txt_buffer_ram_comp (in view: ctu_can_fd_rtl.txt_buffer_4_3_1_false_false(rtl)) because it does not drive other instances.
@N: BN115 :"/DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/hdl/txt_buffer.vhd":345:42:345:64|Removing instance clk_gate_txt_buffer_ram_comp (in view: ctu_can_fd_rtl.txt_buffer_4_2_1_false_false(rtl)) because it does not drive other instances.
@N: BN115 :"/DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/hdl/txt_buffer.vhd":345:42:345:64|Removing instance clk_gate_txt_buffer_ram_comp (in view: ctu_can_fd_rtl.txt_buffer_4_0_1_false_false(rtl)) because it does not drive other instances.
@N: BN115 :"/DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/hdl/txt_buffer.vhd":345:42:345:64|Removing instance clk_gate_txt_buffer_ram_comp (in view: ctu_can_fd_rtl.txt_buffer_4_1_1_false_false(rtl)) because it does not drive other instances.
@N: BN115 :"/DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/hdl/protocol_control.vhd":689:36:689:64|Removing instance endian_swapper_tx_inst (in view: ctu_can_fd_rtl.protocol_control_9_4_true(rtl)) because it does not drive other instances.
@N: BN362 :"/DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/hdl/memory_reg.vhd":170:24:170:25|Removing sequential instance reg_value_r[12] (in view: ctu_can_fd_rtl.memory_reg_ctu_can_fd_rtl_can_top_level_rtl_14layer0(rtl)) of type view:PrimLib.dffre(prim) because it does not drive other instances.
@N: BN362 :"/DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/hdl/memory_reg.vhd":170:24:170:25|Removing sequential instance reg_value_r[13] (in view: ctu_can_fd_rtl.memory_reg_ctu_can_fd_rtl_can_top_level_rtl_14layer0(rtl)) of type view:PrimLib.dffre(prim) because it does not drive other instances.
@N: BN362 :"/DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/hdl/memory_reg.vhd":170:24:170:25|Removing sequential instance reg_value_r[14] (in view: ctu_can_fd_rtl.memory_reg_ctu_can_fd_rtl_can_top_level_rtl_14layer0(rtl)) of type view:PrimLib.dffre(prim) because it does not drive other instances.
@N: BN362 :"/DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/hdl/memory_reg.vhd":170:24:170:25|Removing sequential instance reg_value_r[15] (in view: ctu_can_fd_rtl.memory_reg_ctu_can_fd_rtl_can_top_level_rtl_14layer0(rtl)) of type view:PrimLib.dffre(prim) because it does not drive other instances.
@N: BN362 :"/DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/hdl/tx_arbitrator.vhd":557:4:557:5|Removing sequential instance txtb_clk_en_q (in view: ctu_can_fd_rtl.tx_arbitrator_4(rtl)) of type view:PrimLib.dffr(prim) because it does not drive other instances.
@N: BN362 :"/DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/hdl/protocol_control_fsm.vhd":3231:8:3231:9|Removing sequential instance txtb_clk_en_q (in view: ctu_can_fd_rtl.protocol_control_fsm(rtl)) of type view:PrimLib.dffr(prim) because it does not drive other instances.
@N: FP130 |Promoting Net clk_sys on CLKINT  I_1 
@N: FX1184 |Applying syn_allowed_resources blockrams=952 on top level netlist can_top_level 
@N: FX1143 |Skipping assigning INTERNAL_VREF to iobanks, because the table of mapping from pin to iobank is not initialized.
@N: BN225 |Writing default property annotation file /DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/synthesis/can_top_level.sap.
@N: MO225 :"/DOKUMENTY/Projekty/ctu_can_fd/synthesis/Libero/parity_benchmark/ctu_can_fd_parity_benchmark_2/hdl/operation_control.vhd":227:8:227:9|There are no possible illegal states for state machine curr_state[0:3] (in view: ctu_can_fd_rtl.operation_control(rtl)); safe FSM implementation is not required.
