Triscend supports the use of the Model Technology ModelSim LOGIC simulator for VHDL simulation of
designs implemented in the Configurable System LOGIC (CSL) portion of a Triscend device.
The Description LOGIC Handbook The Description LOGIC Handbook: Theory, Implementation and Applications 【Author】Franz Baader, Diego Calvanese, Deborah McGuinness
The Description LOGIC Handbook