View source for Electronic system-level design and verification

'''Electronic system level (ESL) design and verification''' is an electronic design methodology, focused on higher abstraction level concerns.  The term ''Electronic System Level'' or ''ESL Design'' was first defined by [[Gartner|Gartner Dataquest]], an EDA-industry-analysis firm, on February 1, 2001.<ref>[http://www.accessmylibrary.com/coms2/summary_0286-25381633_ITM Information and results for 'System-level design merits a closer look: the complexity of today's designs requires system-level. However, EDA-tools development is lagging behind the needs of semiconductor and systems companies, and EDA tools must provide support.(Cover Story)' | AccessMyLibrary - Promoting library advocacy]. AccessMyLibrary. Retrieved on 2013-08-10.</ref> It is defined in ''ESL Design and Verification'' <ref>Brian Bailey, Grant Martin and Andrew Piziali, ''ESL Design and Verification: A Prescription for Electronic System Level Methodology''. [[Morgan Kaufmann]]/[[Elsevier]], 2007.</ref> as: "the utilization of appropriate abstractions in order to increase comprehension about a system, and to enhance the probability of a successful implementation of functionality in a cost-effective manner."

The basic premise is to model the behavior of the entire system using a low-level language such as [[C (programming language)|C]], [[C++]], or using graphical "model-based" design tools. Newer languages are emerging that enable the creation of a model at a higher level of abstraction including general purpose system design languages like [[SysML]] as well as those that are specific to embedded system design like SMDL and SSDL. Rapid and correct-by-construction implementation of the system can be automated using [[Electronic design automation|EDA]] tools such as [[high-level synthesis]] and [[embedded software]] tools, although much of it is performed manually today. ESL can also be accomplished through the use of [[SystemC]] as an abstract [[modeling language]].

ESL is an established approach at many of the world’s leading [[System-on-a-chip]] (SoC) design companies, and is being used increasingly in [[system design]].<ref>{{cite book|last1=Adamov|first1=Alexander|title=2007 9th International Conference - the Experience of Designing and Applications of CAD Systems in Microelectronics|chapter=Electronic System Level Models for Functional Verification of System-on-Chip|pages=348–350|publisher=CAD Systems in Microelectronics|doi=10.1109/CADSM.2007.4297576|year=2007|s2cid=1942674 }}</ref> From its genesis as an [[algorithm]] [[computer model|modeling]] methodology with 'no links to implementation', ESL is evolving into a set of complementary methodologies that enable embedded system design, verification, and [[debugging]] through to the [[Computer hardware|hardware]] and [[Computer software|software]] implementation of custom [[System-on-a-chip|SoC]], system-on-[[FPGA]], system-on board, and entire multi-board systems.

Design and verification are two distinct disciplines within this methodology. Some practices are to keep the two elements separate, while others advocate for closer integration between design and verification.<ref>{{cite web|last1=Moretti|first1=Gabe|title=Design and Verification Need a Closer Relationship|url=http://chipdesignmag.com/sld/blog/2015/08/19/design-and-verification-need-a-closer-relationship/|website=Chip Design Mag}}</ref>

== Design ==
Whether ESL or other systems, design refers to "the concurrent design of the hardware and software parts of an electronic product."<ref>{{cite web|last1=Perrier|first1=Vincent|title=A look inside electronic system level (ESL) design|url=http://www.eetimes.com/document.asp?doc_id=1276969}}</ref>

== Tools ==
There are various types of EDA tool used for ESL design.  The key component is the Virtual Platform which is essentially a simulator.  The Virtual Platform most commonly supports [[Transaction-level modeling]] (TLM), where operations of one component on another are modelled with a simple method call between the objects modelling each component. This abstraction gives a considerable speed up over cycle-accurate modelling, since thousands of net-level events in the real system can be represented by simply passing a pointer, e.g. to model that an Ethernet packet has been received, SystemC is often used.

Other tools support import and export or intercommunication with components modelled at other levels of abstraction.  For instance, an RTL component be converted into a [[SystemC]] model using VtoC<ref>{{cite web|last1=Stoy|first1=William|title=Using VTOC for Large SoC Concurrent Engineering: A Real-World Case Study|url=http://www.cl.cam.ac.uk/users/djg11/pubs/Using-VTOC-for-Large-SoC-Concurrent-Engineering-A-Real-World-Case-Study.pdf}}</ref> or Verilator.  And [[High Level Synthesis]] can be used to convert C models of a component into an RTL implementation.

== Verification ==
In ESL design and verification, verification testing is used to prove the integrity of the design of the system or device. Numerous verification techniques may be applied; these test methods are usually modified or customized to better accommodate the system or device under test. Common ESL verification methods include, but are not limited to:<ref>{{cite web|title=Independent Verification|url=http://newwavedv.com/services/independent-verification/|website=New Wave Design & Verification}}</ref>

* Modular architecture
* Constrained random stimulus generation
* Error injection
* Complete simulation environments

Verification is often provided by the system/device designer, but in many instances, additional independent verification is required

== Challenges and criticism ==
Some criticisms of ESL design and verification have been raised. These include too much focus on C-based languages and challenges in representing parallel processes.<ref>{{cite web|title=ESL Explained|url=http://www.ni.com/newsletter/50142/en/|website=National Instruments}}</ref> It can also be argued that ESL design and verification is a subset of [[verification and validation]].

== See also ==
*[[High-level synthesis]]
*[[High-level verification]]
*[[Electronic design automation]]
*[[Platform-based design]]
*[[Integrated circuit design]]
*[[Register-transfer level]]
*[[Property Specification Language]]
*[[Virtual prototyping]]
*[[SystemC]]
*[[SystemC AMS]]
*[[Systems engineering]]
*[[SystemVerilog]]
*[[Transaction-level modeling]] (TLM)

== References ==
{{Reflist}}

== Further reading ==
* {{cite book|editor=Wai-Kai Chen|title=The VLSI handbook|year=2007|publisher=CRC Press|isbn=978-0-8493-4199-1|edition=2nd|chapter=System-Level Design|id=chapter 76|author1=Alice C. Parker|author1-link=Alice C. Parker|author2= Yosef Tirat-Gefen|author3= Suhrid A. Wadekar}}
* {{cite book|author1=Brian Bailey|author2=Grant Martin|title=ESL Models and Their Application: Electronic System Level Design and Verification in Practice|year=2010|publisher=Springer|isbn=978-1-4419-0964-0}}
* {{cite book|author1=Frank Rogin|author2=Rolf Drechsler|title=Debugging at the Electronic System Level|year=2010|publisher=Springer|isbn=978-90-481-9254-0}}
* {{cite book|author=Liming Xiu|title=VLSI circuit design methodology demystified: a conceptual taxonomy|year=2007|publisher=Wiley-IEEE|isbn=978-0-470-12742-1}}

[[Category:Electronic design automation]]