Switching activity propagation of VHDL-RTL combinational designs through an automated tool | IEEE Conference Publication | IEEE Xplore