SUNSHINE:

GEZEL is a cycle-based hardware description language based on the Finite-State-Machine + Datapath (FSMD) model developed by Prof. Patrick Schaumont at Virginia Tech.