Charles Lepple wrote:
The 'next state' logic is simpler, and faster. You're essentially trading off flops for combinatorial logic. If you Google on comp.arch.fpga you'll probably find dozens of hits on safety and reset issues; I think I can even remember a 'default' discussion from a few years ago.It's a different way to encode the current state. The list of advantages escapes me at the moment.