Specification : Consider an array a of Boolean values of size n$,$ where n is a multiple of $8.$ Here, we will treat true as $1$ and false as $0.$

We want to create a specification to indicate that the output array of Booleans b is larger than a$,$ such that after every $8$th element of array a an even parity element is inserted. Recall that even parity counts the number of ones in a byte. If there is an even number of ones, the parity bit is $0$; if there is an odd number of ones, the

parity bit is $1.$ You must write a formal behavioural specification that captures all of the above information. Remember that among other things you will need to:

$$ Define the signature.

$$ Specify the exact size of the output array.

$$ Describe how the parity bit must be calculated.