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

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Try It 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
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
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
YouTestMe

YouTestMe GetCertified is a comprehensive web-based platform for online examination, training, surveys, and certification, equipped with both automated and live proctoring to ensure exam integrity. The system includes an advanced reporting and analytics module for monitoring performance and...

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