1. A method for performing design verification, the method comprising: specifying at least one object that represents at least one signal as a symbol in a design using a first programming interface call (PLI) command; and instructing a symbolic simulator with the first command to treat the at least one object as a symbol.