Results 131 to 140 of about 30,856 (159)
Some of the next articles are maybe not open access.
Proceedings of Eighth International Application Specific Integrated Circuits Conference, 2002
The complete VHDL journey known as The Excursion can be accomplished within eight hours. Upon its completion, the students will have encountered literally 90% of the VHDL language. The fundamental concepts of VHDL have consequently been mastered and the students are now prepared for the second part of the comprehensive course that the author has ...
openaire +2 more sources
The complete VHDL journey known as The Excursion can be accomplished within eight hours. Upon its completion, the students will have encountered literally 90% of the VHDL language. The fundamental concepts of VHDL have consequently been mastered and the students are now prepared for the second part of the comprehensive course that the author has ...
openaire +2 more sources
A Flow Graph Semantics of VHDL: A Basis for Hardware Verification with VHDL [PDF]
, 1995 VHDL-based verification methods require a formal semantics of the language as a starting point. It has been shown recently that flow graphs are an excellent means for capturing such semantics. Our approach differs importantly from earlier work in that we use flow graphs as an intermediate for the “deep” embedding of VHDL in higher order logic.
Thomas Kropf, Ralf Reetz
openaire +1 more source
Formal verification of VHDL using VHDL-like ACL2 models
2001When a design reaches the register transfer level, essential architectural decisions have been taken; their validation required extensive simulation of the abstract behavioral specifications. We propose to introduce mechanically supported formal reasoning in the design flow, by producing a model of VHDL behavioral specifications in the logic of the ...
Borrione, D., Georgelin, P.
openaire +2 more sources
2002
Publisher Summary Very high speed integrated circuit hardware description language (VHDL) supports behavioral as well as structural modeling. The advantage to behavioral modeling is that the functionality of a device or design can easily be described using abstract concepts.
J.G. Khor +3 more
openaire +2 more sources
Publisher Summary Very high speed integrated circuit hardware description language (VHDL) supports behavioral as well as structural modeling. The advantage to behavioral modeling is that the functionality of a device or design can easily be described using abstract concepts.
J.G. Khor +3 more
openaire +2 more sources
Experience with the VHDL environment
25th ACM/IEEE, Design Automation Conference.Proceedings 1988., 2003The authors present their work in the use of the VHDL (VHSIC Hardware Development Language) environment on three different models of DEC VAX (1, 4, and 5.8 Mips (million instruction per second)). The work included the development of a number of VHDL models and sequences of input stimuli and the gathering of performance data from their execution.
M. Aboulhamid +3 more
openaire +2 more sources
Experiences with VHDL and FPGAs
Journal of Systems Architecture, 1996Abstract In order to remain competitive,a company needs to reduce its product development time,and consequently the development time for prototyping has to be reduced as well.One way to decrease the development time of a product is to synthesize the design description automatically to FPGAs (Field Programmable Gate Arrays).This article describes the ...
L. Lindh, J. Adomat, J. Starner
openaire +2 more sources
Proceedings of WESCON '93, 2002
VHDL is a language used to describe digital circuits. It is a powerful language, originally intended for simulation, but is now being applied to synthesis. Descriptions of digital hardware in VHDL can be described in terms of structure, behavior, or a mixture of the two description styles.
W. McDermith, G. Olsen
openaire +2 more sources
VHDL is a language used to describe digital circuits. It is a powerful language, originally intended for simulation, but is now being applied to synthesis. Descriptions of digital hardware in VHDL can be described in terms of structure, behavior, or a mixture of the two description styles.
W. McDermith, G. Olsen
openaire +2 more sources
IEE Seminar on Intellectual Property, 2000
The current state-of-the-art VLSI technology enables an integration density beyond hundreds of millions of transistors on a piece of silicon. This allows the integration of system, which may consist of low and high frequency analogue circuits, microprocessors, memories, custom digital circuits and embedded software on a single chip. Such system is also
S. Sezer, Xing Yu
openaire +2 more sources
The current state-of-the-art VLSI technology enables an integration density beyond hundreds of millions of transistors on a piece of silicon. This allows the integration of system, which may consist of low and high frequency analogue circuits, microprocessors, memories, custom digital circuits and embedded software on a single chip. Such system is also
S. Sezer, Xing Yu
openaire +2 more sources
A Polymodal Semantics for VHDL
1997This paper presents a formal semantics for a subset of VHDL that includes the basic control constructs, delta and unit delay signal assignment, variable assignment, and all forms of wait statements. A polymodal logic with two temporal modalities is used as the underlying formalism, thus allowing for formalization of the flows of time as well as control
Subash Shankar, James R. Slagle
openaire +2 more sources
2007
Publisher Summary The emergence of very high speed integrated circuit—VHIC—hardware description language (VHDL)-analog and mixed-signal extensions(AMS) [VHDL-AMS] has made it possible to describe a variety of physical systems using a single design approach and simulate a complete system. Such standard languages are used for various applications.
openaire +2 more sources
Publisher Summary The emergence of very high speed integrated circuit—VHIC—hardware description language (VHDL)-analog and mixed-signal extensions(AMS) [VHDL-AMS] has made it possible to describe a variety of physical systems using a single design approach and simulate a complete system. Such standard languages are used for various applications.
openaire +2 more sources