- Electronic system level
Electronic System Level (ESL) design and verification is an emerging electronic design methodology that focuses on the higher abstraction level concerns first and foremost. It is defined in the "ESL Design and Verification" book [Brian Bailey, Grant Martin and Andrew Piziali, "ESL Design and Verification: A Prescription for Electronic System Level Methodology".
Morgan Kaufmann /Elsevier , 2007.] 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 high-level language such as C,
C++ , orMATLAB . Rapid and correct-by-construction implementation of the system can be automated using EDA andembedded software tools, although much of it is performed manually today. ESL can also be accomplished through the use ofSystemC as an abstractmodeling language .Electronic System Level is now an established approach at most of the world’s leading
System-on-a-chip (SoC) design companies, and is being used increasingly insystem design . From its genesis as analgorithm modeling methodology with ‘no links to implementation’, ESL is evolving into a set of complementary methodologies that enable embedded system design, verification, anddebugging through to the hardware and software implementation of custom SoC, system-on-FPGA , system-on-board, and entire multi-board systems.Companies active in ESL include (in alphabetical order): ARM,
Bluespec ,Cadence , Calypto,CebaTech , Celoxica,CoWare ,Esterel Technologies , Forte Design Systems, GRECO (PDesigner), Imperas, Impulse Accelerated Technologies, Jeda, MAGILLEM,The MathWorks ,Mentor Graphics , PDTi,Synopsys , Vayavya Labs,Xilinx , etc.An open source project called GreenSocs exists that aims to provide infrastructure for ESL (mostly based on
SystemC ) [ [http://www.greensocs.com/ GreenSocs open source project website] .] .See also
*
Electronic design automation
*Integrated circuit design
*Register transfer level
*Algorithm design References
External links
* [http://communities.mentor.com/mgcx/community/asic_fpga/esl Mentor Graphics ESL User Community]
* [http://ElectronicSystemLevel.com/phpBB/index.php Discussion forum]
Wikimedia Foundation. 2010.