{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"An introduction to Formal Verification of Digital Circuits\" src=\"https://peertube.watch/videos/embed/6Du8T3gESV2TR1TAimrrD3\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"An introduction to Formal Verification of Digital Circuits","author_name":"FOSDEM 2024","author_url":"https://peertube.watch/video-channels/fosdem2024_videos","provider_name":"PeerTube","provider_url":"https://peertube.watch","thumbnail_url":"https://peertube.watch/lazy-static/thumbnails/c6e83a54-b7bf-4f17-9f40-2359cad1edff.jpg","thumbnail_width":1280,"thumbnail_height":720}