A native process algebra for VHDL | IEEE Conference Publication | IEEE Xplore