A data object representing a run of an FSM, similar to an SVTV but without computing the unrolling of the FSM.
This is a product type introduced by defprod.
When creating an svtv using defsvtv$, a phase FSM is created
for the given design and subsequently that phase FSM is composed further into a
clock cycle FSM and then a combinational pipeline, which is an unrolling of the
cycle FSM. This pipeline unrolling is the main content of an SVTV
object (namely, its