Software Simulation of SoC Co-verification
Wuchen Wu
Abstract
Wuchen Wu
Abstract
This paper introduces the software simulation flow of SoC hardware/software coverification.An example of software for verifing the UART is given.Using GNU toolchain development programs,the application of SoC co-verification is developed.The simulation shows the result of software simulation is correct.Configuring the GNU toolchain is based on CPU,so the design flow is universal for SoC application used in co-verification.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
This paper introduces the software simulation flow of SoC hardware/software coverification.An example of software for verifing the UART is given.Using GNU toolchain development programs,the application of SoC co-verification is developed.The simulation shows the result of software simulation is correct.Configuring the GNU toolchain is based on CPU,so the design flow is universal for SoC application used in co-verification.
Key concepts: Toolchain, Computer science, Software verification, Verification and validation, Universal asynchronous receiver/transmitter, Embedded system, Software, Software construction