equ-iitg formal equivalence checker

planning
Add a Review
2 Downloads (This Week)
Last Update:
Download verified_benchmarks_1.2.tar.gz
Browse All Files

Description

This is a formal equivalence checking tool developed @ IIT Guwahati which can be used to verify functional equivalence between circuits (combinational and sequential) of the formats BLIF, verilog and EDIF.

equ-iitg formal equivalence checker Web Site

KEEP ME UPDATED

Write a Review

User Reviews

Be the first to post a review of equ-iitg formal equivalence checker!

Additional Project Details

Programming Language

C

Registered

2008-11-17
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.