BDD-based testability estimation of VHDL designs | IEEE Conference Publication | IEEE Xplore