Publikace
-
2023
BARDONEK Petr a ZACHARIÁŠOVÁ Marcela. Control Flow Analysis for Bottom-up Portable Models Creation. In: DVCon Europe 2023; Design and Verification Conference and Exhibition Europe. Mnichov, 2023, s. 65-70. ISBN 978-3-8007-6205-7.
Detail -
2020
BARDONEK Petr a ZACHARIÁŠOVÁ Marcela. Using Control Logic Drivers for Automated Generation of System-level Portable Models. In: 23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2020. Novi Sad: Institute of Electrical and Electronics Engineers, 2020, s. 1-4. ISBN 978-1-7281-9938-2.
Detail -
2019
BARDONEK Petr. Nové metody optimalizace interpretace scénářů portovatelných stimulů. In: Počítačové architektury a diagnostika 2019. Doksy: Academic and Medical Conference Agency, 2019, s. 1-4. ISBN 978-80-88214-20-5.
Detail