25,430 Hits in 10.1 sec

Automatic Hardware Synthesis from Specifications: A Case Study

Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer
2007 2007 Design, Automation & Test in Europe Conference & Exhibition  
The idea of automatic synthesis from specifications is old, but used to be completely impractical. Recently, great strides towards efficient synthesis from specifications have been made.  ...  We propose to use a formal specification language as a high-level hardware description language.  ...  We are grateful to Karin Greimel and Milan Milinkovic for their help with the implementation and to Margaret Rugira, Chris Styles and Colin Campbell at ARM for their help with understanding the specification  ... 
doi:10.1109/date.2007.364456 fatcat:le76okqzjbgcvbh5tvefvl2ew4

Automatic Formal Synthesis of Hardware from Higher Order Logic

Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind
2006 Electronical Notes in Theoretical Computer Science  
Introduction Our goal is to synthesise correct-by-construction hardware directly from mathematical specifications in higher order logic (HOL [5]).  ...  The 'synthesisable subset' of HOL is not intended to be fixed, but to grow as we do case studies. The compiler currently generates hardware to implement tail-recursive function definitions.  ...  Acknowledgements David Greaves gave us advice on the hardware implementation of handshake protocols and also helped us understand the results of simulating circuits produced by our compiler.  ... 
doi:10.1016/j.entcs.2005.10.003 fatcat:cmw4t4ctmze7dipfzvjtb2z4le

Generation of a Reconfigurable Probabilistic Decision-Making Engine based on Decision Networks: UAV Case Study (Interactive Presentation)

Sara Zermani, Catherine Dezan, Michael Wagner
2019 Design, Automation, and Test in Europe  
Making decisions under uncertainty is a common challenge in numerous application domains, such as autonomic robotics, finance and medicine.  ...  The proposed approach is validated with a simple Decision-Making example for UAV mission planning implemented on the Zynq SoC platform.  ...  Case Study of a Simple UAV Mission Plan In this section, we present a case study that validates the design flow up to implementation on the Zynq platform.  ... 
doi:10.4230/oasics.asd.2019.9 dblp:conf/date/ZermaniD19 fatcat:j7inzghkjrdntmjgpbuohj7ojq

Synthesis of AMBA AHB from formal specification: a case study

Yashdeep Godhal, Krishnendu Chatterjee, Thomas A. Henzinger
2011 International Journal on Software Tools for Technology Transfer (STTT)  
Our work is a case study of the synthesis of the widely and industrially used AMBA AHB protocol from formal specifications.  ...  An alternative approach is to use a formal specification language as a high-level hardware description language and synthesize hardware from formal specifications.  ...  We thank Barbara Jobstmann for explaining the changes made in the specifications from [1] to [2] .  ... 
doi:10.1007/s10009-011-0207-9 fatcat:amculbiksfbwbg5t37wpxlmgka

Compiling SCCharts — A Case-Study on Interactive Model-Based Compilation [chapter]

Christian Motika, Steven Smyth, Reinhard von Hanxleden
2014 Lecture Notes in Computer Science  
We have developed an Eclipse-based compilation chain that synthesizes SCCharts into either hardware or software.  ...  An interactive environment gives the user control over which transformations are applied and allows the user to inspect intermediate transformation results.  ...  In this case study our approach is used for designing and implementing a complex model railway controller.  ... 
doi:10.1007/978-3-662-45234-9_32 fatcat:ser3bnwgfrgxllpuyyrexzzjjm

Python as a hardware description language: A case study

J.I. Villar, J. Juan, M.J. Bellido, J. Viejo, D. Guerrero, J. Decaluwe
2011 2011 VII Southern Conference on Programmable Logic (SPL)  
This study is based on the independent application of Verilog and Python based flows to the development of a real peripheral.  ...  In this contribution, the approach proposed by the MyHDL package to use Python as an HDL is analyzed by making a comparative study.  ...  Section five presents and analyzes the obtained results. Finally section six presents the most relevant conclusions derived from this experience.  ... 
doi:10.1109/spl.2011.5782635 fatcat:fsxlwurkjbdidoyio6audtjktm

A Multi-Agent based Multimodal System Adaptive to the User's Interaction Context [chapter]

Manolo Dulva, Chakib Tadj, Amar Ramdane-Cherif, Nicole Levy
2011 Multi-Agent Systems - Modeling, Interactions, Simulations and Case Studies  
Multi-Agent based Multimodal System Adaptive to the User's Interaction Context Multi-Agent Systems -Modeling, Interactions, Simulations and Case Studies  ...  The term iNC IC denotes the i th interaction context parameter of the new case where i is a variable that loops from 1 to NCC.  ... 
doi:10.5772/14692 fatcat:334rc3yiurelbpvz4gskz2necu

A design process of musical interface "PocoPoco": An interactive artwork case study

Yuya Kikukawa, Toshiki Yoshiike, Tatsuhiko Suzuki, Takaharu Kanai, Tetsuaki Baba, Kumiko Kushiyama
2013 International Journal of Asia Digital Art and Design Association  
In this paper we present a design process of PocoPoco, explaining actual problems and solutions. Then we discuss the process to design a artistic and practical interface.  ...  From the beginning to the time when a professional artist used it for live performance, we were confronted with many problems and had to solve them.  ...  Though in the case of the prototype we used plywood for the casing, since this improvement we have used the casing consists from ABS resin. We designed 3D models and made them using a 3D printer.  ... 
doi:10.20668/adada.17.1_26 fatcat:zprht2awpvef7c5edlpzcfzmxa

