Safety of VLSI designs using VHDL | Publicación