The maximal VHDL subset with a cycle-level abstraction | IEEE Conference Publication | IEEE Xplore