Recent Publications

Tradeoffs in canonical sequential function representations.

A. Gupta and A. L. Fisher.
In Proceedings of the International Conference on Computer Design, October 1994, pp. 111--116.
Postscript available

Representation and symbolic manipulation of linearly inductive Boolean

functions.
A. Gupta and A. L. Fisher.
In Proceedings of the IEEE International Conference on Computer-Aided Design, November 1993, pp. 192--199.
Postscript available

Parametric circuit representation using inductive Boolean functions.

A. Gupta and A. L. Fisher.
In Proceedings of the Conference on Computer-Aided Verification, June 1993, Vol. 697 of Lecture Notes in Computer Science, Springer-Verlag, pp. 15--28.
Postscript available

Formal hardware verification methods: A survey.

A. Gupta.
In Formal Methods in System Design , R. K. Brayton, E. M. Clarke, and P. A. Subrahmanyam, Eds., Vol. 1 (Nos. 2/3). Kluwer Academic Publishers, Oct. 1992, pp. 5--88.