Dwupoziomowy automat w VERILOG-u

Witam Potrzebuje informacji na temat dwupozimowego automatu najlepiej z kodowanie klas kompatybilnych mojrooperacji, lub poprostu jakiegos przykladu w jezyku verilog. Gdzie moge znalezc takie rzeczy??