시뮬레이터 체크들은 전기적 어서션들을 회로 시뮬레이터(308)에 대한 시뮬레이터-특정의 회로 체크 스테이트먼트들로 전환함으로써 발생될 수도 있다.
The simulator checks may be generated by converting electrical assertions into simulator-specific circuit check statements for the circuit simulator 308.