Softwares

Github Profile

Convolutional Neural Net Weight Quantization

Paper:
Language: Python (in Pytorch tool)
Download

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

Paper: DAC'20
Language: C++
Download

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

Paper:
Language: CUDA
Download

NVCacti: An integrated volatile-Nonvolatile memory simulator

Paper: R-Cache
Language: C++
Download

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

Paper:TCASSII'16
Language: Verilog
Download

Improving Thermal-aware Placement and Routing in 3D FPGAs

Paper:ReConFig'15
Language: C++
Download

SAT-based Debugging & Mutation-based Correction Platform

Paper: ETS'14, ATS'15
Language: C++
Download

SAT-based ATPG Platform

Paper:
Language: Java
Download

Debugging & Correction Data Path Designs Using HEDs

Papers:TC'15, ETS'14,MICPRO'13
Language: C++
Download

Formally Analyzing Fault Tolerance in Datapath Designs using Equivalence Checking

Paper:ASPDAC'16
Language: C++
Download

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

Papers:Arxiv
Language: C++
Download

Probabilistic-based Counterexample Generation to Aid Design Debugging

Paper:EWDTS'13
Language: C++
Download

Automatic Informant System for Doorbell by Telephone Call

Patent:Iran Patent 64803. Approved by Intellectual Property (IP) Organization, Shiraz-Branch, Iran
Language: C in Codevision
Download