related documents Achieving fast and exact hazard-free logic minimization of extended burst-mode gC finite state machines Conference Proceeding