ESL anyone?
Chad Spackman, verification technologist, Open-Silicon
EETimes (2/2/2011 6:24 AM EST)
Electronic System Level (ESL) methodologies have been available for some time now. Who’s using them and what are they doing with them? Let’s begin with a broad and simplistic definition of ESL. ESL is ASIC or FPGA design and/or verification which leverages highly abstract software programming languages. By that definition, ESL enjoys noteworthy acceptance in the verification space. Object oriented programming languages such as C++, SystemC, SystemVerilog, and specman, are being used within larger verification frameworks allowing verification to be performed far above the pin and vector level that was once required. Verification using highly abstract testbenches is performed by engineers who understand the specification but not necessarily the design. Constrained randomized testing is used to obtain excellent functional coverage even in very large designs bound by simulation speed. The fundamental problem solved by ESL in the verification space is a nearly virtual high-level connection between a purely software test infrastructure and a pin level connection to the DUT.
What about with respect to design? Tools companies both large and small have been developing abstract design entry methods for more than a decade now. Acceptance is seemingly limited. What problems did ESL in design entry set out to solve and what has been accomplished?
To assess where ESL is today, let’s briefly have a look at the past progression of design entry methods and the fundamental motivations behind the progressions.
To read the full article, click here
Related Semiconductor IP
- Verification IP for C-PHY
- 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
Related Articles
- Executable SystemC environment will drive ESL adoption
- A look inside electronic system level (ESL) design
- ESL 'ecosystem' enables power-efficient Application specific instruction processors (ASIPs)
- TLM Peripheral Modeling for Platform-Driven ESL Design Using the SystemC Modeling Library
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