{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T10:19:14Z","timestamp":1769163554741,"version":"3.49.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030545482","type":"print"},{"value":"9783030545499","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-54549-9_5","type":"book-chapter","created":{"date-parts":[[2020,8,19]],"date-time":"2020-08-19T19:03:42Z","timestamp":1597863822000},"page":"67-81","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8398-2705","authenticated-orcid":false,"given":"Katharina","family":"Ceesay-Seitz","sequence":"first","affiliation":[]},{"given":"Hamza","family":"Boukabache","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4340-8551","authenticated-orcid":false,"given":"Daniel","family":"Perrin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,7,31]]},"reference":[{"key":"5_CR1","unstructured":"ISO 26262: Road vehicles - Functional safety, International Organisation for Standardisation (ISO) (2018)"},{"key":"5_CR2","unstructured":"DO-254 - Design Assurance Guidance for Airborne Electronic Hardware, Radio Technical Commission for Aeronautics, Washington, USA (2011)"},{"key":"5_CR3","unstructured":"IEC 60532: Radiation protection instrumentation, International Electrotechnical Commission (IEC), Geneva, Switzerland (2010)"},{"key":"5_CR4","unstructured":"DO-178 - Software considerations in airborne systems and equipment certification, Radio Technical Commission for Aeronautics, Washington, USA (2000)"},{"key":"5_CR5","unstructured":"IEC 61508: Functional safety of electrical\/electronic\/programmable electronic safety-related systems. The International Electrotechnical Commission (2010)"},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"Foster, H.D.: 2018 FPGA functional verification trends. In: Proceedings of 2018 19th International Workshop on Microprocessor and SOC Test, Security and Verification (MTV), Austin, TX, USA (2019). https:\/\/doi.org\/10.1109\/MTV.2018.00018","DOI":"10.1109\/MTV.2018.00018"},{"key":"5_CR7","unstructured":"IEEE Std 1800\u20132017: IEEE Standard for SystemVerilog - Unified Hardware Design, Specification and Verification Language. IEEE Computer Society (2018)"},{"key":"5_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/b135575","volume-title":"Verification Methodology Manual for System Verilog","author":"J Bergeron","year":"2005","unstructured":"Bergeron, J., Cerny, E., Nightingale, A.: Verification Methodology Manual for System Verilog. Springer, Boston (2005). https:\/\/doi.org\/10.1007\/b135575"},{"key":"5_CR9","unstructured":"IEEE Std 1800.2-2017: IEEE Standard for Universal Verification Methodology Language Reference Manual. IEEE (2017)"},{"issue":"10","key":"5_CR10","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/2.796141","volume":"32","author":"JD Arthur","year":"1999","unstructured":"Arthur, J.D., Groner, M.K., Hayhurst, K.J., Holloway, C.M.: Evaluating the effectiveness of independent verification and validation. Computer 32(10), 79\u201383 (1999). https:\/\/doi.org\/10.1109\/2.796141","journal-title":"Computer"},{"key":"5_CR11","unstructured":"Achutha KiranKumar, M.V., Bindumadhava, S.S., Abhijith Bharadwaj, A.: Making formal property verification mainstream: an intel graphics experience. In: Proceedings of Design and Verification Conference and Exhibition United States, DVCon United States, San Jose, CA, USA (2017)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Butka, B.: Advanced verification methods and safety critical hardware. In: 2012 Integrated Communications, Navigation and Surveillance Conference, Herndon, VA, pp. K3-1\u2013K3-9. IEEE (2012)","DOI":"10.1109\/ICNSurv.2012.6218419"},{"issue":"6","key":"5_CR13","doi-asserted-by":"publisher","first-page":"81","DOI":"10.3390\/electronics7060081","volume":"7","author":"T Grimm","year":"2018","unstructured":"Grimm, T., Lettnin, D., Huebner, M.: A survey on formal verification techniques for safety-critical systems-on-chip. Electronics 7(6), 81 (2018)","journal-title":"Electronics"},{"key":"5_CR14","doi-asserted-by":"publisher","unstructured":"Devarajegowda, K., Servadei, L., Han, Z., Werner, M., Ecker, W.: Formal verification methodology in an industrial setup. In: 22nd Euromicro Conference on Digital System Design (DSD), Greece, pp. 610\u2013614. IEEE (2019). https:\/\/doi.org\/10.1109\/DSD.2019.00094","DOI":"10.1109\/DSD.2019.00094"},{"key":"5_CR15","doi-asserted-by":"publisher","unstructured":"Butka, B.: Is the current DO-254 verification process adequate for the future? In: 2012 IEEE\/AIAA 31st Digital Avionics Systems Conference (DASC), Williamsburg, VA, pp. 6A6-1-6A6-11. IEEE (2012). https:\/\/doi.org\/10.1109\/DASC.2012.6382383","DOI":"10.1109\/DASC.2012.6382383"},{"key":"5_CR16","unstructured":"Ceesay-Seitz, K., Boukabache, H., Perrin, D.: Semi-formal reformulation of requirements for formal property verification. In: Proceedings of Design and Verification Conference and Exhibition Europe, DVCon Europe, Munich (2019)"},{"issue":"3","key":"5_CR17","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1109\/TNS.2020.2972903","volume":"67","author":"AK John","year":"2020","unstructured":"John, A.K., Bhattacharjee, A.K.: Qualification of hardware description language designs for safety critical applications in nuclear power plants. IEEE Trans. Nucl. Sci. 67(3), 502\u2013507 (2020). https:\/\/doi.org\/10.1109\/TNS.2020.2972903","journal-title":"IEEE Trans. Nucl. Sci."},{"key":"5_CR18","doi-asserted-by":"publisher","unstructured":"Carter, H., Williams, P., Fitzpatrick, T.: Foliations of coverage: introducing functional coverage to DO-254 verification projects. In: Proceedings of 2019 IEEE Aerospace Conference, Big Sky, MT, USA (2019). https:\/\/doi.org\/10.1109\/AERO.2019.8741814","DOI":"10.1109\/AERO.2019.8741814"},{"key":"5_CR19","unstructured":"Ceesay-Seitz, K.: Automated verification of a system-on-chip for radiation protection fulfilling Safety Integrity Level 2. CERN-THESIS-2019-022, Geneva, CERN (2019). https:\/\/cds.cern.ch\/record\/2672187\/"},{"issue":"5","key":"5_CR20","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1049\/iet-cdt.2016.0189","volume":"11","author":"S Jabeen","year":"2017","unstructured":"Jabeen, S., Srinivasan, S., Shuja, S.: Formal verification methodology for real-time field programmable gate array. IET Comput. Digit. Tech. 11(5), 197\u2013203 (2017)","journal-title":"IET Comput. Digit. Tech."},{"key":"5_CR21","unstructured":"Sprott, J., Marriott, P., Graham, M.: Navigating the functional coverage black hole: be more effective at functional coverage modeling. In: Proceedings of Design and Verification Conference and Exhibition United States, DVCon United States, San Jose, CA, USA (2015)"},{"key":"5_CR22","volume-title":"Formal Verification an Essential Toolkit for Modern VLSI Design","author":"E Seligman","year":"2015","unstructured":"Seligman, E., Schubert, T., Achutha KiranKumar, M.: Formal Verification an Essential Toolkit for Modern VLSI Design. Elsevier Inc., Amsterdam (2015)"},{"issue":"1\u20133","key":"5_CR23","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1093\/rpd\/ncw308","volume":"173","author":"H Boukabache","year":"2016","unstructured":"Boukabache, H., et al.: Towards a novel modular architecture for cern radiation monitoring. Radiat. Prot. Dosimetry. 173(1\u20133), 240\u2013244 (2016). https:\/\/doi.org\/10.1093\/rpd\/ncw308","journal-title":"Radiat. Prot. Dosimetry."},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"113492","DOI":"10.1016\/j.microrel.2019.113492","volume":"100","author":"C Toner","year":"2019","unstructured":"Toner, C., et al.: Fault resilient FPGA design for 28 nm ZYNQ system-on-chip based radiation monitoring system at CERN. Microelectron. Reliab. 100, 113492 (2019). https:\/\/doi.org\/10.1016\/j.microrel.2019.113492","journal-title":"Microelectron. Reliab."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-54549-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,23]],"date-time":"2021-04-23T23:26:30Z","timestamp":1619220390000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-54549-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030545482","9783030545499"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-54549-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"31 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAFECOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Safety, Reliability, and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"39","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/safecomp2020.di.fc.ul.pt\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"116","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6.2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}