Robert Kunzelmann
Orcid: 0009-0002-3615-9382
According to our database1,
Robert Kunzelmann
authored at least 9 papers
between 2023 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Execute Your Darlings: Dynamic Execution of High-Level Formal Specifications for Validation and Early Prototyping.
Proceedings of the Rapid Simulation and Performance Evaluation for Design Workshop, 2025
Proceedings of the 28th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2025
2024
Flexible Generation of Fast and Accurate Software Performance Simulators From Compact Processor Descriptions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024
CoRR, 2024
Leveraging Large Language Models for the Automated Documentation of Hardware Designs.
Proceedings of the 13th Mediterranean Conference on Embedded Computing, 2024
Fake Timer: An Engine for Accurate Timing Estimation in Register Transfer Level Designs.
Proceedings of the 25th International Symposium on Quality Electronic Design, 2024
2023
Effective Processor Model Generation from Instruction Set Simulator to Hardware Design.
Proceedings of the IEEE Nordic Circuits and Systems Conference, 2023
Modelling Peripheral Designs using FSM-like Notation for Complete Property Set Generation.
Proceedings of the 16th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2023