Worked on the EPFL-LAP/dynamatic repository, focusing on improving the correctness of the HLS Verifier component. Addressed a known issue with floating point comparisons by implementing a dedicated NaN-equality check for both float and double types, ensuring that two NaN values are treated as equal in accordance with IEEE 754 standards. This targeted bug fix resolved a specific verification mismatch, directly improving the accuracy of verification results for users. The work involved applying expertise in C++ and floating point comparison, demonstrating attention to detail in numerical correctness and contributing to more reliable hardware-level software verification processes.