Symbolic simulation techniques-state-of-the-art and applications

Claudia Blank, Hans Eveking, Jens Levihn, Gerd Ritter. Symbolic simulation techniques-state-of-the-art and applications. In Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001. pages 45-50, IEEE Computer Society, 2001. [doi]

Authors

Claudia Blank

This author has not been identified. Look up 'Claudia Blank' in Google

Hans Eveking

This author has not been identified. Look up 'Hans Eveking' in Google

Jens Levihn

This author has not been identified. Look up 'Jens Levihn' in Google

Gerd Ritter

This author has not been identified. Look up 'Gerd Ritter' in Google