Morasse Bob. Co-verification and system abstract level, Embedded Systems Programming, June 2000.
Tuck Barbara. The hardware/software coverification challenge, Computer Design, April 1998.
Rompaey Karl Van. A checklist for SOC hardware/software codesign, Electronic Systems, April 1999.
Foote Andy. Hardware/software co-development: A software engineer’s perspective, Integrated System Design, April 2000.
Albrecht Thomas W, Notbaur Johann, Rohringer Stefan, HW/SW Coverification performance estimation and benchmark for a 24 Embedded RISC core design, 35th Design Automation Conference, 1998.
Seamless CVE, Hardware/software co-verification technology, www.mentor. com.
Post Guido, Muller Andrea, Grotker Thorsten. A system-level co-verification environment for ATM hardware design, Proceedings of DATE’98.
Dreike Phil, McCoy James. Co-simulating software and hardware in embedded systems, Embedded Systems Programming, June 1997.
Berger Arnold S. Co-verification handles more complex embedded systems, Supplement to Electronic Design, March 9, 1998.
Leef Serge. Hardware and software co-verification-Key to co-design, Supplement to Electronic Design, March 9, 1998.
Zach Gregor, Wilson John. An evolution in system design and verification, Integrated System Design, March 1996.
Kenney Jim, Leef Serge. Speeding a design to market with co-verification, Wireless Systems Design, November 1997.
Singletary Alan. Run it first, then build it-Core emulation in IBM microelectronics, IBM-MicroNews Vol. 4, No. 1, First quarter, 1998.
Glaser Steve, Evans Ed. Hardware/software co-development and SOC verification, Electronics Engineer, September 1999.
Slomka Frank, Dorfel Matthias, ... Hardware/software codesign and rapid prototyping of embedded systems, IEEE Design and test of computers, April–June 2000.
Schulz Steven E. Modeling issues for co-verification, Integrated System Design, August 1995.
Schulz Steven E. Co-verification strategies in hardware-software co-design, Integrated System Design, August 1995.
Mittag Larry. Focus report: Embedded-software development tools, Integrated System Design, May 1997.
Shieh Eric. Reconfigurable computing accelerates verification, Integrated System Design, January 2000.
Ryherd Eric. Prototyping embedded microcontrollers in FPGAs, Embedded Systems Conference, Fall 1998.
Zak Ralph. A new approach to system level verification, www.aptix.com.
Browne Jack. Tools take aim at system-level verification, Wireless Systems Design, June 2000.
Li Alvin. System verification: essential for digital wireless system-on-chip (SOC) designs, www.aptix.com.
Kresta Dave, Johnson Tony. FPGA High-level design methodology comes into its own, Electronic Design, June 14, 1999.
Zeidman Bob. An introduction to FPGA design, Embedded Systems Conference 1999.
Zilmer Morten, Jensen Peter. MIPS EJTAG on-chip debug solution with complex break and real-time PC trace, www.lsil.com.
Ganssle Jack G. The state of the art of debuggers, Embedded Systems Programming, January 1999.
Nath Manju NS. On-chip debugging reaches a nexus, EDN, May 11, 2000.
Ryherd Eric. Software debuging on a single-chip system, Embedded Systems Programming, March 1998.
Stewart David B. 30 pitfalls for real-time software developers, Embedded Systems Programming, October 1999.
Howard Scott. A background debugging mode driver package for modular microcontrollers, Application note AN1230/D, www.motorola.com.
Jain Prem P, Ali Mohammad Saleem. Pre-silicon embedded software verification using a virtual prototype, Embedded Systems Conference, 1999.
Vink Gerard. Trends in debugging technology, Embedded Systems Conference, 1999.
Siyami Aiamak. Debugging tools, trends and tradeoffs in an embedded design project, Embedded Systems Conference, 1999.
The ARMulator, Application note 32, www.arm.com.
Whittaker James A. What is software testing? and why is it so hard?, IEEE Software January/February 2000.
Bhagat Robin. Software design methodology for system-on-chip, www.palmchip.com.
Peters Kenneth H. Softwre development and debug for system-on-a-chip, Embedded Systems Conference, Spring 1999.
Berger Arnie, Payne Jeff. Software development and debug methods for systems-on-silicon, Embedded Systems Conference, Spring 1999.
Berge Jean-Michel, Levia Oz, Rouillard Jacques. Hardware/Software Co-Design and Co-Verification: Current Issues in Electronic Modeling, Kluwer Academic Publishers, 1997.
Myers Glenford J. Art of Software Testing, John Wiley & Sons, 1979.
Kit Edward, Finzi Susannah. Software Testing in the Real World, Addison Wesley, 1995.
Hetzel, William. The Complete Guide to Software Testing, Second Edition, John Wiley & Sons, 1993.