Anton Paule (M.Sc.)

Wissenschaftlicher Mitarbeiter

Werdegang

• 2013: Bachelor Abschluss in Elektrotechnik und Informationstechnik, KIT
• 2016: Master Abschluss in Elektrotechnik und Informationstechnik, KIT
• Ab Juli 2016: Wissenschaftlicher Mitarbeiter im Bereich Intelligent Systems and Production Engineering (ISPE) am FZI, Karlsruhe

Publications

Conference Proceedings (3)

1. CHIPS: A Property Specification and Verification Framework for RISC-V based System-on-Chip (SoC) DesignsInfoDetails

   A. Paule, O. Bringmann, 2021

   A major impediment to agile Electronic System-Level (ESL) design is the fact that novel ecosystems for hardware IP generation and SoC integration often rely on arduous verification methodologies unsuited for agile system design teams. We propose an open-source property specification and verification framework (CHIPS) to alleviate verification efforts and demonstrate its applicability on a RISC-V based SoC design.

2. Firmware Synthesis for Ultra-Thin IoT Devices Based on Model IntegrationDetails

   Arthur Kühlwein, Anton Paule, Leon Hielscher, Wolfgang Rosenstiel, Oliver Bringmann, 2019

3. Demonstration of a Toolchain for Feature Extraction, Analysis and Visualization on an Industrial Case StudyDetails

   Sten Grüner, Andreas Burger, Hadil Abukwaik, Sascha El-Sharkawy, Klaus Schmid, Tewfik Ziadi, Anton Paule, Alexander Viehl, 2019

Export search result as .bib

Kontakt

Telefon: +49 721 9654-422
E-Mail: paule@dont-want-spam.fzi.de

Back