Browsing by Author "Hall, Thomas, S."

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    A Survey of Techniques for the Co-Verification of Hardware/Software Co-Designed Systems
    (2007) Hall, Thomas, S.; Kent, Kenneth, B.
    This paper describes the process of designing and verifying a hardware/software co-designed system. This is done by going through a complete case study involving polygon clipping algorithms as applied to computer graphics. As is the case in many software and hardware/software design processes, verification of the software part of the system is done using test scenarios while the hardware partition is verified using the SystemC Verification Standard methodology. This case study carries the design process through to a partial integration of the hardware and software partitions using SystemC simulation.
  • Thumbnail Image
    Item
    Design, Verification and Implementation of a Polygon Clipping Application Using Co-Design Techniques
    (2007) Hall, Thomas, S.; Kent, Kenneth, B.
    This paper describes the process of designing and verifying a hardware/software co-designed system. This is done by going through a complete case study involving polygon clipping algorithms as applied to computer graphics. As is the case in many software and hardware/software design processes, verification of the software part of the system is done using test scenarios while the hardware partition is verified using the SystemC Verification Standard methodology. This case study carries the design process through to a partial integration of the hardware and software partitions using SystemC simulation.