Cyber-Physical Systems

Page 1 of 103.

1. Fatemeh Shirinzadeh; Arighna Deb; Saeideh Shirinzadeh; Abhoy Kole; Kamalika Datta; Rolf Drechsler

   In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures

   In: 37th International Conference on VLSI Design (VLSID). International Conference on VLSI Design (VLSID-2024), Kolkata, India, 1/2024.

2. Ece Nur Demirhan Coskun; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

   Security Coverage Metrics for Information Flow at the System Level

   In: 29th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2024), January …

3. Simranjeet Singh; Chandan Kumar Jha; Vikas Rana Ankit Bende; Sachin Patkar; Rolf Drechsler; Farhad Merchant

   MemSPICE: Automated Simulation and Energy Estimation Framework for MAGIC-Based Logic-in-Memory

   In: 29th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2024), January …

4. Chandan Jha; Sallar Ahmadi-Pour; Rolf Drechsler

   Input Distribution Aware Library of Approximate Adders Based on Memristor-Aided Logic

   In: 37th International Conference on VLSI Design (VLSID). International Conference on VLSI Design (VLSID-2024), Kolkata, India, 2024.

5. Ankit Bende; Simranjeet Singh; Chandan Jha; Tim Kemper; Felix Cüppers; Christopher Bengel; Andre Zambanini; Dennis Nielinger; Sachin Patkar; Rolf Drechsler; Rainer Waser; Farhad Merchant; Vikas Rana

   Experimental Validation of Memristor-Aided Logic Using 1T1R TaOx RRAM Crossbar Array

   In: 37 International Conference on VLSI Design (VLSID). International Conference on VLSI Design (VLSID-2024), Kolkata, India, 2024.

6. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Rolf Drechsler

   Complete and Efficient Verification for a RISC-V Processor using Formal Verification

   In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

7. Abhoy Kole; Arighna Deb; Kamalika Datta; Rolf Drechsler

   Dynamic Realization of Multiple Control Toffoli Gate

   In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25 - February 27, Valencia, Spain, …

8. Soumya Sengupta; Abhoy Kole; Kamalika Datta; Indranil Sengupta; Rolf Drechsler

   AQuCiDe: Architecture Aware Decomposition of Quantum Circuits

   In: Himanshu Thapliyal; Travis Humble. Quantum Computing: Circuits, Systems, Automation and Applications. Pages 69-87, Springer, 2024.

9. Kamalika Datta; Rolf Drechsler

   Special issue on in-memory computing: Circuits, system, architecture and verification

   In: Memories - Materials, Devices, Circuits and Systems, Vol. 5, Pages 1-3, Science Direct, 10/2023.

10. Mirjana Ivanovic; Serge Autexier; Miltiadis Kokkonidis; Johannes Rust

    Quality medical data management within an open AI architecture – cancer patients case

    In: Connection Science, Vol. 35, No. 1, Page 2194581, Taylor & Francis, 4/2023.

• 1
• 2
• 3
• …
• 103
• next