{"guid":"259a03da-9051-5e98-9b1d-c2d02d669069","title":"What makes processors fail - and how to prevent it","subtitle":null,"slug":"emf2018-417-what-makes-processors-fail-and-how-to-prevent-it","link":"https://c3voc.de","description":"Modern processors are amazing devices: small, fast, low power and getting better with every generation.\nBut the most amazing things about modern microprocessors is that they work so incredibly reliably despite all their incredible complexity.\n\nThis talk is about the battle between complexity and correctness and about how new formal verification tools can be used to help you design higher performance processors that actually work.  I will describe the common optimisations, the bugs that these often introduce and how open source tools such as SAT solvers and bounded model checkers can be used to find these bugs.","original_language":"eng","persons":["Alastair Reid"],"tags":["emf2018","417"],"view_count":146,"promoted":false,"date":"2018-09-02T00:00:00.000+02:00","release_date":"2018-09-02T02:00:00.000+02:00","updated_at":"2026-02-19T13:45:07.761+01:00","length":2609,"duration":2609,"thumb_url":"https://static.media.ccc.de/media/events/emf/2018/417-hd.jpg","poster_url":"https://static.media.ccc.de/media/events/emf/2018/417-hd_preview.jpg","timeline_url":"https://static.media.ccc.de/media/events/emf/2018/259a03da-9051-5e98-9b1d-c2d02d669069-timeline.jpg","thumbnails_url":"https://static.media.ccc.de/media/events/emf/2018/259a03da-9051-5e98-9b1d-c2d02d669069-thumbnails.vtt","frontend_link":"https://media.ccc.de/v/emf2018-417-what-makes-processors-fail-and-how-to-prevent-it","url":"https://api.media.ccc.de/public/events/259a03da-9051-5e98-9b1d-c2d02d669069","conference_title":"Electromagnetic Field 2018","conference_url":"https://api.media.ccc.de/public/conferences/emf2018","related":[{"event_id":4944,"event_guid":"868fbf54-2007-4c0e-9af3-63384bed9fa6","weight":1},{"event_id":5638,"event_guid":"bc119064-0b23-443b-82d4-55719d478151","weight":2},{"event_id":5839,"event_guid":"fd6ba9b5-4482-5a6d-ab8f-6e128ecd1b4b","weight":2},{"event_id":5845,"event_guid":"0b16f931-d146-54d8-8114-bc28d56980b7","weight":5},{"event_id":5846,"event_guid":"8ce0a3d6-ed6b-5832-9c59-7db20a3158ad","weight":3},{"event_id":5848,"event_guid":"a633920f-8aed-5526-948a-271c48183e5a","weight":3},{"event_id":5850,"event_guid":"75ce0be1-9882-5bba-b1d7-8a20cdeac639","weight":2},{"event_id":5851,"event_guid":"ba9dc4fd-e759-5433-86b9-bd5760895d76","weight":1},{"event_id":5855,"event_guid":"727edb06-a061-5f61-9ae8-52d12e0720e4","weight":2},{"event_id":5865,"event_guid":"73ef432f-7207-55e7-8bf3-7835fde6aee8","weight":3},{"event_id":5872,"event_guid":"312d822c-3eb4-5f9d-8be4-6b86eb7bc133","weight":3},{"event_id":5878,"event_guid":"345f57b7-c955-51ab-a19d-2f4d5dd63932","weight":2},{"event_id":5882,"event_guid":"5d51e9a5-ea43-5c16-b3e3-ca9d44f95795","weight":5},{"event_id":5887,"event_guid":"2c8fac7f-38b0-57df-99b1-2dd60d97ddc2","weight":4},{"event_id":5894,"event_guid":"b77fbaf6-e8f1-5224-a941-fad004514dac","weight":2},{"event_id":5895,"event_guid":"bcd13b3a-d337-5457-9d4c-7fd04bf749b2","weight":2},{"event_id":5899,"event_guid":"07eea888-4a04-5493-b688-bf6ad2da8aa4","weight":2},{"event_id":5909,"event_guid":"b5d0edb3-0cb1-51a4-af20-b255f7175c2f","weight":1},{"event_id":5910,"event_guid":"08fe4cbb-3e07-5f3b-9800-1bb8374b52e4","weight":2},{"event_id":5911,"event_guid":"734952f2-9c9a-52db-9067-b804f112156d","weight":4},{"event_id":5913,"event_guid":"996785ea-5073-5ce6-9ee5-702840d83eee","weight":5},{"event_id":5917,"event_guid":"50e2efb7-6d8b-5043-b60c-260cb7cb22d9","weight":2},{"event_id":5919,"event_guid":"ed2b73e8-6e79-5ae5-a1ac-a3b48ff639a2","weight":4},{"event_id":5920,"event_guid":"14a2abe5-b0cf-5e8b-96af-9184a3b71237","weight":4},{"event_id":5933,"event_guid":"b4aa787a-3ee8-528d-8a55-064e0858a5a6","weight":4},{"event_id":5934,"event_guid":"8769d3af-5098-515b-9197-24f80251a13a","weight":3}],"recordings":[{"size":491,"length":2609,"mime_type":"video/mp4","language":"eng","filename":"emf2018-417-eng-What_makes_processors_fail_-_and_how_to_prevent_it_hd.mp4","state":"new","folder":"h264-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2018-09-02T23:02:28.648+02:00","recording_url":"https://cdn.media.ccc.de/events/emf/2018/h264-hd/emf2018-417-eng-What_makes_processors_fail_-_and_how_to_prevent_it_hd.mp4","url":"https://api.media.ccc.de/public/recordings/28136","event_url":"https://api.media.ccc.de/public/events/259a03da-9051-5e98-9b1d-c2d02d669069","conference_url":"https://api.media.ccc.de/public/conferences/emf2018"},{"size":39,"length":2609,"mime_type":"audio/mpeg","language":"eng","filename":"emf2018-417-eng-What_makes_processors_fail_-_and_how_to_prevent_it_mp3.mp3","state":"new","folder":"mp3","high_quality":false,"width":0,"height":0,"updated_at":"2018-09-02T23:27:35.866+02:00","recording_url":"https://cdn.media.ccc.de/events/emf/2018/mp3/emf2018-417-eng-What_makes_processors_fail_-_and_how_to_prevent_it_mp3.mp3","url":"https://api.media.ccc.de/public/recordings/28147","event_url":"https://api.media.ccc.de/public/events/259a03da-9051-5e98-9b1d-c2d02d669069","conference_url":"https://api.media.ccc.de/public/conferences/emf2018"},{"size":32,"length":2609,"mime_type":"audio/opus","language":"eng","filename":"emf2018-417-eng-What_makes_processors_fail_-_and_how_to_prevent_it_opus.opus","state":"new","folder":"opus","high_quality":false,"width":0,"height":0,"updated_at":"2018-09-02T23:28:00.525+02:00","recording_url":"https://cdn.media.ccc.de/events/emf/2018/opus/emf2018-417-eng-What_makes_processors_fail_-_and_how_to_prevent_it_opus.opus","url":"https://api.media.ccc.de/public/recordings/28148","event_url":"https://api.media.ccc.de/public/events/259a03da-9051-5e98-9b1d-c2d02d669069","conference_url":"https://api.media.ccc.de/public/conferences/emf2018"},{"size":99,"length":2609,"mime_type":"video/mp4","language":"eng","filename":"emf2018-417-eng-What_makes_processors_fail_-_and_how_to_prevent_it_sd.mp4","state":"new","folder":"h264-sd","high_quality":false,"width":720,"height":576,"updated_at":"2018-09-02T23:28:20.795+02:00","recording_url":"https://cdn.media.ccc.de/events/emf/2018/h264-sd/emf2018-417-eng-What_makes_processors_fail_-_and_how_to_prevent_it_sd.mp4","url":"https://api.media.ccc.de/public/recordings/28149","event_url":"https://api.media.ccc.de/public/events/259a03da-9051-5e98-9b1d-c2d02d669069","conference_url":"https://api.media.ccc.de/public/conferences/emf2018"},{"size":117,"length":2609,"mime_type":"video/webm","language":"eng","filename":"emf2018-417-eng-What_makes_processors_fail_-_and_how_to_prevent_it_webm-sd.webm","state":"new","folder":"webm-sd","high_quality":false,"width":720,"height":576,"updated_at":"2018-09-02T23:59:53.250+02:00","recording_url":"https://cdn.media.ccc.de/events/emf/2018/webm-sd/emf2018-417-eng-What_makes_processors_fail_-_and_how_to_prevent_it_webm-sd.webm","url":"https://api.media.ccc.de/public/recordings/28157","event_url":"https://api.media.ccc.de/public/events/259a03da-9051-5e98-9b1d-c2d02d669069","conference_url":"https://api.media.ccc.de/public/conferences/emf2018"},{"size":449,"length":2609,"mime_type":"video/webm","language":"eng","filename":"emf2018-417-eng-What_makes_processors_fail_-_and_how_to_prevent_it_webm-hd.webm","state":"new","folder":"webm-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2018-09-03T00:42:13.667+02:00","recording_url":"https://cdn.media.ccc.de/events/emf/2018/webm-hd/emf2018-417-eng-What_makes_processors_fail_-_and_how_to_prevent_it_webm-hd.webm","url":"https://api.media.ccc.de/public/recordings/28190","event_url":"https://api.media.ccc.de/public/events/259a03da-9051-5e98-9b1d-c2d02d669069","conference_url":"https://api.media.ccc.de/public/conferences/emf2018"}]}