I am trying to run some out of the box examples provided inside the Questa questa_cdc_formal_2024.1 package. I am running the example frome propcheck/samples/formal_tb/divide_conquer dir using the make run_vl command.
This is the error I am getting:
# do qft_files/run_pc_conn.do
# Command : onerror {exit 1}
# Command : connectcheck elaborate -d top
# Error : Error encountered executing Tcl command. Command: connectcheck elaborate, File: /../../../../../../propcheck/samples/formal_tb/divide_conquer/qft_files/run_pc_conn.do, Line: 23. [cli-7]
make: *** [pc_conn] Error 1
I have already check and verified that I have the TCL command connectcheck successfully imported and available in my list of TCL commands. Any suggestions welcome.