Filters








159 Hits in 3.8 sec

From VHDL to efficient and first-time-right designs: a formal approach

Peter F. A. Middelhoek, Sreeranga P. Rajan
1996 ACM Transactions on Design Automation of Electronic Systems  
in VHDL.  ...  As a demonstration of an industrial application we use a video processing algorithm needed for the conversion from a line-interlaced to progressively scanned video format.  ...  ACKNOWLEDGMENTS The authors wish to thank their colleagues at IMEC (Z. Sahraoui  ... 
doi:10.1145/233539.233541 fatcat:yq72f3twtzeyxgwdmm7kbzkcyq

Formal verification of analog and mixed signal designs: A survey

Mohamed H. Zaki, Sofiène Tahar, Guy Bois
2008 Microelectronics Journal  
Researchers started lately studying the applicability of formal methods for the verification of AMS systems as a way to tackle the limitations of conventional verification methods like simulation.  ...  In contrast to digital designs, the verification of AMS systems is a challenging task that requires lots of expertise and deep understanding of their behavior.  ...  Linear analog circuits can be described by transfer functions, extracted from the netlist by symbolic analysis methods (in case of implementation), resulting in a parameterized description of the circuit  ... 
doi:10.1016/j.mejo.2008.05.013 fatcat:527gyri32nd3vjmnfavyiud36m

High-Order Acausal Models

David Broman, Peter Fritzson
2009 SNE Simulation Notes Europe  
Current equation-based object-oriented (EOO) languages typically contain a number of fairly complex language constructs for enabling reuse of models.  ...  In this paper we investigate the possibility of combining the well known concept of higher-order functions, used in standard functional programming languages, with acausal models.  ...  Acknowledgments We would like to thank Jeremy Siek and the anonymous reviewers for many useful comments on this paper.  ... 
doi:10.11128/sne.19.tn.09921 fatcat:qvjd5uq675d5dghgfam4qhve3e

High-Efficiency Digital Readout Systems for Fast Pixel-based Vertex Detectors [chapter]

Filippo Maria, Alessandro Gabrielli, Mauro Vill
2010 Data Acquisition  
That's why one of the crucial points for new experiments is the evolution of data acquisition systems.  ...  These are necessary conditions for the discovery of new physics which both result in a larger amount of data that need to be brought out of the detector.  ...  But VHDL is intended also for circuit simulation, providing the designers with a set of nonsynthesizable functions that can be used to build powerful test benches: for example text file I/O capability  ... 
doi:10.5772/10445 fatcat:s3cu7lsrgbhezju4w5u6tw2fge

On the validation of embedded systems through functional ATPG

Giuseppe Di Guglielmo
2008 2008 Ph.D. Research in Microelectronics and Electronics  
As for VHDL entities, Verilog modules can represent pieces of hardware ranging from simple gates to complete systems, like a microprocessor for example.  ...  Fig. 2 . 2 . 22 Example of a structural description. Fig. 2 . 3 . 23 Example of VHDL entity.  ... 
doi:10.1109/rme.2008.4595747 fatcat:y7p3ujfoqveb5grdq3bbowscbu

Modelica — A unified object-oriented language for physical systems modeling

Hilding Elmqvist
1997 Simulation Practice and Theory  
This language, called Modelica, is intended for modeling within many application domains (for example: electrical circuits, multi-body systems, drive trains, hydraulics, thermodynamical systems and chemical  ...  Forthly, an IEEE supported alternative language standardization effort is underway: VHDL-AMS. 4 The system can be broken up into a set of connected electrical standard components.  ...  The authors are thankful for all the feedback that has been obtained from various people that have reviewed different versions of the design.  ... 
doi:10.1016/s0928-4869(97)84257-7 fatcat:thhwmtzlvnd3labq6ibsp3ezmq

Open Source Languages and Methods for Cyber-Physical System Development: Overview and Case Studies

Lena Buffoni, Lennart Ochel, Adrian Pop, Peter Fritzson, Niklas Fors, Görel Hedin, Walid Taha, Martin Sjölund
2021 Electronics  
The model-based approach raises the level of abstraction and allows to perform virtual prototyping by simulating and optimizing system models before building physical products.  ...  To effectively support the development of such systems, we present languages and tools for comprehensive integrated model-based development that cover major phases such as requirement analysis, design,  ...  The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.  ... 
doi:10.3390/electronics10080902 fatcat:ft7rdceaw5brbjxnvjojft6ope

Viptos

Elaine Cheong, Edward A. Lee, Yang Zhao
2005 Proceedings of the 3rd international conference on Embedded networked sensor systems - SenSys '05  
other models of computation available in Ptolemy II for modeling the physical environment and other parts of the system.  ...  Viptos extends the capabilities of TOSSIM to allow simulation of heterogeneous networks.  ...  Acknowledgement This work was supported in part by the Center for Hybrid and Embedded Software Systems (CHESS) at UC Berkeley, which receives support from the National Science Foundation (NSF award \#CCR  ... 
doi:10.1145/1098918.1098967 dblp:conf/sensys/CheongLZ05 fatcat:hpgzxxyrsbehdd775nygd5mdpu

On embedding a microarchitectural design language within Haskell

John Launchbury, Jeffrey R. Lewis, Byron Cook
1999 SIGPLAN notices  
Based on our experience with modelling and verifying microarchitectural designs within Haskell, this paper examines our use of Haskell as host for an embedded language.  ...  In particular, we highlight our use of Haskell's lazy lists, type classes, lazy state monad, and unsafePerformIO. We also point t o s e v eral areas where Haskell could be improved.  ...  This research is supported in part by Intel, the National Science Foundation, the Defense Advanced Research Projects Agency, and Air Force Material Command.  ... 
doi:10.1145/317765.317784 fatcat:5ve55eppwvfbhesuymsroupzom

On embedding a microarchitectural design language within Haskell

John Launchbury, Jeffrey R. Lewis, Byron Cook
1999 Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99  
Based on our experience with modelling and verifying microarchitectural designs within Haskell, this paper examines our use of Haskell as host for an embedded language.  ...  In particular, we highlight our use of Haskell's lazy lists, type classes, lazy state monad, and unsafePerformIO. We also point t o s e v eral areas where Haskell could be improved.  ...  This research is supported in part by Intel, the National Science Foundation, the Defense Advanced Research Projects Agency, and Air Force Material Command.  ... 
doi:10.1145/317636.317784 dblp:conf/icfp/LaunchburyLC99 fatcat:dfxrokougzf6xg5f3x4vbinadm

A scalable architecture for massive MIMO base stations using distributed processing

Erik Bertilsson, Oscar Gustafsson, Erik G Larsson
2016 2016 50th Asilomar Conference on Signals, Systems and Computers  
Additionally the nodes must communicate with each other over links with data rates in the order of some Gbps. Finally, a VHDL implementation of the system is proposed.  ...  Also, the computational load of each node does not depend on the number of nodes in the tree (except for some timing issues) which implies simple scalability of the system.  ...  Additionally, I would like to thank Erik G Larsson for providing key insights in the subject of Massive MIMO.  ... 
doi:10.1109/acssc.2016.7869172 dblp:conf/acssc/BertilssonGL16 fatcat:h5fd3hioqrdgxbqhdp3nwmgtre

A Survey of Modeling and Control Techniques for Micro- and Nanoelectromechanical Systems

Antoine Ferreira, Sumeet S. Aphale
2011 IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)  
A lot of work has been reported in the area of modeling and control of these devices, with the aim of better understanding their behavior and improving their performance.  ...  This work presents a review of the emerging advances in the modeling and control of these micro-and nanoscale devices and converges on the exciting research in onchip control, with a mechatronics and controls  ...  ACKNOWLEDGMENTS The authors would like to thank all the past and present researchers in the field of MEMS/NEMS, control theory and modeling.  ... 
doi:10.1109/tsmcc.2010.2072779 fatcat:qkg5btld4zbsdlhqtzauxqckbe

A novel methodology for the design of application-specific instruction-set processors (ASIPs) using a machine description language

A. Hoffmann, T. Kogel, A. Nohl, G. Braun, O. Schliebusch, O. Wahlen, A. Wieferink, H. Meyr
2001 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
The development of application-specific instruction-set processors (ASIP) is currently the exclusive domain of the semiconductor houses and core vendors.  ...  To show the quality of the generated software development tools, they are compared in speed and functionality with commercially available tools of state-of-the-art digital signal processor and C architectures  ...  of hardware operations to functional units that can then be filled with hand-optimized HDL code for the data path, a well-known construct from the VHDL language was adopted for this purpose: the ENTITY  ... 
doi:10.1109/43.959863 fatcat:dy5amg26prapdghj6a7b66j6c4

Software-Oriented Approach to Hardware-Software Co-Simulation for FPGA-Based Risc Extensible Processor

K.s. Tham, D.L. Maskell
2006 2006 International Conference on Field Programmable Logic and Applications  
The use of this software-oriented design methodology will improve the productivity of embedded system design and must be investigated in detail with respect to enabling hardware-software co-simulation  ...  Such reconfigurable systems present a difficult problem for current modeling platforms as a tightly-coupled co-design/simulation effort for both hardware and software must be integrated in the framework  ...  The framework also uses the SimpleScalar simulator to model the reconfigurable unit of multi-context hybrid architecture.  ... 
doi:10.1109/fpl.2006.311230 dblp:conf/fpl/ThamM06 fatcat:jyvrwl33uzcytolxwgywctvmwm

Efficient System-Level Hardware Synthesis of Dataflow Programs Using Shared Memory Based FIFO

Mariem Abid, Khaled Jerbi, Mickaël Raulet, Olivier Déforges, Mohamed Abid
2017 Journal of Signal Processing Systems  
The basic premise is to model the behavior of the entire system using high-level specifications, and to enable the automatic synthesis to low-level specifications for efficient implementation in Field-Programmable  ...  The design flow combines a dataflow compiler for generating C-based HLS descriptions from a dataflow description and a C-to-gate synthesizer for generating Register-Transfer Level (RTL) descriptions.  ...  Simulation Program for Integrated Circuit Emphasis (SPICE) is used for the transistor-level simulation to verify whether the logic design specified at the transistor-level will behave the same as the functional  ... 
doi:10.1007/s11265-017-1226-x fatcat:ewevwhnbibao5hsh26fgjl2tga
« Previous Showing results 1 — 15 out of 159 results