State-Machine Based Logic Simulation Using Three Logic Values.

Peter M. Maurer, William J. Schilp

Browse the full VLSID paper archive.