1. Mark Aagaard, Robert B. Jones, Thomas F. Melham, John W. O'Leary, and Carl-Johan H. Seger. A methodology for large-scale hardware verification. In Warren A. Hunt Jr. and Steven D. Johnson, editors,FMCAD, volume 1954 ofLecture Notes in Computer Science, pages 263-282. Springer, 2000.
2. Mark Aagaard and John W. O'Leary, editors.Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings, volume 2517 ofLecture Notes in Computer Science. Springer, 2002. FORTE. http://www.intel.com/software/products/opensource/tools1/verification.
3. Alan J. Hu, Jeremy Casas, and Jin Yang. Efficient generation of monitor circuits for GSTE assertion graphs. InInternational Conference on Computer-Aided Design (ICCAD), pages 154-160. IEEE Computer Society / ACM, 2003.
4. Alan J. Hu, Jeremy Casas, and Jin Yang. Reasoning about GSTE assertion graphs. In Daniel Geist and Enrico Tronci, editors,Correct Hardware Design and Verification Methods (CHARME), volume 2860 ofLecture Notes in Computer Science, pages 170-184. Springer, 2003.
5. Thomas F. Melham and Robert B. Jones. Abstraction by symbolic indexing transformations. In Aagaard and O'Leary \citeDBLP:conf/fmcad/2002, pages 1-18.