Test-bench development

Assertions writing

Coverage Writing

Post-Synthesis Simulation with SDF annotated