4 つのビルトイン 16 ビット カウンターには、それぞれ $counter0、$counter1、$counter2、$counter3 という名前が付いています。カウンターは、条件文内でリセット、インクリメント、使用できます。
- カウンターをリセットするには、reset_counter アクションを使用します。
state my_state_0: reset_counter $counter0; goto my_state_1;
- カウンターをインクリメントするには、increment_counter アクションを使用します。
state my_state_0: increment_counter $counter3; goto my_state_1;
条件文内でのカウンターの使用方法の詳細は、「条件文」を参照してください。