Synthesis of checker EFSMs from timing diagram specifications.

E. K. Ogoubi, Eduard Cerny

Browse the full ISCAS paper archive.