Technical Projects
Carry-Look-Ahead Adder Design Using Alliance CAD Tools
​I have designed the layout of the carry look-ahead adder using Alliance cad tool simulate it using different simulation tools and make a layout of the circuit and test its functionality.
​Latex Overleaf
​As my first project in Latex overleaf I designed a report on Interesting Games for data Collection. In this, I have designed a full document by updating the abstract, table of content, list of figures and tables, chapters by using proper citation, and bibliography using BibTeX.
Modeling Online SHoping smart cart using NuSMV
This project proposes a method to build a NuSMV model of a Blockchain application based on smart contracts. We modeled the online shopping smart contract and then did its formal verification in NuSMV.
Autonomous Firefighter Droid
Droid implemented on hardware and software. The idea is basically to detect fire using IR sensors and send the output to a microcontroller that will control the Robot's movement. By using a firefighting robot, the user can turn on the robot and extinguish fire both by manual control or autonomous. The basic assumption is to develop a product that is capable of extinguishing the fire thus saving valuable human time.
NuCore
It executes instruction by fetching instructions with IQ with the help of PC, which increments at every posedge, then decode and executes it by using ALU.
RSR from RGB images using CNN
The rain streak removal model is implemented using a convolutional neural network from single RGB images.
