Heish, H., Lavagno, L., Passerone, C., Sansoe, C., and San Giovanni-Vincentelli, A. 1997. Modeling microcontroller peripherals for high-level co-simulation and syntheis. In Proceeding of Fifth International Workshop on Hardware/Software Codesign (Braunschweig, Germany, March 1997).  Home/Search   Document Not in Database   Summary   Related Articles

.... the whole development of the design (that is, from the specification of the requirements to the implementation of the modules that form the system and the corresponding communication interfaces) Several design methodologies have been proposed in literature [Gupta et al. 1994] Chou et al. 1995] [Heish et al. 1997]. In general, they agree on the presence of a specification phase, a partitioning phase, and a synthesis phase. One of the fundamental aspects of any CoDesign methodologies is the technique used to define the requirements of the system,because it affects the other phases. A specification technique ....

....main problems of this approach is that the resulting FSM can have a high number of states. This becomes a problem when the specification is big and makes great use of concurrency. Esterel is currently used as a specification language in CoDesign methodology developed at Berkeley University (POLIS) [Heish et al. 1997]. Besides, many studies have been carried out in order to find an effective hardware implementation of an Esterel specification [Berry and Touati 1993] StateChart is a graphic specification language based on FSM that permits (among other things) the hierarchical decomposition of the ....

Heish, H., Lavagno, L., Passerone, C., Sansoe, C., and San Giovanni-Vincentelli, A. 1997. Modeling microcontroller peripherals for high-level co-simulation and syntheis. In Proceeding of Fifth International Workshop on Hardware/Software Codesign (Braunschweig, Germany, March 1997).

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC