We present a rigorous but transparent semantic deenition for VHDL corresponding to the IEEE VHDL'93 standard. Our deenition covers the full behavior of signal and variable assignments as well as the behavior of the various wait statements including delta, time, and postponed cycles. We consider explicitly declared signals, ports, local variables, and shared variables. Our speciication deenes an...

41  Abstract—Digital design is an amazing and very broad field. The applications of digital design are present in our daily life, including computers, calculators, video cameras etc. The VHDL (VHSIC Hardware Description Language) has become an essential tool for designers in the world of digital design. This paper presents implementation of a 32-bit Arithmetic Logic Unit (ALU) using VHDL. Here...

This report focuses on models for describing Hardware at di erent re nement levels within High Level Synthesis ow: SFSMD, FSMD and FSM Controlling Datapath. Simple data interfaces are often needed in these models. The hardware description language VHDL is used and tested for implementing these models and interfaces. Problems inherent in the models as well as problems caused by VHDL are discusse...

SMV [McM93] is a language suitable for integrated circuit design and optimized for formal verification. VHDL [IEE93] is a design format suitable for simulation and synthesis, but poorly designed for formal verification purposes. The contribution of this paper is the integration of the two approaches through the definition of systematic rules to translate SMV programs into VHDL descriptions, pro...

The handwritten character recognition system using fuzzy wavelet is modelled using Very High Speed Hardware Description Language (VHDL). The fuzzy wavelet handwritten recognition is a system based on human perception. The time-frequency localization capabilities of wavelet transform in feature extraction enhances the accuracy of recognition at pixel level. The characteristic features of handwri...

In this paper, we define the equivalence of logic circuits and examine their description in VHDL. We can describe logic circuit components as relations between input and output signals in VHDL and implement such circuits on FPGA. In this case, it is necessary to verify the equivalence of VHDL descriptions and the actual logic circuits constructed based on these descriptions. In a previous work,...

This paper proposes a new method to speedup simulation of VHDL models. Therefore, a tool named ATOMS (Automatic Optimization of VHDL Models for Simulation) reads in a VHDL source model and generates automatically a new optimized VHDL model which is simulated faster by the same simulator. ATOMS arises out of an approach to speedup simulation of a RISC computer system running its operating system...

A denotational semantics and a Hoare programming logic for a subset of the standard hardware description language vhdl are set out here. Both define the behaviour of synchronously clocked vhdl simulators in declarative and compositional style. The logic is proved complete with respect to the denotational semantics and a natural implementation of the logic in prolog as a validation condition gen...

We present a method for modeling and then simulating a mixed hardware/software embedded system implementation in VHDL starting from a high level design representation. In our approach, a complete system description including the communication interfaces is generated automatically in VHDL: Software is modeled by using behavioral VHDL constructs, annotated with timing information derived from bas...

In this paper we present a method for latches and flip flops recognition within VHDL descriptions of hardware systems. Due to the simulation based semantics of VHDL, the existing synthesis tools rely on explicit templates to guarantee memorizing element inference. The approach proposed here is based on a formal representation of VHDL in terms of Interpreted Petri Nets (IPN). After the compilati...