При двоичном моделировании значение сигналов = 0или 1. Переход сигнала из одного состояния в другое считается мгновенным и не отражается в модели сигнала. Анализ работы функциональной схемы в этом случае осуществляется  методом синхронного логического моделирования.

При троичном моделировании сигналы в виде трех значений, 0, 1 и x, где 0 и 1 имеют обычный смысл, а x обозначает либо переход из одного состояния в другое, либо неопределенное состояние. Для выявления рисков сбоев и критических состязаний сигналов, возможных во время переходного процесса, троичное моделирование выполняется как на каждом из наборов входных сигналов А={a1...аn} и В={b1...bn}, так и на промежуточном наборе А/В={с1...сn}, где ci=x, если ai!=bi и сi=ai если аi=bi. Процесс моделирования для каждого входного воздействия осуществляется многократно до установления стабильного состояния. Троичное моделирование позволяет опр. места возможных стат. и динам. рисков сбоев и критических состязаний сигналов.

Пятизначное моделирование служит для получения более детальных сведений о работе схемы. Сигналы представляются в виде 5 значений: 0,1,x,l,h. 0 и 1 служат для обозначения верхнего и нижнего уровня сигналов,x- для неопределенного сигнала, а l и h соответствуют переходам из 1 в 0 и наоборот.

Также существуют и более многозначные методы моделирования.