Student Login
Alumni
CIR
Journal
IQAC
Career
2nd Convocation
Apply Online
☰
2nd Convocation
About VU
▾
History of VU
At a Glance
Why VU?
Vision and Mission
University Approval
Photo Gallery
Interpretation of VU Logo
Facilities
▾
State of the Art Classrooms
State of the Art Laboratories
State of the Art Library
Auditorium
Career Center
Playground
Clubs
Transportation
Innovation Hub
Admission
▾
Academic Programs
Department Transfer
Admission Requirements
Tuition and Other Fees
Scholarships/Waivers
Online Application
Admission Test Results
Admission Query
Academics
▾
Academic Programs
Departments/Programs
Institutes And Centers
Schools
Academic Calendar
Administration
▾
Chairman, Board of Trustees
Vice Chancellor
Pro Vice Chancellor
Treasurer
Executive Director
Syndicate
Academic Council
Office of the Students' Welfare Affairs
Committees
Proctorial Body
Offices & Officers
International
▾
About Bangladesh
Living in Rajshahi
Tuition Fees
Admission Procedure
International Collaboration
Notice
Contact Us
Our Services
▾
Wiley Online Library
Payment Instructions
VU Bloodline
Complaint/Suggestions
VU Portfolio
Certificate Verification
Managed Printing Solution
Apostille System
Digital Services
Alumni
CIR
Journal
IQAC
Career
About VU
History of VU
At a Glance
Why VU?
Vision and Mission
University Approval
Photo Gallery
Interpretation of VU Logo
Facilities
State of the Art Classrooms
State of the Art Laboratories
State of the Art Library
Auditorium
Career Center
Playground
Clubs
Transportation
Innovation Hub
Admission
Academic Programs
Department Transfer
Admission Requirements
Tuition and Other Fees
Scholarships/Waivers
Online Application
Admission Test Results
Admission Query
Academics
Academic Programs
Departments/Programs
Institutes And Centers
Schools
Academic Calendar
Administration
Chairman, Board of Trustees
Vice Chancellor
Pro Vice Chancellor
Treasurer
Executive Director
Syndicate
Academic Council
Office of the Students' Welfare Affairs
Committees
Proctorial Body
Offices & Officers
International
About Bangladesh
Living in Rajshahi
Tuition Fees
Admission Procedure
International Collaboration
Notice
Contact Us
Our Services
Wiley Online Library
Payment Instructions
VU Bloodline
Complaint/Suggestions
VU Portfolio
Certificate Verification
Managed Printing Solution
Apostille System
Digital Services
Student Login
Roll Numbers: 193XXX Onwards [From fall 2019]
Roll Numbers: Before 193XXX [Before fall 2019]
Home
Publications
Equivalence Checking of Combinational Switching Fu...
Conference Paper
2002
Equivalence Checking of Combinational Switching Functions using ROBDD
Authors
Md. Khademul Islam Molla, PhD
(Office of the Vice Chancellor)
Publication Details
Published In:
Proc. of Regional IEEE International Multi-Topic Conference (INMIC2002)
Publication Year:
2002
Publication Date:
December 2002
Type:
Conference Paper
Total Authors:
1
Related Publications
Conference Paper
2026
Trend and Anomaly Detection of Weather Variables and Their Agro-Implications for...
By: D.M. Asadujjaman, Abdullah Tamim
Conference Paper
2026
Forecasting Food Prices with Transformer Models Using the Informer Approach on W...
By: Abdullah Tamim
Conference Paper
2026
Advanced Transfer Learning Framework for the Automated Detection and Classificat...
By: Md. Mahfujur Rahman
