Placement-Driven Synthesis Design Closure Tool.
Proceedings of the Handbook of Algorithms for Physical Design Automation., 2008
The use of random simulation in formal verification.
Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996