The symbolic simulator was developed by Tao for his thesis work.
 

The package "symsim" is a symbolic simulator implemented in C++. With symbols assigned on the inputs, it simulates the combinational circuits or sequential circuits with limited timeframe extension. It can be used in the equivalence checking or property checking.

The tool can apply the functional partition during the symbolic simulation to alleviate the OBDD size blow-up problem.  The function for each signal is represented in a list of 2-tuples under the control domain and data domain separately. The 2-domain format provides the power to
dynamically partition the functional space into subspaces during the symbolic simulation.

The readme manual file is available Here.
The executable version for linux is available for Download.
The source code and example testcase are available for Download.

Thank you for your interest in this simulator.

Please direct your questions to tfeng@ece.ucsb.edu,  opwen@ece.ucsb.edu.