The Architecture of a Highly Integrated Simulation System. - Michel Heydemann; Alain Plaignaud; Daniel Dure (DAC, 1988)

The logic automation approach to accurate and efficient gate and functional level simulation. - Michel Heydemann; Daniel Dure (ICCAD, 1988)