- A. Mehrotra, S. Qadeer, V. Singhal, R. K. Brayton, A. Aziz, A. L. Sangiovanni-Vincentelli.
Sequential Optimisation without State Space Exploration.
Proceedings of the International Conference on Computer-Aided Design, 1997.
Postscript.
- S. Qadeer, V. Singhal, C. Pixley, R. K. Brayton.
Latch Redundancy Removal without Global Reset.
Proceedings of the International Conference on Computer Design, 1996.
Postscript.