SAVANT/TyVIS/WARPED: components for the analysis and simulation of VHDL | IEEE Conference Publication | IEEE Xplore