equ-iitg formal equivalence checker download

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.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow equ-iitg formal equivalence checker

equ-iitg formal equivalence checker Web Site

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

User Reviews

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

Additional Project Details

Programming Language

Related Categories

C Build Tools, C Electronic Design Automation (EDA) Software, C Exam Software

Registered

2008-11-18

Similar Business Software

Bitrise

Bitrise is a CI/CD platform built for mobile development, helping teams speed up builds, automate testing, and deliver high-quality apps faster. It supports native languages like Swift, Objective-C, Java, and Kotlin, as well as cross-platform frameworks including React Native, Flutter, Xamarin,...

See Software
Synap

Synap is an award-winning exam platform that empowers organisations to deliver secure, online exams with ease. Save time and reduce your workload for creating, marking, and analysing exams. Customise your tests with multiple-choice and written question types, timers, randomisation, and...

See Software
Altium Develop

Altium Develop is a multidisciplinary product creation platform that breaks down silos and empowers teams to design collaboratively without limits. Built on Altium Designer and Altium 365, it unifies electrical, mechanical, software, sourcing, and manufacturing teams in a shared environment....

See Software
YouTestMe

A web-based enterprise application for multi-lingual examination, training, survey & certification with an extensive reporting module. As a highly secured system that can be accessed both on cloud or on-premise, YouTestMe is the best choice for government, business & education institutions....

See Software
OrCAD X

OrCAD® X is a unified PCB design software platform that offers significant improvements in ease of use, performance, automation, data management, and collaboration. Our cloud-enabled product suite contains applications for schematic, simulation, and PCB layout. OrCAD X Capture is one of the most...

See Software
TestnTrack

TestnTrack offers online as well as offline exam conduction services for coaches, institutes, schools, and universities. Our software TestnTrack avails teachers and educators to conduct exams for their students on different modes like Online, Offline as well as Hybrid modes as per the needs of...

See Software