Payman Behnam

Orcid: 0000-0002-3826-9123

According to our database1, Payman Behnam authored at least 33 papers between 2013 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Zero-Space Cost Fault Tolerance for Transformer-based Language Models on ReRAM.
CoRR, 2024

2023
Hardware-Software Co-Design for Real-Time Latency-Accuracy Navigation in Tiny Machine Learning Applications.
IEEE Micro, 2023

ABKD: Graph Neural Network Compression with Attention-Based Knowledge Distillation.
CoRR, 2023

Subgraph Stationary Hardware-Software Inference Co-Design.
CoRR, 2023

2022
Stereo: Assignment and Scheduling in MPSoC Under Process Variation by Combining Stochastic and Decomposition Approaches.
IEEE Trans. Computers, 2022

Adaptively Reduced DRAM Caching for Energy-Efficient High Bandwidth Memory.
IEEE Trans. Computers, 2022

An Algorithm-Hardware Co-design Framework to Overcome Imperfections of Mixed-signal DNN Accelerators.
CoRR, 2022

CoDG-ReRAM: An Algorithm-Hardware Co-design to Accelerate Semi-Structured GNNs on ReRAM.
Proceedings of the IEEE 40th International Conference on Computer Design, 2022

2021
FORMS: Fine-grained Polarized ReRAM-based In-situ Computation for Mixed-signal DNN Accelerator.
Proceedings of the 48th ACM/IEEE Annual International Symposium on Computer Architecture, 2021

TinyADC: Peripheral Circuit-aware Weight Pruning Framework for Mixed-signal DNN Accelerators.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020
STFL-DDR: Improving the Energy-Efficiency of Memory Interface.
IEEE Trans. Computers, 2020

RedCache: Reduced DRAM Caching.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019
AFFIX: Automatic Acceleration Framework for FPGA Implementation of OpenVX Vision Algorithms.
Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2019

STFL: Energy-Efficient Data Movement with Slow Transition Fast Level Signaling.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018
Accelerating k-Medians Clustering Using a Novel 4T-4R RRAM Cell.
IEEE Trans. Very Large Scale Integr. Syst., 2018

Validation of Hardware Security and Trust: A Survey.
CoRR, 2018

R-Cache: A Highly Set-Associative In-Package Cache Using Memristive Arrays.
Proceedings of the 36th IEEE International Conference on Computer Design, 2018

Acceleration Framework for FPGA Implementation of OpenVX Graph Pipelines.
Proceedings of the 26th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2018

2017
Automated Formal Equivalence Verification of Pipelined Nested Loops in Datapath Designs.
CoRR, 2017

Adaptive Time-based Encoding for Energy-Efficient Large Cache Architectures.
Proceedings of the 5th International Workshop on Energy Efficient Supercomputing, 2017

Reducing Search Space for Fault Diagnosis: A Probability-Based Scoring Approach.
Proceedings of the 2017 IEEE Computer Society Annual Symposium on VLSI, 2017

A novel SAT-based ATPG approach for transition delay faults.
Proceedings of the 2017 IEEE International High Level Design Validation and Test Workshop, 2017

2016
High-Speed Hardware Implementation of Fixed and Runtime Variable Window Length 1-D Median Filters.
IEEE Trans. Circuits Syst. II Express Briefs, 2016

Formally analyzing fault tolerance in datapath designs using equivalence checking.
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2015
A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.
IEEE Trans. Computers, 2015

In-Circuit Mutation-Based Automatic Correction of Certain Design Errors Using SAT Mechanisms.
Proceedings of the 24th IEEE Asian Test Symposium, 2015

2014
Formal Verification and Debugging of Array Dividers with Auto-correction Mechanism.
Proceedings of the 2014 27th International Conference on VLSI Design, 2014

A Low-Power Enhanced Bitmask-Dictionary Scheme for Test Data Compression.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2014

Improving polynomial datapath debugging with HEDs.
Proceedings of the 19th IEEE European Test Symposium, 2014

Automatic correction of certain design errors using mutation technique.
Proceedings of the 19th IEEE European Test Symposium, 2014

2013
Formal equivalence verification and debugging techniques with auto-correction mechanism for RTL designs.
Microprocess. Microsystems, 2013

Hybrid history-based test overlapping to reduce test application time.
Proceedings of the East-West Design & Test Symposium, 2013

A probabilistic approach for counterexample generation to aid design debugging.
Proceedings of the East-West Design & Test Symposium, 2013


  Loading...