Design automation of testable finite state machines.

Maryna Miroschnyk Yuriy Pakhomov Edward German Alexander Shkil Elvira Kulak Dariya Kucherenko

Published in: EWDTS (2017)

Keyphrases

finite state machines
design automation
model checking
computer aided design
circuit design
test generation
finite state automata
hidden markov models
digital circuits
regular expressions
case study
artificial intelligence
relational databases
knowledge management
machine vision