Switching activity propagation of VHDL-RTL combinational designs through an automated tool | Publicación