|
[1] VSI Alliance, Virtual Component Interface (VCI) Standard - OCB 2 1.0, URL: http://www.vsia.org, Mar. 2000. [2] K. Shimuzu, D. L. Dill, and A. J. Hu, “Monitor-Based Formal Specification of PCI,” in Proc. 3th Int. Conf. Formal Methods in Computer-Aided Design, pp. 335-353, Nov. 2000. [3] M. T. Oliviera and A. J. Hu, “High-Level Specification and Automatic Generation of IP Interface Monitors,” in Proc. 39th Design Automation Conf., pp. 129-134, June 2002. [4] A. J. Hu, J. Casus, and J. Yang, “Efficient Generation of Monitor Circuits for GSTE Assertion Graphs,” in Proc. IEEE/ACM Int. Conf. Computer-Aided Design, pp. 154-159, Nov. 2003. [5] J. Yuan, K. Shultz, C. Pixley, H. Miller, and A. Aziz, “Modeling Design Constraints and Biasing in Simulation Using BDDs,” in Proc. IEEE/ACM Int. Conf. Computer-Aided Design, pp. 584-589, Nov. 1999. [6] K. Shimizu and D. L. Dill, “Deriving a Simulation Input Generator and a Coverage Metric From a Formal Specification,” in Proc. 39th Design Automation Conf., pp. 801-806, June 2002. [7] A. Nightingale and J. Goodenough, “Testing for AMBA Compliance,” in Proc. 14th IEEE Int. ASIC/SOC Conf., pp. 301-305, Sept. 2001. [8] H. M. Lin, C. C. Yen, C. H. Shih, and J. Y. Jou, “On Compliance Test of On-Chip Bus for SOC,” in Proc. Asia and South Pacific Design Automation Conf., pp. 328-333, Jan. 2004. [9] P. Chauhan, E. M. Clarke, Y. Lu and D. Wang, “Verifying IP-Core based System-On-Chip Designs,” in Proc. 12th IEEE Int. ASIC/SOC Conf., pp. 27-31, Sept. 1999. [10] I. Beer, B. D. Shoham, C. Eisner, Y. Engel, R. Gewitzman and A. Landver,“Establishing PCI Compliance Using Formal Verification: A Case Study,” in Proc. 14th Int. Phoenix Conf. on Computation and Communications, pp. 373-377, Mar. 1995. [11] A. Roychoudhury, T. Mitra, and S.R. Karri,”Using formal techniques to Debug the AMBA System-on-Chip Bus Protocol,” in Proc. Design Automation and Test in Europe Conf., pp. 828- 833, 2003. [12] Property Specification Language URL: http://www.eda.org/vfv/docs/psl_lrm-1.01.pdf/ [13] Open Verification Library URL: http://www.verificationlib.org/. [14] OpenVera URL: http://www.opervera.org/. [15] SystemVerilog URL: http://www.systemverilog.org/. [16] Hardware Verification Group URL: http://hvg.ece.concordia.ca/ [17] T. Shanley and D. Anderson, PCI System Architecture, 4th Edition, Addison-Wesley Pub Co, 1999. [18] T. Shanley, K. Gettman, PCI-X System Architecture, Addison-Wesley Pub Co, 2001. [19] E. Solari, PCI and PCI-X Hardware and Software, 5th Edition, Annabooks, 2000. [20] PCI & AGP URL: http://members.hyperlink.net.au/~chart/pci.htm [21] PC-Guides URL: http://www.pcguide.com/ref/mbsys/buses/types/pci.htm [22] PCI BUS Info URL: http://www.neurophys.wisc.edu/comp/pci.html [23] AMBA AHB Specification URL: http://www.arm.com/armtech.nsf/html/AMBA?OpenDocument&style=AMBA [24] VIS URL: http://www-cad.eecs.berkeley.edu./~vis [25] Specman Elite URL: http://www.verisity.com/products/specman.html [26] Tcl/Tk URL: http://www.tcl.tk/software/tcltk [27] Visual Tcl URL: http://vtcl.sourceforge.net
|