SHEN QUINCY

Method and apparatus for implementing a task-based interface in a logic verification system