Embedded Intelligence

Page 4 of 8.

1. Sallar Ahmadi-Pour; Vladimir Herdt; Rolf Drechsler

   MicroRV32: A SpinalHDL based RISC-V Implementation for FPGAs

   In: University Booth at Design, Automation and Test in Europe (DATE). University Booth at Design, Automation and Test in Europe (DATE) (University …

2. Sören Tempel; Vladimir Herdt; Rolf Drechsler

   Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing

   In: 58th Design Automation Conference (DAC). Design Automation Conference (DAC-2021), December 5-9, San Francisco, CA, USA, 2021.

3. Pascal Pieper; Vladimir Herdt; Daniel Große; Rolf Drechsler

   VP-based DIFT for Embedded Binaries: A RISC-V Case Study

   In: 24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop …

4. Sallar Ahmadi-Pour; Vladimir Herdt; Rolf Drechsler

   Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion

   In: 24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop …

5. Vladimir Herdt; Daniel Große; Sören Tempel; Rolf Drechsler

   Adaptive Simulation with Virtual Prototypes in an Open-Source RISC-V Evaluation Platform

   In: Journal of Systems Architecture: Embedded Software Design (JSA), Elsevier, 2021.

6. Sallar Ahmadi-Pour; Vladimir Herdt; Rolf Drechsler

   MircoRV32: An Open Source RISC-V Cross-Level Platform for Education and Research

   In: 2021 IEEE Workshop on Design Automation for CPS and IoT (DESTION 2021). Design Automation for CPS and IoT (DESTION-2021), located at IEEE/ACM …

7. Niklas Bruns; Vladimir Herdt; Daniel Große; Rolf Drechsler

   Towards RISC-V CSR Compliance Testing

   In: IEEE Embedded Systems Letters (ESL), IEEE, 2021.

8. Sören Tempel; Vladimir Herdt; Rolf Drechsler

   In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes

   In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2021), September 8-10, Antibes/Hybrid, France, …

9. Sallar Ahmadi-Pour; Vladimir Herdt; Rolf Drechsler

   RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems

   In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2021), September 8-10, Antibes/Hybrid, France, …

10. Frank Riese; Vladimir Herdt; Daniel Große; Rolf Drechsler

    Metamorphic Testing for Processor Verification: A RISC-V Case Study at the Instruction Level

    In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration …

• previous
• 1
• …
• 3
• 4
• 5
• …
• 8
• next