"Parallel Logic Simulation of VLSI Systems."

Mary L. Bailey, Jack V. Briner Jr., Roger D. Chamberlain (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics