This paper describes the development of progressively more powerful and ab stract hardware simulators A small computer hardware design and description language picoella is then introduced followed by its formal semantics Using a number of small examples we will then show the how this formal semantics may be used within a proof system as a sophisticated simulation tool Examples include some full...

This article is the first in a three part series describing techniques and methods for using MATLAB as an executable specification for hardware development. MATLAB, the defacto industry standard for DSP algorithm development, includes abstractions such as complex numbers, matrix operations, built-in and toolbox libraries of DSP functions and waveform analysis that make this language highly usef...

Kansas Lava is a functional hardware description language implemented in Haskell. In the course of attempting to generate ever larger circuits, we have found the need to effectively test and debug the internals of Kansas Lava. This includes confirming both the simulated behavior of the circuit and its hardware realization via generated VHDL. In this paper we share our approach to this problem, ...

In this paper, a method of classification of handwritten signature based on neural networks, and FPGA implementation is proposed. The designed architecture is described using Very High Speed Integrated Circuits Hardware Description Language (VHDL). The proposed application consists of features extraction from handwritten digit images, and classification based on Multi Layer Perceptron (MLP). Th...

SDL (Specification and Description Language) is popular for communication protocol design. SDL tools allow simulating and verifying SDL models. In this paper, we show how SDL models can be transformed into hardware/software implementations for embedded systems. Our design flow contains a lightweight operating system integration layer and a cosimulation framework that supports hardware/software ...

A logic-based approach to the semantic-based composition of task oriented teams using candidates profiles and task description is presented, in the framework of a skill management system. The selection process exploits Concept Covering, carried out using non-standard inference services in Description Logics. The approach is motivated and compared with other semantic-oriented proposals.

Hardware Software codesign is an attempt of integration of hardware and software design techniques. A codesign methodology must support the designer from the speciication of system requirements to the implementation of the device. Any codesign methodology needs a tool able to gure time performance of the system. An event{driven simulator has been developed which is able to simulate starting dir...

This paper describes the development of progressively more powerful and abstract hardware simulators. A small computer hardware design and description language picoella is then introduced, followed by its formal semantics. Using a number of small examples, we will then show the how this formal semantics may be used within a proof system as a sophisticated simulation tool. Examples include some ...

We present a framework for the development of embedded systems called Averest. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware and/or software synthesis. Averest can be used for modeling and verifying finite as well as infinite state systems. Thus, Averest is not only well–suited for hardware design, but also for the development of embedded sof...

In this paper the design and implementation of the compact Genetic Algorithm (cGA) and a Cellular Automata-based pseudo-random number generator on a Field Programmable Gate Arrays (FPGA) is accomplished. The design is made using the Hardware Description Language, called VHDL. Accordingly, the obtained results show that it is viable to have this searching algorithm in Hardware to be used in real...