Filters








23 Hits in 4.0 sec

Microarchitecture development via metropolis successive platform refinement

D. Densmore, S. Rekhi, A. Sangiovanni-Vincentelli
Proceedings Design, Automation and Test in Europe Conference and Exhibition  
In this case study, we focus on a particular aspect of this methodology that eases considerably the verification process: successive refinement.  ...  Present applications require the development of complex systems to support novel functionality.  ...  Acknowledgements Thanks to entire Metropolis design team in particular Yoshi Watanabe, Guang Yang, Felice Balarin, Alessando Pinto, John Moondanos, Harry Hsieh, and Cypress' Sri Purisai.  ... 
doi:10.1109/date.2004.1268871 dblp:conf/date/DensmoreRS04 fatcat:v3faeueporgpfjf7b6damjun6q

Platform-based design and software design methodology for embedded systems

A. Sangiovanni-Vincentelli, G. Martin
2001 IEEE Design & Test of Computers  
The Metropolis system, under development with GSRC sponsorship, embodies the approach we have presented.  ...  This process, called successive refinement, is one of the mainstays of our embedded-software methodology.  ...  His research interests include system-level design, systems on chips, platform-based design, and embedded software.  ... 
doi:10.1109/54.970421 fatcat:sml4bys7zff25m2pqmzws2vmq4

UMTS MPSoC design evaluation using a system level design framework

D. Densmore, A. Simalatsar, A. Davare, R. Passerone, A. Sangiovanni-Vincentelli
2009 2009 Design, Automation & Test in Europe Conference & Exhibition  
RELATED WORK The Metropolis [3] design framework was the precursor of Metro II and it was developed for supporting the PBD methodology.  ...  Platform-based design (PBD) was developed with these goals in mind. A methodology can be applied even in the absence of supporting tools and flows.  ... 
doi:10.1109/date.2009.5090712 dblp:conf/date/DensmoreSDPS09 fatcat:5iiqavkegrf4vd5fgonanb7b5y

Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design

Alberto Sangiovanni-Vincentelli
2007 Proceedings of the IEEE  
Unified Modeling Language (UML): UML [31] is an approach to software development that stresses a successive refinement approach to software design.  ...  refinement via mapping of function to architecture are not all present at the same time. 1) Polis System: The Polis System was developed in the early 1990s at Berkeley [17] .  ... 
doi:10.1109/jproc.2006.890107 fatcat:gtargbuwf5hztmjvzoecubtbea

The Art and Science of Integrated System Design

L. Carloni, F. De Bernardinis, A. Sangiovanni Vincencentelli, M. Sgroi
2002 32nd European Solid-State Device Research Conference  
A platform is an abstraction layer that hides the details of several possible implementation refinements of the underlying layers.  ...  We present platform-based design as the overarching principle to develop a class of methodologies that satisfy in part the requirements set above.  ...  The procedure we propose is based on the concept of successive refinement: successive because it usually consists of a sequence of steps and refinement because at each step the communication is specified  ... 
doi:10.1109/essderc.2002.194867 fatcat:g2mv45325jdyhoik2bmb763lua

Electronic System-Level Synthesis Methodologies

A. Gerstlauer, C. Haubelt, A.D. Pimentel, T.P. Stefanov, D.D. Gajski, J. Teich
2009 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
In this paper, we develop and propose a novel classification for ESL synthesis tools, and we will present six different academic approaches in this context.  ...  For SCE, we would like to acknowledge the main developers, namely Rainer Dömer, Junyu Peng, Dongwan Shin and Quoc-Viet Dang.  ...  Metropolis Metropolis [37] is a modeling and simulation environment based on the platform-based design paradigm [38] .  ... 
doi:10.1109/tcad.2009.2026356 fatcat:vkvmjvxvvrbx5n3xnvbrjaerl4

Platform-Based Design for Embedded Systems [chapter]

Marco Sgroi, Alberto Sangiovanni-Vincentelli, Fernando De Bernardinis, Claudio Pinello, Luca Carloni
2005 Embedded Systems Handbook  
Platform-based design is a meet-in-the-middle process, where successive refinements of specifications meet with abstractions of potential implementations that are captured in the models of the elements  ...  A platform is an abstraction layer that hides the details of several possible implementation refinements of the underlying layers.  ...  Felice Balarin, Jerry Burch, Roberto Passerone, Yoshi Watanabe and the Cadence Berkeley Labs team have been invaluable in contributing to the theory of metamodels and the Metropolis framework.  ... 
doi:10.1201/9781420038163.ch22 fatcat:v2m4si6azbcejdd3kvybgsh2u4

SystemC/C-based model-driven design for embedded systems

Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini
2009 ACM Transactions on Embedded Computing Systems  
Section 6 illustrates the notion of model refinement (carried out at UML level) focusing, in particular, on the communication refinement aspect.  ...  and platform-specific models.  ...  The platform-based design is essentially a meet-in-the-middle process where successive refinements of specifications meet with abstractions of potential implementations.  ... 
doi:10.1145/1550987.1550993 fatcat:ikn2b5yenrf5xh5nxsakzvo5km

ASAM: Automatic Architecture Synthesis and Application Mapping

