Skip to content

Author

Sahand Divsalar

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

CertiFlash: A Formal Verification Framework for Flash Translation Layers in Computational Solid State Drives

Data-intensive applications move large amounts of data from storage to the compute unit, incurring significant data movement overhead. Storage-centric computing reduces this overhead by moving computation near or inside solid-state drives (SSDs). Enabling it requires modifying SSD policies, e.g., address translation an...

Harshita Gupta, Mayank Kabra, Rakesh Nadig et al. · 0 citations
Oct 2026

Energy-Efficient Approximate Multipliers Based on Error-Compensating Approximate Adders

This work presents energy-efficient approximate multipliers based on two complementary types of approximate adders, one that underestimates and another that overestimates the result of addition. Owing to their simplified logic structures, these adders significantly reduce hardware cost. The main strength of the propose...

Sahand Divsalar, Shaghayegh Vahdat · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.