Advanced topics of FSM design using FPGA educational boards and web-based tools | IEEE Conference Publication | IEEE Xplore