Symbolic Simulation of Algorithms Specified in HDL. - Klaus-Jürgen Englert; Bernd Becker 001; Rolf Drechsler (MBMV, 2002)