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]

Abstract

Abstract is missing.