A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Effective modeling of CT functions for fast simulations using MATLAB-Simulink and VHDLAMS applied to Sigma-Delta architectures
2011
2011 IEEE International Symposium of Circuits and Systems (ISCAS)
Preserved Fulltext
Upon designer's choice, the resulted macromodels can be used to implement and optimize a whole modulator in the SIMULINK object-oriented environment or the code-based analog VHDL process. ...
In this work, we present a design methodology and the resulted application tools implying the extraction of CADENCE schematics for analog elements into robust macro-models for MATLAB-SIMULINK and VHDL-AMS ...
A sense convention was established for the model ports: on each side, the controlling quantity will be considered as an input port, while the controlled one as an output. ...
doi:10.1109/iscas.2011.5938054
dblp:conf/iscas/BenabesT11
fatcat:cg35bes3i5dendy3nlvawkk6z4
Mixed-Mode Design: Experiences with Multi-Level Macromodeling
[chapter]
1996
Analog Circuit Design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Due to the complexity of such models, an automatic generation is not possible. Instead, a heuristic approach is proposed and illustrated by some examples from industrial design tasks. ...
In addition, the application of the forthcoming mixed-signal hardware description language VHDL-A is discussed. 10/2 ...
Backhaus (ANACAD) for the opportunity to work with an preliminary HDL-A version of the simulator ELDO. We would like to thank A. Schneider and S. Wünsche for their support in preparing this paper. ...
doi:10.1007/978-1-4757-2462-2_10
fatcat:pkzlx7dulbdcjimh2vzo5wvts4
Hardware/software co-design
1998
Proceedings of the 1998 annual ACM SIGAda international conference on Ada - SIGAda '98
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Optimizing the design of complex weapons systems constitutes an important task in efficiently developing and deploying effective complex weapons systems. ...
Currently, recasting a component from hardware to software (or vice-versa) is a difficult and errorprone activity. ...
A number of very interesting applications exist for such an interface between VHDL hardware models and software written in languages such as Ada. ...
doi:10.1145/289524.289528
dblp:conf/sigada/MillsP98
fatcat:k3wjjwxk5bcl3kcmggxirl2dym
Hardware/software co-design
1998
ACM SIGAda Ada Letters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Optimizing the design of complex weapons systems constitutes an important task in efficiently developing and deploying effective complex weapons systems. ...
Currently, recasting a component from hardware to software (or vice-versa) is a difficult and errorprone activity. ...
A number of very interesting applications exist for such an interface between VHDL hardware models and software written in languages such as Ada. ...
doi:10.1145/301687.289528
fatcat:zos6ipqfv5cevfuifw44swhqsa
The abstract state machines method for modular design and analysis of programming languages
2014
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We illustrate how theorems about such properties can be integrated into a modular development of programming languages and programs, using as example a Java/JVM compilation correctness theorem about defining ...
machine code view for full-fledged real-life programming languages. ...
Müller's PhD thesis [137] for defining the semantics of a pictorial extension PHDL of VHDL'93, b) by a group of Toshiba engineers for an extension to analog VHDL and Verilog [155, 156, 152, 154, 153 ...
doi:10.1093/logcom/exu077
fatcat:7quppauog5eyvaahlbvlrk7w3u
Abstract State Machines 1988-1998: Commented ASM Bibliography
[article]
1998
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998. ...
This ASM model for VHDL is extended to analog VHDL in [111] . [33] E. Börger and Y. Gurevich. Evolving Algebras -Mini Course. In E. Börger and Y. ...
The technique is illustrated on the example of a subset the zCPU processor (used as control unit of the APE100 parallel architecture). ...
arXiv:cs/9811014v1
fatcat:w3vj5i7mzbccbcibroi7dkmhtq
EOOLT 2007 – Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools
2020
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Computer aided modeling and simulation of complex systems, using components from multiple application domains, such as electrical, mechanical, hydraulic, control, etc., have in recent years witness0065d ...
Using such languages, it has become possible to model complex systems covering multiple application domains at a high level of abstraction through reusable model components. ...
as an example. ...
doi:10.14279/depositonce-10298
fatcat:pcw6urckgre3hntxkilcd2u4rm
Rapid and accurate timing simulation of radiation-hardened digital microelectronics using VHDL
Proceedings of National Aerospace and Electronics Conference (NAECON'94)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
One example of a hybrid simulator is Analog VHDL (AnaVHDL), in development at the University of Cincinnati [18] . ...
Additionally, gate leakage, when applicable, is represented as a load resistance. ...
doi:10.1109/naecon.1994.332981
fatcat:gmkmckao2ngmdk7qcjubcjzbzy
Analog iterative error control decoders
2005
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
had to be removed, a note will indicate the deletion. Oversize materials (e.g., maps, drawings, charts) are reproduced by ...
In the unlikely event that the author did not send UMI a complete manuscript and there are missing pages, these will be noted. Also, if unauthorized copyright materia! ...
Jie Dai also produced analog VHDL sim ulations as internal trellis connections [86], Interestingly, this flaw dem onstrated that analog an initial verification o f the length-16 decoder concept. ...
doi:10.7939/r3-8wcv-3d51
fatcat:p74jujw7nrcodnlwv4lpy2avla