How to get best support from Verific

We here at Verific strive to provide you with the best customer service.

But we need help from you. Please:

• Identify your company and your group/business unit. Many of our customers have multiple Verific licenses, each with a different product configuration.
  On our file system, each of the licensees has a dedicated code branch, and code cross-contamination is an absolute no-no. Identifying your company and your business unit will help us to use the appropriate code branch.
  - The API "Message::CustomerName()" returns your company name.
  - Another way is to tell us the name/email address of the person in your company that frequently deal with Verific.
  - Please use an email address associated with your company; do not use an email address from a generic email service provider (e.g. JohnSmith@gmail.com).

• Tell us what Verific release you are using:
  - The API "Message::ReleaseString()" returns something like "Jul17_SW_Release."
  - Or you can just search for "ReleaseString" in util/Message.cpp.
  - If you are evaluating Verific software, tell us the exact name of the zip file containing the library package.
  - Or you can run tclmain application with "-v" option:

   $ tclmain-linux-O -v
    -- (c) Copyright 1999 - 2020 Verific Design Automation Inc. All rights reserved
    -- Verific release: Mar20_SW_Release, to: Company, release date: Tue Apr 28 09:13:38 2020
    Hello, init.tcl has been executed
    %

• Be clear and precise about the issue. Send us the log file if available; if not, a description of the symptom and the exact error/warning messages will help tremendously.
  If it is at all possible, send us a testcase that we can use to re-create the symptom. If there is a problem, that testcase can be used to verify that the problem has been fixed. By the way, the testcase you provide will be added to the regression testsuite for your code branch. It will not be shared with anyone/organization outside of Verific.
  The testcase should include Verilog/VHDL files, a TCL/Perl/Python script, or a C++ application exhibiting the symptom (current output), and the expected output.
  In sending the testcase, do not send screenshots. Rather, please send text files, or put them in the body of the email message so that we can save the files or cut and paste the text to create the testcase on our file system. If you send screenshots, we will have to type the files in, which takes time and is error-prone.

• The C++ application or the TCL/Perl/Python modules used to recreate the symptoms should be built with the C++ source code as shipped from Verific. Otherwise please let us know any modifications, including compile-time flags and run-time flags, that have been done on the source code.

• If you send a log file, please do not suppress any messages from Verific; they are essential in debugging.
  To clear message suppressions, please use Message::ClearAllMessageTypes().

• If any of the older releases of Verific has a different behavior, and you are reporting a regression, tell us what release(s) of Verific you are comparing to. This will save us some time checking the old releases.

• If there are other EDA tools that run "correctly," provide the names and the versions of the tools and their "correct" output. Do not just say, "Other tools accept the design" (then we will need to ask you the names of the tools).
• Send email to support@verific.com. If you want to send email to an individual Verific engineer, add support@verific.com to the cc list.
  We have an internal procedure to prevent tech support requests from falling through the cracks. This procedure works only for email messages sent to, or cc'ed, support@verific.com.
  If your questions are related to Verific's Invio product, please send email to invio@verific.com.

• If the problem is resolved at your end, inform us so we can close the issue.

Thank you very much.