A Case Study: Quantitative Evaluation of C-Based High-Level Synthesis Systems

Omar Hammami, Zhoukun Wang, Virginie Fresse, Dominique Houzet
2008 EURASIP Journal on Embedded Systems  
In this paper, we conduct through a case study an evaluation of C-based design of embedded systems and point out the impact of behavioral synthesis on embedded systems multiobjective high-level partitioning  ...  Some C-based tools have been proposed in this order through either true synthesis or estimation.  ...  Reference [4] presents a framework for the generation of embedded hardware/software from SystemC.  ... 
doi:10.1155/2008/685128 fatcat:rljnxyocbzckxdfv23xmb27moy

Evaluating OpenCL as a Standard Hardware Abstraction for a Model-based Synthesis Framework: A Case Study

Omair Rafique, Klaus Schneider
2019 Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development  
Evaluating OpenCL as a Standard Hardware Abstraction for a Model-based Synthesis Framework: A Case Study.  ...  The evaluation is presented as a case study to map a synchronous application on different target architectures using the OpenCL specification. 386 Rafique, O. and Schneider, K.  ...  Standard Hardware Abstraction for a Model-based Synthesis Framework: A Case Study  ... 
doi:10.5220/0007470503880395 dblp:conf/modelsward/Rafique019 fatcat:fdf4usk4ing67eky2ft7s7zcmq

CASE STUDIES for Dentistry: development of a tool to author interactive, multimedia, computer-based patient simulations

Louis M Abbey, Pamela Arnold, Lucy Halunko, Mary Beth Huneke, Stacie Lee
2003 Journal of Dental Education  
This article describes the development of CASE STUDIES for Dentistry (CSD), a patient case simulation building template, developed at Virginia Commonwealth University, with which authors who have no programming  ...  Robust feedback and other features allow students to learn both process and content in a self-directed, interactive environment.  ...  The traditional case presentation is exactly that-a presentation.  ... 
pmid:14733267 fatcat:fo2p3gqbyvdvlh4tdarby5axhe

ASIP Architecture Exploration for Efficient Ipsec Encryption: A Case Study [chapter]

Hanno Scharwaechter, David Kammler, Andreas Wieferink, Manuel Hohenauer, Kingshuk Karuri, Jianjiang Ceng, Rainer Leupers, Gerd Ascheid, Heinrich Meyr
2004 Lecture Notes in Computer Science  
In the case study, we used Blowfish as encryption algorithm and a MIPS architecture as main processor.  ...  To accomplish this task, design automation tools are used to detect bottlenecks in embedded applications, to implement application-specific instructions and to automatically generate the required software  ...  In this paper we present an architecture exploration case study for a coprocessor, supporting symmetric block cipher functionality using an ADL tool suite.  ... 
doi:10.1007/978-3-540-30113-4_4 fatcat:e477r42nlzbpjbl3u6y7p3txn4

A case study in embedded system design

Tullio Cuatto, Claudio Passeronge, Luciano Lavagno, Attila Jurecska, Antonino Damiano, Claudio Sansoè, A. Sangiovanni-Vincentelli, Alberto Sangiovanni-Vincentelli
1998 Proceedings of the 35th annual conference on Design automation conference - DAC '98  
A number of techniques and software t o ols for embedded system design have been recently proposed.  ...  To advance the state of the art it is important to address a number of relevant design problems and solve them to demonstrate the power of the new approaches.  ...  The case study is relevant because it represents an actual product and because of its complexity.  ... 
doi:10.1145/277044.277248 dblp:conf/dac/CuattoPLJDSS98 fatcat:gu6haoj5xffade5dw7txrhcf3e

Using Vivado-HLS for Structural Design: a NoC Case Study [article]

Zhipeng Zhao, James C. Hoe
2020 arXiv   pre-print
In this work, we carried out a design study to assess the effectiveness of applying Vivado-HLS in structural design.  ...  Interestingly, we find that describing a complete NoC comprising router submodules faces fundamental difficulties not present in describing the routers as standalone modules.  ...  In mapping C code to a datapath, Vivado-HLS can automatically make default implementation choices where the C specification is silent.  ... 
arXiv:1710.10290v2 fatcat:yg7owiclwbcchhltzbxjoysbo4

An Active Learning Didactic Proposal with Human-Computer Interaction in Engineering Education: A Direct Current Motor Case Study

Alejandro Said, Luis C. Félix-Herrán, Yasser A. Davizón, Carlos Hernandez-Santos, Rogelio Soto, Ricardo A. Ramírez-Mendoza
2022 Electronics  
This work presents a didactic proposal within the framework of active and collaborative learning that includes the flipped classroom technique to be applied in the curriculum of undergraduate engineering  ...  Additionally, as economic resources are generally limited, it is sought to avoid investing large sums of money in software and hardware, as well as in fitting out laboratories.  ...  Table 2 . 2 DC motor parameters for the case study simulation.  ... 
doi:10.3390/electronics11071059 fatcat:qgowgj4lpnbw5mublmiirzs2em
« Previous Showing results 1 — 15 out of 25,430 results