Symbolic simulation techniques-state-of-the-art and applications. - Claudia Blank; Hans Eveking; Jens Levihn; Gerd Ritter (HLDVT, 2001)