人間曾伏虎:用脈衝異步時序邏輯,同步時序邏輯做格雷碼計數器

我把人間曾伏虎的格雷碼計數器問題簡化一下。先說說格雷碼計數器：格雷碼
計數器狀態變化時只有一個bit發生變化，例如：000-001-011-010-110-111-
101-100。
做一個4進制格雷碼計數器。用脈衝異步時序邏輯做一次，再用同步時序邏輯做
一次，比較一下。

問題敘述：

設計數器的初始狀態是00。

當輸入x = 1時，計數器狀態變化是
       00 -> 01 -> 11 -> 10 -> 00
當計數器狀態是10時，輸出y = 1。

當輸入x = 0時，計數器維持當前狀態， 輸出y = 0。