Sallar Ahmadi-Pour

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 12

Top Topics

Formal Verification

Bounded Model Checking

Information Flows

Top Venues

IEEE Trans. Circuits Syst. II Express Briefs

Publications

Chandan Kumar Jha, Sallar Ahmadi-Pour, Rolf Drechsler
Input Distribution Aware Library of Approximate Adders Based on Memristor-Aided Logic. VLSID (2024)
Muhammad Hassan, Sallar Ahmadi-Pour, Khushboo Qayyum, Chandan Kumar Jha, Rolf Drechsler
LLM-Guided Formal Verification Coupled with Mutation Testing. DATE (2024)
Ece Nur Demirhan Coskun, Sallar Ahmadi-Pour, Muhammad Hassan, Rolf Drechsler
Security Coverage Metrics for Information Flow at the System Level. ASPDAC (2024)
Milan Funck, Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification. FDL (2023)
Sallar Ahmadi-Pour, Pascal Pieper, Rolf Drechsler
Virtual-Peripheral-in-the-Loop : A Hardware-in-the-Loop Strategy to Bridge the VP/RTL Design-Gap. CoRR (2023)
Chandan Kumar Jha, Sallar Ahmadi-Pour, Rolf Drechsler
MARADIV: Library of MAGIC-Based Approximate Restoring Array Divider Benchmark Circuits for In-Memory Computing Using Memristors. IEEE Trans. Circuits Syst. II Express Briefs 70 (7) (2023)
Sajjad Parvin, Sallar Ahmadi-Pour, Chandan Kumar Jha, Frank Sill Torres, Rolf Drechsler
Lo-RISK: Design of a Low Optical Leakage and High Performance RISC-V Core. COINS (2023)
Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
The MicroRV32 framework: An accessible and configurable open source RISC-V cross-level platform for education and research. J. Syst. Archit. 133 (2022)
Sallar Ahmadi-Pour, Sangeet Saha, Vladimir Herdt, Rolf Drechsler, Klaus D. McDonald-Maier
Task Mapping and Scheduling in FPGA-based Heterogeneous Real-time Systems: A RISC-V Case-Study. DSD (2022)
Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems. FDL (2021)
Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion. MBMV (2021)
Hendra Kesuma, Sallar Ahmadi-Pour, Hans-Jürgen Zimmerman, Amber Joseph, Patrick Weis
Ultrasonic Wireless Sensor Network for Human Habitation in Deep Space Mission. WiSEE (2019)