[acl2-books] Obscure cosims issue

[David L. Rager]

Hi,

Anyone know off the top of their head what causes these ncv and vcs
cosim errors? Issuing a make cleansim doesn't help.

Cheers,
David



books/centaur/sv/cosims: make ACL2=/partition/acl2-edita/ccl-saved_acl2o
Rebuilding Makefile-books...
-rw-r--r-- 1 dlrager pditdba 288739 Oct 6 08:15 Makefile-books
Done rebuilding makefiles
Error : no such package

the command is *ncverilog* *14.20.004* */import/cadist-sme*
make: *** [bigcase/outputs.ncv.data] Error 1
books/centaur/sv/cosims: make ACL2=/partition/acl2-edita/ccl-saved_acl2o vcs
Rebuilding Makefile-books...
-rw-r--r-- 1 dlrager pditdba 288739 Oct 6 08:17 Makefile-books
Done rebuilding makefiles
Chronologic VCS (TM)
Version J-2014.12-SP1-1 -- Tue Oct 6 08:17:05 2015
Copyright (c) 1991-2014 by Synopsys Inc.
ALL RIGHTS RESERVED

This program is proprietary and confidential information of Synopsys Inc.
and may be used and disclosed only as authorized in a license agreement
controlling such use and disclosure.

Parsing design file 'spec.sv'
Parsing design file '../test.sv'
Top Level Modules:
test
No TimeScale specified

Error-[VFS_SDB_ERROR] VCS database file access error
VCS fails to access database file
'/partition/acl2-edita/books/centaur/sv/cosims/always1/simv.daidir/pcc.sdb'
due to 'it is corrupted'.
Please remove the file and re-analyze the design.

CPU time: .164 seconds to compile
make: *** [always1/outputs.vcs.data] Error 255
books/centaur/sv/cosims:

[David L. Rager]

I figured out that it's a problem with my environment, so mystery solved.