vc static formal W-2024.09-SP1 license file

login629

Hello,

I am having issues generating the license file synopsys.lic for VC Formal 2024. I have the following synopsys.src file

https://gist.github.com/kaddindr/9f6f69adea42f997bf213a855c05c9b4



Errors when I run the vcf command

/********************************** ERRORS **********************************/

[almalinux@almalinux8 synopsys]$ vcf
Warning: Ignoring XDG_SESSION_TYPE=wayland on Gnome. Use QT_QPA_PLATFORM=wayland to run on Wayland anyway.
[SCL] SCL trace is enabled.
get display error

                                   VC Static

               Version W-2024.09-SP1 for linux64 - Dec 02, 2024

                    Copyright (c) 2010 - 2024 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, reproduction,
   or distribution of this software is strictly prohibited. Licensed Products
     communicate with Synopsys servers for the purpose of providing software
    updates, detecting software piracy and verifying that customers are using
    Licensed Products in conformity with the applicable License Key for such
  Licensed Products. Synopsys will use information gathered in connection with
    this process to deliver software updates and pursue software pirates and
                                   infringers.

Inclusivity & Diversity - Visit SolvNetPlus to read the "Synopsys Statement on
            Inclusivity and Diversity" (Refer to article 000036315 at
                        (https://solvnetplus.synopsys.com)
[SCL] 11/17/2025 15:23:16 PID:66763 Client:almalinux8.linuxvmimages.local Checkout denied VC-FORMAL-BASE-SH 2024.09
FlexNet Licensing checkout error: No such feature exists.
Feature: VC-FORMAL-BASE-SH
License path: 27080@almalinux8.linuxvmimages.local:
FlexNet Licensing error:-5,147
license file(s): 27080@almalinux8.linuxvmimages.local
[SCL] 11/17/2025 15:23:26 PID:66763 Client:almalinux8.linuxvmimages.local Checkout denied VC-FORMAL-ELITE-SH 2024.09
FlexNet Licensing checkout error: Invalid parameter.
Feature: VC-FORMAL-ELITE-SH
License path: 27080@almalinux8.linuxvmimages.local:
FlexNet Licensing error:-42,147
license file(s): 27080@almalinux8.linuxvmimages.local
*** Error: License Server, unable to checkout required license(s), please see license server log for details.
[SCL] 11/17/2025 15:23:36 PID:66763 Client:almalinux8.linuxvmimages.local Checkout denied VC-FORMAL-TOKEN-SH 2024.09
FlexNet Licensing checkout error: No such feature exists.
Feature: VC-FORMAL-TOKEN-SH
License path: 27080@almalinux8.linuxvmimages.local:
FlexNet Licensing error:-5,147
license file(s): 27080@almalinux8.linuxvmimages.local
[SCL] 11/17/2025 15:23:46 PID:66763 Client:almalinux8.linuxvmimages.local Checkout denied VC-STATIC-COMPILE 2024.09
FlexNet Licensing checkout error: Invalid parameter.
Feature: VC-STATIC-COMPILE
License path: 27080@almalinux8.linuxvmimages.local:
FlexNet Licensing error:-42,147
license file(s): 27080@almalinux8.linuxvmimages.local
*** Error: License Server, unable to checkout required license(s), please see license server log for details.
** Error: Formal Shell Licensing. License checkout failed for license VC-STATIC-COMPILE



/*******************************************************************************



What is wrong with the synopsys.src file?

What are the correct steps to generate the license synopsys.lic file?

I also have Synopsysmonoslayer file as well. I don't know how and  when to use it?

dcircuit

kankna

login629

   

dcircuit 发表于 2025-11-17 20:35
kankna

please review my updated post

login629

anyone who can help? Please help