An automatic controller extractor for HDL descriptions at the RTL
Chien‐Nan Jimmy Liu, Jing-Yang Jou · IEEE Design & Test of Computers · 2000
Extracting controlling finite-state machines can significantly reduce state space and thereby speed functional verification. The controller extraction algorithm uses an approach that frees it from restrictions on HDL code writing style.