E. Börger and R. Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis (Springer-Verlag, 2003).

K. Claessen and J. Martensson, Formal Methods in Computer-Aided Design, LNCS 3312 (Springer-Verlag, 2004) pp. 337–351.

K. H. Chang, A PCI-X verification environment using C and Verilog, VLSI Design/CAD Symp. (2003).

M. Chong, A PCI express to PCI-X bridge optimized for performance and area, Master's thesis, Department of Electrical Engineering and Computer Science, Massachussets Institute of Technology (2004).

M. Dwyer, Tool-supported program abstraction for finite-state verification, Int. Conf. Software Engineering (2001) pp. 177–187.

A. Gawanmeh, A. Habibi and S. Tahar, Languages for Formal Specification and Verification, Forum on Specification and Design Languages (2004).

A. Gawanmeh, A. Habibi and S. Tahar, Embedding and verification of PSL using ASM, IEEE Int. Workshop on System-on-Chip (2006) pp. 125–130.

A. Gawanmeh, S. Tahar and K. Winter, J. Syst. Architecture 54, 15 (2008), DOI: 10.1016/j.sysarc.2007.03.007 

W. Grieskamp, Software Eng. Notes 27, 112 (2002), DOI: 10.1145/566171.566190 

D. Grobe and R. Drechsler, Checkers for SystemC designs, 2nd ACM and IEEE Int. Conf. Formal Methods and Models for Codesign (2004) pp. 171–178.

M. Gordon, J. Hurd and K. Slind, Correct Hardware Design and Verification Methods, LNCS 2860 (Springer-Verlag, 2003) pp. 200–215.

M. Gordon and T. Melham, Introduction to HOL: A Theorem Proving Environment for Higher-Order Logic (Cambridge University Press, Cambridge, UK, 1993).

M. Gordon, Formal Aspects Comput. 15, 406 (2003), DOI: 10.1007/s00165-003-0014-5 

Y. Gurevich, Specification and Validation Methods (Oxford University Press, 1995).

Y. Gurevich, B. Rossman and W. Schulte, Semantic essence of AsmL, Technical Report, Microsoft Research, MSR-TR-2004-27, March 2004.

A. Habibi, A framework for system level verification: The SystemC case, PhD thesis, Concordia University, Montreal, Canada (2005).

A. Habibi and S. Tahar, Electron. Notes Theor. Comput. Sci. 131, 39 (2005), DOI: 10.1016/j.entcs.2005.01.021 

J. Huggins, Abstract state machines website, http://www.eecs.umich.edu/gasm (2008).

M. L. McMillan, Symbolic Model Checking (Kluwer Academic Publishers, 1993).

H. Moinudeen, A. Habibi and S. Tahar, Design for verification of the PCI-X bus, IEEE Int. Conf. Formal Methods in Computer-Aided Design (IEEE Computer Society Press, 2006) pp. 187–188.

K. Oumalou, A. Habibi and S. Tahar, Design for verification of a PCI bus in SystemC, Symp. System-on-Chip (IEEE Computer Society Press, 2004) pp. 201–204.

PCI Special Interest Group, www.pcisig.com (2005).
Accellera Property Specification Language Reference Manual, Version 1.01, http://www.accellera.org (2008).

K. Shimizu, D. Dill and A. Hu, Formal Methods in Computer-Aided Design, LNCS 1954 (Springer-Verlag, 2000) pp. 335–353.
SystemVerilog, http://www.systemverilog.org (2008).

C. Wallace, Specification and Validation Methods (Oxford University Press, 1995) pp. 131–164.

R. Wang and Z. Wen, A verification environment for PCI-X BFMs in VERA, Technical report, Synopsys Inc. (2002).

K. Winter, Model checking abstract state machines, PhD thesis, Technical University of Berlin, Germany (2001).

C. C. Yu, System level assertion-based verification environment for PCI/PCI-X and PCI-express, VLSI Design/CAD Symp. (2004).