Sallar Ahmadi-Pour

25 papers A* 1A 1B 2C 6Misc 2Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2026 Misc conf
DIVIAC: Library of Input Data Aware Approximate Dividers with Partial Exact Minimization.
VLSID
Chandan Kumar Jha, Sallar Ahmadi-Pour, Sajjad Parvin, Rolf Drechsler
2025 J jnl
Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution.
CoRR
Karl Aaron Rudkowski, Sallar Ahmadi-Pour, Rolf Drechsler
2025 C conf
CrosSym: Cross-Level Verification of SystemC Peripherals using Symbolic Execution.
DDECS
Karl Aaron Rudkowski, Sallar Ahmadi-Pour, Rolf Drechsler
2025 J jnl
FV-LIDAC: Formally Verified Library of Input Data Aware Approximate Arithmetic Circuits.
ACM Trans. Design Autom. Electr. Syst.
Sallar Ahmadi-Pour, Sajjad Parvin, Chandan Kumar Jha, Rolf Drechsler
2025 J jnl
LLM-assisted Bug Identification and Correction for Verilog HDL.
ACM Trans. Design Autom. Electr. Syst.
Khushboo Qayyum, Chandan Kumar Jha, Sallar Ahmadi-Pour, Muhammad Hassan, Rolf Drechsler
2025 B conf
Large Language Models (LLMs) for Verification, Testing, and Design.
ETS
Chandan Kumar Jha, Muhammad Hassan, Khushboo Qayyum, Sallar Ahmadi-Pour, Kangwei Xu, Ruidi Qiu, Jason Blocklove, Luca Collini, Andre Nakkab, Ulf Schlichtmann, Grace Li Zhang, Ramesh Karri, Bing Li, Siddharth Garg, Rolf Drechsler
2025 J jnl
MESSI: Task Mapping and Scheduling Strategy for FPGA-based Heterogeneous Real-Time Systems.
ACM Trans. Design Autom. Electr. Syst.
Sallar Ahmadi-Pour, Sangeet Saha, Klaus D. McDonald-Maier, Rolf Drechsler
2025 C conf
River: Sneak Path Aware READ-based In-Memory Computing for 1T1M Memristive Crossbars.
DDECS
Till Schnittka, Chandan Kumar Jha, Sallar Ahmadi-Pour, Rolf Drechsler
2025 C conf
System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit.
FDL
Deepak Ravibabu, Sallar Ahmadi-Pour, Muhammad Hassan, Abhoy Kole, Chandan Kumar Jha, Rolf Drechsler
2024 Misc conf
Input Distribution Aware Library of Approximate Adders Based on Memristor-Aided Logic.
VLSID
Chandan Kumar Jha, Sallar Ahmadi-Pour, Rolf Drechsler
2024 A conf
LLM-Guided Formal Verification Coupled with Mutation Testing.
DATE
Muhammad Hassan, Sallar Ahmadi-Pour, Khushboo Qayyum, Chandan Kumar Jha, Rolf Drechsler
2024 — conf
LLMs for Hardware Verification: Frameworks, Techniques, and Future Directions.
ATS
Khushboo Qayyum, Sallar Ahmadi-Pour, Chandan Kumar Jha, Muhammad Hassan, Rolf Drechsler
2024 A* conf
Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification.
DAC
Khushboo Qayyum, Muhammad Hassan, Sallar Ahmadi-Pour, Chandan Kumar Jha, Rolf Drechsler
2024 J jnl
Lower the RISC: Designing optical-probing-attack-resistant cores.
Microprocess. Microsystems
Sajjad Parvin, Sallar Ahmadi-Pour, Chandan Kumar Jha, Frank Sill Torres, Rolf Drechsler
2024 — conf
Processor Vulnerability Detection with the Aid of Assertions: RISC-V Case Study.
NorCAS
Mohammad Reza Heidari Iman, Sallar Ahmadi-Pour, Rolf Drechsler, Tara Ghasempouri
2024 B conf
Security Coverage Metrics for Information Flow at the System Level.
ASPDAC
Ece Nur Demirhan Coskun, Sallar Ahmadi-Pour, Muhammad Hassan, Rolf Drechsler
2023 C conf
Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification.
FDL
Milan Funck, Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
2023 — conf
Lo-RISK: Design of a Low Optical Leakage and High Performance RISC-V Core.
COINS
Sajjad Parvin, Sallar Ahmadi-Pour, Chandan Kumar Jha, Frank Sill Torres, Rolf Drechsler
2023 J jnl
MARADIV: Library of MAGIC-Based Approximate Restoring Array Divider Benchmark Circuits for In-Memory Computing Using Memristors.
IEEE Trans. Circuits Syst. II Express Briefs
Chandan Kumar Jha, Sallar Ahmadi-Pour, Rolf Drechsler
2023 J jnl
Virtual-Peripheral-in-the-Loop : A Hardware-in-the-Loop Strategy to Bridge the VP/RTL Design-Gap.
CoRR
Sallar Ahmadi-Pour, Pascal Pieper, Rolf Drechsler
2022 C conf
Task Mapping and Scheduling in FPGA-based Heterogeneous Real-time Systems: A RISC-V Case-Study.
DSD
Sallar Ahmadi-Pour, Sangeet Saha, Vladimir Herdt, Rolf Drechsler, Klaus D. McDonald-Maier
2022 J jnl
The MicroRV32 framework: An accessible and configurable open source RISC-V cross-level platform for education and research.
J. Syst. Archit.
Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
2021 — conf
Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion.
MBMV
Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
2021 C conf
RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems.
FDL
Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
2019 — conf
Ultrasonic Wireless Sensor Network for Human Habitation in Deep Space Mission.
WiSEE
Hendra Kesuma, Sallar Ahmadi-Pour, Hans-Jürgen Zimmerman, Amber Joseph, Patrick Weis