The programming languages that describe hardware circuits are important for circuit

designers to assist them to design and develop the hardware circuits.

In this master’s project, the Lava hardware description language is used to design and

develop hardware components for a baseband processing API. Lava is a language

embedded in the general purpose language Haskell.

The function for checking transmission errors in the baseband processing chain, Cyclic

Redundancy Check (CRC) is implemented in different ways and tested.

Linear Feedback Shift Registers (LFSRs) circuits for a particular polynomial generator

are developed, implemented and simulated by using Lava code to calculate the CRC.

A generalized function of CRC is developed as a circuit generator for any given

polynomial generator. The circuit is tested by automatic test program.