Dealing with the challenges of integrating hardware and software verification
By Sean Smith, Chief Verification Architect, Denali Software Inc.
(01/04/08, 01:38:00 AM EST) -- Embedded.com
The design verification industry has leaped forward from its simplistic roots when directed stimulus was used to perform verification with HDL. The approach has now shifted to using advanced programming techniques to create richer and reusable models; directed random stimulus to reduce test case writing efforts; and functional and code coverage to measure verification progress objectively.
While these techniques and methodologies have improved design quality and verification efficiency, there is still work to accomplish, especially for complex chip designs.
Chip-design teams already have a good grasp of block- and chip-level verification. System-level verification is now the arena where the biggest challenges and opportunities lie. The verification community—made up of the EDA industry and its users—is investing heavily to find solutions for this. Why? Because of software drivers and firmware.
Today's silicon intellectual property (SIP) and SoCs are increasingly dependent on firmware and device drivers as key deliverables for the end solution. In the current scenario, a silicon or IP provider must invest substantial resources to provide software IP along with their SIP. Gone were the days of waiting for silicon to arrive before developing and debugging device drivers and embedded software.
Often, design teams use an equivalent or greater number of software engineers in proportion to hardware engineers because the industry needs to further integrate hardware and software implementation and debug. This article explores challenges and solutions in the closer integration of software development and validation with silicon design and verification.
(01/04/08, 01:38:00 AM EST) -- Embedded.com
The design verification industry has leaped forward from its simplistic roots when directed stimulus was used to perform verification with HDL. The approach has now shifted to using advanced programming techniques to create richer and reusable models; directed random stimulus to reduce test case writing efforts; and functional and code coverage to measure verification progress objectively.
While these techniques and methodologies have improved design quality and verification efficiency, there is still work to accomplish, especially for complex chip designs.
Chip-design teams already have a good grasp of block- and chip-level verification. System-level verification is now the arena where the biggest challenges and opportunities lie. The verification community—made up of the EDA industry and its users—is investing heavily to find solutions for this. Why? Because of software drivers and firmware.
Today's silicon intellectual property (SIP) and SoCs are increasingly dependent on firmware and device drivers as key deliverables for the end solution. In the current scenario, a silicon or IP provider must invest substantial resources to provide software IP along with their SIP. Gone were the days of waiting for silicon to arrive before developing and debugging device drivers and embedded software.
Often, design teams use an equivalent or greater number of software engineers in proportion to hardware engineers because the industry needs to further integrate hardware and software implementation and debug. This article explores challenges and solutions in the closer integration of software development and validation with silicon design and verification.
To read the full article, click here
Related Semiconductor IP
- Band-Gap Voltage Reference with dual 2µA Current Source - X-FAB XT018
- 250nA-88μA Current Reference - X-FAB XT018-0.18μm BCD-on-SOI CMOS
- UCIe D2D Adapter & PHY Integrated IP
- Low Dropout (LDO) Regulator
- 16-Bit xSPI PSRAM PHY
Related Articles
- Bridging software and hardware to accelerate SoC validation
- 10 software tips for hardware engineers
- An introduction to offloading CPUs to FPGAs - Hardware programming for software developers
- The Power of Developing Hardware and Software in Parallel
Latest Articles
- SCENIC: Stream Computation-Enhanced SmartNIC
- Agentic AI-based Coverage Closure for Formal Verification
- Microarchitectural Co-Optimization for Sustained Throughput of RISC-V Multi-Lane Chaining Vector Processors
- RISC-V Functional Safety for Autonomous Automotive Systems: An Analytical Framework and Research Roadmap for ML-Assisted Certification
- Emulation-based System-on-Chip Security Verification: Challenges and Opportunities