Petr Bardonek

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
VerTrace: An Open-Source Toolchain for Portable Stimulus Vertical Reuse.
Proceedings of the 32nd IEEE International Conference on Electronics, Circuits and Systems, 2025

Leveraging Design Static Analysis for Vertical Reuse in Functional Verification.
Proceedings of the 28th Euromicro Conference on Digital System Design, 2025

2020
Using Control Logic Drivers for Automated Generation of System-level Portable Models.
Proceedings of the 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2020


  Loading...