VLSI_Toolkit

Interactive chip-design tools for beginners

Number conversion, MOSFET, RISC-V, pipeline, timing and FSM tools for chip design. Free, and it all runs in your browser.

☕ Buy us a chai
Word width

FSM Designer

✓ Verified in Icarus Verilog Generated Verilog is simulated and matches the state table in 15 of 15 runs.

Describe the machine

How to write it

inputs: x, y and outputs: z name the signals.

S0 -> S1 : x & !y moves from S0 to S1 when the condition is true. Leave out the condition for "always".

Moore output: S2 [z] sets z = 1 in S2.
Mealy output: S3 -> S1 : x / z sets z = 1 on that transition.

Operators: ! not, & and, | or, ^ xor. The first state is the reset state, or set reset: S0. # starts a comment.

State diagram

Circles are states, with the Moore outputs inside and the state code under each one. Arrows show the condition, and for a Mealy machine the outputs after the slash.

State table

State encoding

Next-state and output equations

Verilog


        

Try an input sequence