Lech Jozwiak, Menno Lindwer, Rosilde Corvino, Paolo Meloni, Laura Micconi, Jan Madsen, Erkan Diken, Deepak Gangadharan, Roel Jordans, Sebastiano Pomata, Paul Pop, Giuseppe Tuveri (+1 others)
2012 2012 15th Euromicro Conference on Digital System Design  
A given phase can also ask the successive phases for services.  ...  The developed platform is composed of several ASAM sub-tools that interact with each other and of several commercial tools.  ... 
doi:10.1109/dsd.2012.28 dblp:conf/dsd/JozwiakLCMMMDGJPPTR12 fatcat:et5s2vcnhzbfrae2jufsqzq4gy

Computation and communication refinement for multiprocessor SoC design

Radu Marculescu, Umit Y. Ogras, Nicholas H. Zamora
2006 ACM Transactions on Design Automation of Electronic Systems  
The methodology we advocate consists of developing abstract application and platform models, followed by application mapping onto the target platform, and then optimizing the overall system via performance  ...  In addition, a communication refinement step is critical for optimizing the communication infrastructure in this multiprocessor setup.  ...  Towards this end, we presented a communication-centric approach where abstract application and platform models are used to optimize the system via performance analysis.  ... 
doi:10.1145/1142980.1142983 fatcat:mqdulmqw5ngmljor6imi5c3z5i

On Mixed Abstraction, Languages, and Simulation Approach to Refinement with SystemC AMS

Yaseen Zaidi, Christoph Grimm, Jan Haase
2010 EURASIP Journal on Embedded Systems  
This work presents cosimulating refined models with timed data flow paradigm of SystemC AMS. The methodology uses C-based interaction between simulators.  ...  The methodology is flexible and can be applied in early design decision tradeoff, architecture experimentation, and particularly for model refinement and critical behavior analysis.  ...  Both wrappers communicate via TCP/IP sockets.  ... 
doi:10.1155/2010/489365 fatcat:xww3ilnwkjfezjniao7rmqffie

ASAM: Automatic architecture synthesis and application mapping

Lech Jozwiak, Menno Lindwer, Rosilde Corvino, Paolo Meloni, Laura Micconi, Jan Madsen, Erkan Diken, Deepak Gangadharan, Roel Jordans, Sebastiano Pomata, Paul Pop, Giuseppe Tuveri (+2 others)
2013 Microprocessors and microsystems  
Generic ASIP architecture of the targeted MPSoC platform.  ...  Issues and challenges of the ASIP-based MPSoC development The realization of complex and highly demanding applications, for which the presented ASIP technology is suitable, requires Fig. 1.  ...  However, the initial versions of the tools have to be extended and refined, and a few interfaces among the tools are still under development.  ... 
doi:10.1016/j.micpro.2013.08.006 fatcat:tztiewd7vzfc5jtki2tcwursca

Thermodynamic Computing [article]

Tom Conte, Erik DeBenedictis, Natesh Ganesh, Todd Hylton, John Paul Strachan, R. Stanley Williams, Alexander Alemi, Lee Altenberg, Gavin Crooks, James Crutchfield, Lidia del Rio, Josh Deutsch, Michael DeWeese (+26 others)
2019 arXiv   pre-print
In thermodynamic parlance, machine learning systems evolve structure via parameter refinement (on a cost/loss/energy function) to exploit (informational) free energy in the data sets on which they are  ...  An overarching principle for these ◗ Extend non-equilibrium fluctuation theorem development toward the domain of thermodynamic computing; ◗ Develop model systems to support the refinement of thermodynamic  ... 
arXiv:1911.01968v2 fatcat:uz4vlzhr3jfdxpbmyy6jq56dty

Automatic generation of hardware/software interfaces

Myron King, Nirav Dave, Arvind
2012 Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '12  
Because of time-to-market pressure, current design methodologies for embedded applications require an early partitioning of the design, allowing the hardware and software to be developed simultaneously  ...  Jamey Hicks and John Ankorn of NRC-Cambridge for their input at the start of this project, the team at Bluespec Inc. for their technical support, Asif Khan of CSAIL for his invaluable help with FPGA platforms  ...  This property of interfaces also enables modular refinement of a design; moving a module from hardware to software is modular refinement [38] .  ... 
doi:10.1145/2150976.2151011 dblp:conf/asplos/KingDA12 fatcat:muhuovmeibeixajcvcn5shf2sq

Automatic generation of hardware/software interfaces

Myron King, Nirav Dave, Arvind
2012 SIGARCH Computer Architecture News  
Because of time-to-market pressure, current design methodologies for embedded applications require an early partitioning of the design, allowing the hardware and software to be developed simultaneously  ...  Jamey Hicks and John Ankorn of NRC-Cambridge for their input at the start of this project, the team at Bluespec Inc. for their technical support, Asif Khan of CSAIL for his invaluable help with FPGA platforms  ...  This property of interfaces also enables modular refinement of a design; moving a module from hardware to software is modular refinement [38] .  ... 
doi:10.1145/2189750.2151011 fatcat:lfqc37ya6beftjfax3p4xnzmtu
« Previous Showing results 1 — 15 out of 23 results