Melakari K. A VHDL simulator in a co-verification environment / K.Melakari, 1998. - 91 p. - Текст : непосредственный.
InCo - An interactive codesigh framework for real-time embedded systems / J.-P.Soininen,T.Huttunen,J.Saarikettu и др., 1998. - 206 p. - Текст : непосредственный.