VerilogCSP loading ...