Verification of Parameterised FPGA Circuit Descriptions with Layout ...

BIBLIOGRAPHY 181
[60] L. C. Paulson. The foundation of a generic theorem prover. J. Automated Reasoning,
5:363–397, 1989.
[61] L. C. Paulson. Isabelle: A Generic Theorem Prover, volume 828 of LNCS. Springer-
Verlag, 1994.
[62] O. Pell. Quartz: A new language for hardware description. Final Year Project Report,
Dept of Computing, Imperial College, June 2004.
[63] O. Pell. Quartz compilation algorithms. ISO Dissertation, Dept of Computing, Imperial
College, January 2005.
[64] O. Pell and W. Luk. Resolving Quartz overloading. In D. Borrione and W. Paul, edi-
tors, Proc. CHARME’05: 13th Conference on Correct Hardware Design and Verification
Methods, volume 3725 of LNCS, pages 380–383. Springer-Verlag, 2005.
[65] O. Pell and W. Luk. Quartz: A framework for correct and efficient reconfigurable design.
In Proc. RECONFIG’05: Intl. Conf. on Reconfigurable Computing and FPGAs. IEEE
Computer Society Press, September 2005, to appear.
[66] O. Pell and H. Yu. User’s tutorial for Pebble 5.0. https://cc.doc.ic.ac.uk/local/
pebble/doc/users/.
[67] F. P. Preparata and M. I. Shamos. Computational Geometry: An Introduction. Springer-
Verlag, 1985.
[68] O. Rasmussen. Transformational VLSI Design. PhD thesis, Technical University of
Denmark, 1997.
[69] T. Riesgo, Y. Torroja, and E. de la Torre. Design methodologies based on hardware
description languages. IEEE Trans. Industrial Electronics, 46(1):3–12, February 1999.
[70] J. A. Robinson. A machine-oriented logic based on the resolution principle. J. ACM,
12(1):23–41, 1965.
[71] P. Rudnicki. An overview of the Mizar project. In Proc. 1992 Workshop on Types for
Proofs and Programs, Chalmers University of Technology, Bastad, 1992.