Softwares

Github Profile

Convolutional Neural Net Weight Quantization

RedCache: Adaptively Reduced Caching for Energy-Efficient High Bandwidth Memory

GPU Implementation of Computer Vision ORB-SLAM2 on Nvidia Jetson Tx2

NVCacti: An integrated volatile-Nonvolatile memory simulator

High-Speed Hardware Implementation of Fixed and Run-time Variable Window Length 1-D Median Filters

Improving Thermal-aware Placement and Routing in 3D FPGAs

SAT-based Debugging & Mutation-based Correction Platform

SAT-based ATPG Platform

Debugging & Correction Data Path Designs Using HEDs

Formally Analyzing Fault Tolerance in Datapath Designs using Equivalence Checking

Automated Formal Equivalence Verication of Pipelined Nested Loops in Datapath Designs

Probabilistic-based Counterexample Generation to Aid Design Debugging

Automatic Informant System for Doorbell by Telephone Call