Skip to main content

Hardware/Software Co-verification

  • Chapter
  • 347 Accesses

Summary

Co-verifying hardware and software in an SOC device calls for new methodologies and tools. The amount of software in SOC devices is also increasing, so software debugging early in design development is even more critical.

Keywords

  • Field Programmable Gate Array
  • Processor Model
  • Rapid Prototype System
  • Simple Block Diagram
  • Field Programmable Gate Array Implementation

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/0-306-46995-2_6
  • Chapter length: 81 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   169.00
Price excludes VAT (USA)
  • ISBN: 978-0-306-46995-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   219.99
Price excludes VAT (USA)
Hardcover Book
USD   249.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Morasse Bob. Co-verification and system abstract level, Embedded Systems Programming, June 2000.

    Google Scholar 

  2. Tuck Barbara. The hardware/software coverification challenge, Computer Design, April 1998.

    Google Scholar 

  3. Rompaey Karl Van. A checklist for SOC hardware/software codesign, Electronic Systems, April 1999.

    Google Scholar 

  4. Foote Andy. Hardware/software co-development: A software engineer’s perspective, Integrated System Design, April 2000.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. Seamless CVE, Hardware/software co-verification technology, www.mentor. com.

    Google Scholar 

  7. Post Guido, Muller Andrea, Grotker Thorsten. A system-level co-verification environment for ATM hardware design, Proceedings of DATE’98.

    Google Scholar 

  8. Dreike Phil, McCoy James. Co-simulating software and hardware in embedded systems, Embedded Systems Programming, June 1997.

    Google Scholar 

  9. Berger Arnold S. Co-verification handles more complex embedded systems, Supplement to Electronic Design, March 9, 1998.

    Google Scholar 

  10. Leef Serge. Hardware and software co-verification-Key to co-design, Supplement to Electronic Design, March 9, 1998.

    Google Scholar 

  11. Zach Gregor, Wilson John. An evolution in system design and verification, Integrated System Design, March 1996.

    Google Scholar 

  12. Kenney Jim, Leef Serge. Speeding a design to market with co-verification, Wireless Systems Design, November 1997.

    Google Scholar 

  13. Singletary Alan. Run it first, then build it-Core emulation in IBM microelectronics, IBM-MicroNews Vol. 4, No. 1, First quarter, 1998.

    Google Scholar 

  14. Glaser Steve, Evans Ed. Hardware/software co-development and SOC verification, Electronics Engineer, September 1999.

    Google Scholar 

  15. Slomka Frank, Dorfel Matthias, ... Hardware/software codesign and rapid prototyping of embedded systems, IEEE Design and test of computers, April–June 2000.

    Google Scholar 

  16. Schulz Steven E. Modeling issues for co-verification, Integrated System Design, August 1995.

    Google Scholar 

  17. Schulz Steven E. Co-verification strategies in hardware-software co-design, Integrated System Design, August 1995.

    Google Scholar 

  18. Mittag Larry. Focus report: Embedded-software development tools, Integrated System Design, May 1997.

    Google Scholar 

  19. Shieh Eric. Reconfigurable computing accelerates verification, Integrated System Design, January 2000.

    Google Scholar 

  20. Ryherd Eric. Prototyping embedded microcontrollers in FPGAs, Embedded Systems Conference, Fall 1998.

    Google Scholar 

  21. Zak Ralph. A new approach to system level verification, www.aptix.com.

    Google Scholar 

  22. Browne Jack. Tools take aim at system-level verification, Wireless Systems Design, June 2000.

    Google Scholar 

  23. Li Alvin. System verification: essential for digital wireless system-on-chip (SOC) designs, www.aptix.com.

    Google Scholar 

  24. Kresta Dave, Johnson Tony. FPGA High-level design methodology comes into its own, Electronic Design, June 14, 1999.

    Google Scholar 

  25. Zeidman Bob. An introduction to FPGA design, Embedded Systems Conference 1999.

    Google Scholar 

  26. Zilmer Morten, Jensen Peter. MIPS EJTAG on-chip debug solution with complex break and real-time PC trace, www.lsil.com.

    Google Scholar 

  27. Ganssle Jack G. The state of the art of debuggers, Embedded Systems Programming, January 1999.

    Google Scholar 

  28. Nath Manju NS. On-chip debugging reaches a nexus, EDN, May 11, 2000.

    Google Scholar 

  29. Ryherd Eric. Software debuging on a single-chip system, Embedded Systems Programming, March 1998.

    Google Scholar 

  30. Stewart David B. 30 pitfalls for real-time software developers, Embedded Systems Programming, October 1999.

    Google Scholar 

  31. Howard Scott. A background debugging mode driver package for modular microcontrollers, Application note AN1230/D, www.motorola.com.

    Google Scholar 

  32. Jain Prem P, Ali Mohammad Saleem. Pre-silicon embedded software verification using a virtual prototype, Embedded Systems Conference, 1999.

    Google Scholar 

  33. Vink Gerard. Trends in debugging technology, Embedded Systems Conference, 1999.

    Google Scholar 

  34. Siyami Aiamak. Debugging tools, trends and tradeoffs in an embedded design project, Embedded Systems Conference, 1999.

    Google Scholar 

  35. The ARMulator, Application note 32, www.arm.com.

    Google Scholar 

  36. Whittaker James A. What is software testing? and why is it so hard?, IEEE Software January/February 2000.

    Google Scholar 

  37. Bhagat Robin. Software design methodology for system-on-chip, www.palmchip.com.

    Google Scholar 

  38. Peters Kenneth H. Softwre development and debug for system-on-a-chip, Embedded Systems Conference, Spring 1999.

    Google Scholar 

  39. Berger Arnie, Payne Jeff. Software development and debug methods for systems-on-silicon, Embedded Systems Conference, Spring 1999.

    Google Scholar 

  40. Berge Jean-Michel, Levia Oz, Rouillard Jacques. Hardware/Software Co-Design and Co-Verification: Current Issues in Electronic Modeling, Kluwer Academic Publishers, 1997.

    Google Scholar 

  41. Myers Glenford J. Art of Software Testing, John Wiley & Sons, 1979.

    Google Scholar 

  42. Kit Edward, Finzi Susannah. Software Testing in the Real World, Addison Wesley, 1995.

    Google Scholar 

  43. Hetzel, William. The Complete Guide to Software Testing, Second Edition, John Wiley & Sons, 1993.

    Google Scholar 

Download references

Rights and permissions

Reprints and Permissions

Copyright information

© 2002 Kluwer Academic Publishers

About this chapter

Cite this chapter

(2002). Hardware/Software Co-verification. In: System-on-a-Chip Verification. Springer, Boston, MA. https://doi.org/10.1007/0-306-46995-2_6

Download citation

  • DOI: https://doi.org/10.1007/0-306-46995-2_6

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-0-7923-7279-0

  • Online ISBN: 978-0-306-46995-4

  • eBook Packages: Springer Book Archive