Premium
Design and verification of peripheral control circuits in Esterel
Author(s) -
Singh S.
Publication year - 2010
Publication title -
concurrency and computation: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.309
H-Index - 67
eISSN - 1532-0634
pISSN - 1532-0626
DOI - 10.1002/cpe.1426
Subject(s) - computer science , debugging , software , embedded system , field programmable gate array , programming language , computer architecture , computer hardware
We present a case study showing how an existing concurrent programming language can be used to produce either efficient control‐oriented circuits or embedded software from the same description. This description is also amenable to fully automatic formal verification and can be used to produce pairs of reconfigurable components which can be dynamically scheduled into either hardware or software resources. By using an existing concurrent language we increase the productivity because we can make use of readily available tools for debugging, analysis and verification. We believe that a language and a system that generates good software and hardware is a promising starting point for helping mainstream software developers target future manycore systems which will comprise a mixture of software and hardware components as well as provide a valuable technique for producing interchangeable reconfigurable components for run‐time reconfigurable FPGAs. Copyright © 2007 S. Singh. [Correction made here afterinitial online publication]