Michael Dossis. Synthesis-Embedded Verification. In 8th South-East Europe Design Automation, Computer Engineering, Computer Networks and Social Media Conference, SEEDA-CECNSM 2023, Piraeus, Greece, November 10-12, 2023. pages 1-7, IEEE, 2023. [doi]
Abstract is missing.