Giters

ben-marshall / awesome-open-hardware-verification

A List of Free and Open Source Hardware Verification Tools and Frameworks

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Equivalence Checking

ShvetankPrakash opened this issue · comments

commented

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!