Download Symbolic Simulation Methods For Industrial Formal Verification

http://katjavogel.net/files/gimgs/1_manetz01.png