Preliminary report

This is the preliminary report that details how the work was planned for the semester and that contains some initial research about hardware verification languages and the evolution of verification methodologies.

Preliminary report