Accélération de la simulation logique : architecture et algorithmes de LL3T. (Acceleration of the logic simulation : architecture and algorithms of LL3T). - Yang Wu 008 (1990)