Beyond VHDL: textual formalisms, visual techniques, or both? | IEEE Conference Publication | IEEE Xplore