equ-iitg formal equivalence checker

planning
Add a Review
4 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.