Abstract is missing.
- Formal Modelling of Burst-Mode Specifications in a Distributed EnvironmentAlex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev. 1-8 [doi]
- SafeX: Open Source Hardware and Software Components for Safety-Critical SystemsSergi Alcaide, Guillem Cabo, Francisco Bas, Pedro Benedicte, Francisco Fuentes, Feng Chang, Ilham Lasfar, Ramon Canal, Jaume Abella 0001. 1-4 [doi]
- Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge DeviceAlexander Fratzer, Vladimir Herdt, Christoph Lüth, Rolf Drechsler. 1-6 [doi]
- CorePerfDSL: A Flexible Processor Description Language for Software Performance SimulationConrad Foik, Daniel Mueller-Gritschneder, Ulf Schlichtmann. 1-8 [doi]
- Virtual Prototyping in SystemC AMS for Validation of Tight Sensor/Firmware Interaction in Smart SensorsAlexandra Küster, Rainer Dorsch, Christian Haubelt, Karsten Einwich. 1-8 [doi]
- 3D Visualization of Symbolic Execution TracesJan Zielasko, Sören Tempel, Vladimir Herdt, Rolf Drechsler. 1-8 [doi]
- A Comparison of Virtual Platform Simulation Solutions for Timing Prediction of Small RISC-V Based SoCsFelix Böseler, Jörg Walter 0001, Behnam Razi Perjikolaei. 1-8 [doi]
- From IEC 61131-3 Function Block Diagrams to Sequentially Constructive StatechartsMarcel Christian Werner, Klaus Schneider 0001. 1-8 [doi]
- Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-VerificationNiklas Bruns, Vladimir Herdt, Rolf Drechsler. 1-8 [doi]
- A multi-view and programming language agnostic framework for model-driven engineeringRodolfo Jordão, Fahimeh Bahrami, Rui Chen, Ingo Sander. 1-8 [doi]
- Formal Verification of SUBLEQ Microcode implementing the RV32I ISALucas Klemmer, Sonja Gurtner, Daniel Große. 1-8 [doi]
- Automated Suggestions Framework for Processing Hardware Specifications Written in EnglishRahul Krishnamurthy, Michael S. Hsiao. 1-8 [doi]
- A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMSFrancesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi. 1-8 [doi]