fabianschuiki / llhd

Low Level Hardware Description — A foundation for building hardware design tools.
http://www.llhd.io
Apache License 2.0
392 stars 30 forks source link

Add support for generating Finite State Machines (FSM) from behavioral code #117

Open programmerjake opened 4 years ago

programmerjake commented 4 years ago

Add support for generating FSMs from behavioral code.

According to the paper, the lowering pass currently fails when encountering behavioral code with more than a initialization and a single infinite-loop state. Assuming all the wait instructions are compatible (ex. wait on same clock), it should be possible to lower to a finite state machine.