Wronka et al., 2017 - Google Patents
Embedded software debug in simulation and emulation environments for interface IPWronka et al., 2017
View PDF- Document ID
- 7336581196304243885
- Author
- Wronka C
- Kotas J
- Publication year
- Publication venue
- Embedded Software Verification and Debugging
External Links
Snippet
This chapter presents an overview of different embedded software debug techniques enabled by recent advances in the EDA tools allowing either interactive or playback type debug of software and hardware (RTL) in a simulation of a complete system. Most of the …
- 238000004088 simulation 0 title abstract description 27
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3636—Software debugging by tracing the execution of the program
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3648—Software debugging using additional hardware
- G06F11/3656—Software debugging using additional hardware using a specific debug interface
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/50—Computer-aided design
- G06F17/5009—Computer-aided design using simulation
- G06F17/5022—Logic simulation, e.g. for logic circuit operation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3632—Software debugging of specific synchronisation aspects
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/26—Functional testing
- G06F11/261—Functional testing by simulating additional hardware, e.g. fault simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
- G06F11/3466—Performance evaluation by tracing or monitoring
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for programme control, e.g. control unit
- G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
- G06F9/44—Arrangements for executing specific programmes
- G06F9/455—Emulation; Software simulation, i.e. virtualisation or emulation of application or operating system execution engines
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3664—Environments for testing or debugging software
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F2217/00—Indexing scheme relating to computer aided design [CAD]
- G06F2217/86—Hardware-Software co-design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F3/00—Input arrangements for transferring data to be processed into a form capable of being handled by the computer; Output arrangements for transferring data from processing unit to output unit, e.g. interface arrangements
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F13/00—Interconnection of, or transfer of information or other signals between, memories, input/output devices or central processing units
- G06F13/10—Programme control for peripheral devices
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/3181—Functional testing
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US8180620B2 (en) | Apparatus and method for performing hardware and software co-verification testing | |
| Aarno et al. | Software and system development using virtual platforms: full-system simulation with wind river simics | |
| US10180850B1 (en) | Emulating applications that use hardware acceleration | |
| Eschweiler et al. | Test driven development for device drivers and rapid hardware prototyping | |
| KR20250057799A (en) | Verification system, verification method, electronic device and storage medium | |
| US10691580B1 (en) | Diagnosing applications that use hardware acceleration through emulation | |
| CN102841837B (en) | Software and hardware co-verification method based on simulator and system thereof | |
| US10664563B2 (en) | Concurrent testbench and software driven verification | |
| JP6600011B2 (en) | Efficient waveform generation for emulation | |
| CN110651250A (en) | Generating and verifying hardware instruction traces including memory data content | |
| US10664637B2 (en) | Testbench restoration based on capture and replay | |
| Hin et al. | Supporting RISC-V full system simulation in gem5 | |
| Tuzov et al. | BAFFI: a bit-accurate fault injector for improved dependability assessment of FPGA prototypes | |
| US9946624B1 (en) | Systems and methods to capture data signals from a dynamic circuit | |
| Corteggiani et al. | HardSnap: Leveraging hardware snapshotting for embedded systems security testing | |
| Fibich et al. | Fiji: Fault injection instrumenter | |
| US9898563B2 (en) | Modeling memory in emulation based on cache | |
| US20230267253A1 (en) | Automated synthesis of virtual system-on-chip environments | |
| Cho et al. | A full-system vm-hdl co-simulation framework for servers with pcie-connected fpgas | |
| Wronka et al. | Embedded software debug in simulation and emulation environments for interface IP | |
| CN116306392A (en) | Chip emulation device, method, electronic device and storage medium | |
| AbdElSalam | NVMe solid state drive verification solution using HW emulation and virtual device technologies | |
| Willenberg et al. | Simulation-based HW/SW co-debugging for field-programmable systems-on-chip | |
| US9075639B1 (en) | Systems and methods for handling interrupts during software design simulation | |
| US20180011956A1 (en) | Data Injection In Emulation Without Rebooting |