PSL assertion checkers synthesis with ASM based HLS tool ABELITE.
Proceedings of the 13th Latin American Test Workshop, 2012
Automated test bench generation for high-level synthesis flow ABELITE.
Proceedings of the 9th East-West Design & Test Symposium, 2011
Designing fault tolerant FSM by nano-PLA.
Proceedings of the 15th IEEE International On-Line Testing Symposium (IOLTS 2009), 2009
CAD System for ASM and FSM Synthesis.
Proceedings of the Field-Programmable Logic and Applications, 1998
Minimization of Algorithmic State Machines.
Proceedings of the 24th EUROMICRO '98 Conference, 1998