Verification Engineerの戯言 リファレンス・ガイドのP.255の例題( Defining and instantiating a state machine )のStmt部分を見ていきましょう。 Stmt driversMonitors = (seq // Clear the fifo dut.clear; // Two secuential blocks running in parallel…