Advanced topics of FSM design using FPGA educational boards and web-based toolsSudnitsõn, Aleksander; Mihhailov, Dmitri; Kruus, MargusEast-West Design & Test Symposium : Moscow, September 18-21, 20092009 / p. 446-449 https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5742086

Simulation-based verification with APRICOT framework using high-level decision diagramsJenihhin, Maksim; Raik, Jaan; Tšepurov, Anton; Ubar, Raimund-JohannesEast-West Design & Test Symposium : Moscow, September 18-21, 20092009 / p. 13-16 : ill