Optional.  Pattern Validation Module.  This is an add-on module to perform pattern validation functionalities.  It needs Solstice Core Module (SOL-CORE).  Contents:
Solstice-PV.  Testbench generation with automatic DUT and test pattern pin mapping
Pin Mapping Assistant to map pins with name discrepancies
Verilog Simulation Controls.  Supports Cadence Xcelium, Siemens (Mentor) Questa, and Synopsys VCS.
Verilog Testbench Synthesizer.  Generates ASCII stimulus/responses for testbench.
Pattern Batch Tools.  replace_pattern, signal_edit, strobe_edit, scan_flatten, and add_equation.