awesome-open-hardware-verification icon indicating copy to clipboard operation
awesome-open-hardware-verification copied to clipboard

Published 20 hours ago • verified publisher icon ben-marshall

Equivalence Checking

Open ShvetankPrakash opened this issue 2 years ago • 0 comments

Hi! I am new to this space and trying to learn more :) Thank you for putting together this great collection of tools!

I am looking for an open-source tool that can performance equivalence checking / verification between a C++ function and an RTL implementation of that function. Proprietary HLS tools have this built in but I was wondering if you knew of any open source versions that might suit these needs.

Thank you!

ShvetankPrakash avatar Jun 20 '23 11:06 ShvetankPrakash