Petr Bardonek

According to our database, Petr Bardonek authored at least 3 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2025

VerTrace: An Open-Source Toolchain for Portable Stimulus Vertical Reuse.

Petr Bardonek, Marcela Zachariásová

Proceedings of the 32nd IEEE International Conference on Electronics, Circuits and Systems, 2025

Leveraging Design Static Analysis for Vertical Reuse in Functional Verification.

Petr Bardonek, Marcela Zachariásová

Proceedings of the 28th Euromicro Conference on Digital System Design, 2025

2020

Using Control Logic Drivers for Automated Generation of System-level Portable Models.

Petr Bardonek, Marcela Zachariásová

Proceedings of the 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2020