Debug environment for a multi user hardware assisted verification system

Abstract

Technologies for debugging hardware errors discovered during hardware assisted software verification processes are provided. For example, in one embodiment, a concurrent emulation debug environment including a concurrent emulation system, an emulation trace module and a model state module is provided. The concurrent emulation system includes an emulator and an emulation control station configured to allow simultaneous emulation of multiple electronic designs. The model state module is configured to record the state of the electronic designs during emulation and the emulation trace module is configured to capture trace data associated with the emulation. A backup and capture module is also disclosed that is configured to store the recorded state and the captured trace data for use during a hardware debug process.

What is claimed is: 
     
         1 . An emulation environment for debugging an electronic design concurrently emulated with other electronic designs, the emulation environment comprising:
 an emulation system including an emulator configurable to implement multiple electronic designs from a combined model of the multiple electronic designs;   an emulation trace module configured to capture trace data from a selected one or more of the multiple models during operation of the emulator; and   a model state module configured to capture state data corresponding to a selected one or more of the multiple models during operation of the emulator.   
     
     
         2 . The emulation environment recited in  claim 1 , further comprising test benches configured to perform a hardware assisted software verification process using ones of the multiple electronic designs as a resource. 
     
     
         3 . The emulation environment recited in  claim 1 , further comprising a test bench configured to perform a hardware assisted software verification process using a selected one of the multiple electronic designs as a resource, wherein the hardware assisted software verification process includes backing up the state of the selected one of the multiple electronic designs at a point during emulation and recording trace data associated with the emulation of the selected one of the multiple electronic designs. 
     
     
         4 . A computer-implemented method for debugging an electronic design concurrently emulated with other electronic designs, the method comprising:
 implementing an emulation model corresponding to multiple electronic designs in an emulator; and   initiating a hardware assisted software verification process on a selected one of the multiple electronic design using the emulator as a resource.   
     
     
         5 . The computer-implemented method recited in  claim 4 , further comprising:
 backing up the state of the selected one of the multiple electronic designs during the hardware assisted software verification process; and   recording trace data associated with the hardware assisted software verification process, the backed up state and the recorded trace data being usable to debug the selected one of the multiple electronic designs.   
     
     
         6 . The computer-implemented method recited in  claim 4 , further comprising:
 backing up the state of the selected one of the multiple electronic designs during the hardware assisted software verification process; and   recording trace data associated with the hardware assisted software verification process, the backed up state and the recorded trace data being usable to debug the selected one of the multiple electronic designs in a software hardware co-debug environment.   
     
     
         7 . The computer-implemented method recited in  claim 4 , further comprising initiating multiple hardware assisted software verification processes on selected ones of the multiple electronic designs. 
     
     
         8 . A computer readable medium storing computer executable instructions which when executed by a computer system perform a method, the method comprising:
 causing an emulation model corresponding to multiple electronic design to be loaded into an emulator; and   initiating a hardware assisted software verification process on a selected one of the multiple electronic design using the emulator as a resource.   
     
     
         9 . The computer readable medium recited in  claim 8 , wherein the method further comprises:
 backing up the state of the selected one of the multiple electronic designs during the hardware assisted software verification process; and   recording trace data associated with the hardware assisted software verification process, the backed up state and the recorded trace data being usable to debug the selected one of the multiple electronic designs.   
     
     
         10 . The computer readable medium recited in  claim 8 , wherein the method further comprises:
 backing up the state of the selected one of the multiple electronic designs during the hardware assisted software verification process; and   recording trace data associated with the hardware assisted software verification process, the backed up state and the recorded trace data being usable to debug the selected one of the multiple electronic designs in a software hardware co-debug environment.   
     
     
         11 . The computer readable medium recited in  claim 8 , wherein the method further comprises initiating multiple hardware assisted software verification processes on selected ones of the multiple electronic designs. 
     
     
         12 . The computer readable medium recited in  claim 8 , wherein the method further comprises initiating multiple hardware assisted software verification processes on selected ones of the multiple electronic designs using a regression testing methodology.