General purpose functional languages such as Haskell, have been widely used as host languages for the embedding of domain specific languages. In particular, various hardware description languages have been successfully embedded in Haskell and other functional languages. More recently, meta-programming languages have also started being used for the embedding of such languages, where the meta-lan...

Pipelined algorithms implemented in field programmable gate arrays are being extensively used for hardware triggers in the modern experimental high energy physics field and the complexity of such algorithms are increases rapidly. For development of such hardware triggers, algorithms are developed in $\texttt{C++}$, ported to hardware description language for synthesizing firmware, and then port...

We propose in this paper an algebraic approach to hardware/software partitioning in Verilog Hardware Description Language (HDL). We explore a collection of algebraic laws for Verilog programs, from which we design a set of syntax-based algebraic rules to conduct hardware/software partitioning. The co-specification language and the target hardware and software description languages are specific ...

A foggy environment may cause digitally captured images to appear blurry, dim, or low in contrast. This will impact computer vision systems that rely on image information. With the need for real-time information, such as a plate number recognition system, simple yet effective enhancement algorithm using hardware implementation is very much needed fulfil need. To improve suffer from exposure and...

Wireless sensor networks (WSNs) have become widely relevant in recent years, facilitating data collection through a large number of nodes measuring different physical parameters in various environments. Such networks require low power consumption in the individual sensors and adequate protocols for communication between the nodes. Effective platform hardware design is also crucial. Key features...

This paper describes our experiences with the hardware description language Verilog during the development of the Xputer prototype. At first it introduces the novel non-von Neumann architecture of the Xputer, its need for efficient address generation and the basic structure of the Generic Address Generator. After a short introduction to Verilog, we discuss the problems with this hardware descri...

This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration’s Marshall Space Flight Center to support the real-time simulation of advanced avionics systems. SADL is a graphical, domain-specific Architecture Description Language (ADL) that facilitates the high-level specification of both the software and hardware as...

Residue Number System is a numerical system which arithmetic operations are performed parallelly. One of the main factors that affects the system’s performance is the complexity of reverse converter. It should be noted that the complexity of this part should not affect the earned speed of parallelly performed arithmetic unit. Therefore in this paper a high speed converter for moduli set {2n-1, ...

Residue Number System is a numerical system which arithmetic operations are performed parallelly. One of the main factors that affects the system’s performance is the complexity of reverse converter. It should be noted that the complexity of this part should not affect the earned speed of parallelly performed arithmetic unit. Therefore in this paper a high speed converter for moduli set {2n-1, ...