sourcing E:\Microsemi\Libero_v11.7\Synplify\lib\message_override.tcl

Starting:    E:\Microsemi\Libero_v11.7\Synplify\bin64\mbin\synplify.exe
Install:     E:\Microsemi\Libero_v11.7\Synplify
Hostname:    W764-MURALIA
Date:        Tue Sep 06 14:34:38 2016
Version:     J-2015.03M-SP1-2

Arguments:   -product synplify_pro MC_System_top_syn.prj
ProductType: synplify_pro

License checkout: synplifypro_actel
License: synplifypro_actel from server denzil 
Licensed Vendor: actel
License Option: actel_oem


auto_infer_blackbox is not supported in current product.
Opening object source file e:\lx77\rs_test_encr\synthesis\mc_system_top_1.srr
exit status=0
License checkin: synplifypro_actel
