{"id":"https://openalex.org/W2536761459","doi":"https://doi.org/10.1145/2966986.2980086","title":"Properties first? a new design methodology for hardware, and its perspectives in safety analysis","display_name":"Properties first? a new design methodology for hardware, and its perspectives in safety analysis","publication_year":2016,"publication_date":"2016-10-18","ids":{"openalex":"https://openalex.org/W2536761459","doi":"https://doi.org/10.1145/2966986.2980086","mag":"2536761459"},"language":"en","primary_location":{"id":"doi:10.1145/2966986.2980086","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2966986.2980086","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th International Conference on Computer-Aided Design","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007431419","display_name":"Joakim Urdahl","orcid":null},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Joakim Urdahl","raw_affiliation_strings":["University of Kaiserslautern, Germany","Dept. of Electrical and Computer Engineering, University of Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002670917","display_name":"Shrinidhi Udupi","orcid":"https://orcid.org/0000-0002-3683-0888"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Shrinidhi Udupi","raw_affiliation_strings":["University of Kaiserslautern, Germany","Dept. of Electrical and Computer Engineering, University of Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085044632","display_name":"Tobias Ludwig","orcid":"https://orcid.org/0000-0002-3268-2013"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tobias Ludwig","raw_affiliation_strings":["University of Kaiserslautern, Germany","Dept. of Electrical and Computer Engineering, University of Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047920654","display_name":"Dominik Stoffel","orcid":"https://orcid.org/0000-0002-8180-9738"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dominik Stoffel","raw_affiliation_strings":["University of Kaiserslautern, Germany","Dept. of Electrical and Computer Engineering, University of Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066184879","display_name":"Wolfgang Kunz","orcid":"https://orcid.org/0000-0002-6612-2946"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wolfgang Kunz","raw_affiliation_strings":["University of Kaiserslautern, Germany","Dept. of Electrical and Computer Engineering, University of Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5007431419"],"corresponding_institution_ids":["https://openalex.org/I153267046"],"apc_list":null,"apc_paid":null,"fwci":1.3939,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.83923622,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6405306458473206},{"id":"https://openalex.org/keywords/design-methods","display_name":"Design methods","score":0.46456944942474365},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.42571550607681274},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3943168818950653},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.35319769382476807},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.24110618233680725}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6405306458473206},{"id":"https://openalex.org/C138852830","wikidata":"https://www.wikidata.org/wiki/Q2292993","display_name":"Design methods","level":2,"score":0.46456944942474365},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.42571550607681274},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3943168818950653},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.35319769382476807},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.24110618233680725},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2966986.2980086","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2966986.2980086","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th International Conference on Computer-Aided Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W155357827","https://openalex.org/W1509215027","https://openalex.org/W1521758819","https://openalex.org/W1543732613","https://openalex.org/W1965953351","https://openalex.org/W1986558678","https://openalex.org/W1996090184","https://openalex.org/W2019188908","https://openalex.org/W2024148935","https://openalex.org/W2044428420","https://openalex.org/W2108124319","https://openalex.org/W2132107743","https://openalex.org/W2132518374","https://openalex.org/W2165097265","https://openalex.org/W2170677925","https://openalex.org/W2174215409","https://openalex.org/W2491385276","https://openalex.org/W2620610044","https://openalex.org/W3143245542"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4385080093","https://openalex.org/W1841334895"],"abstract_inverted_index":{"This":[0],"paper":[1,77,136],"discusses":[2],"the":[3,18,58,67,98,123,148,156,170],"possible":[4],"role":[5,19],"of":[6,20,103,150,159],"formal":[7,21,33,44,175],"verification":[8,22,72],"techniques":[9,23],"in":[10,38],"system-level":[11,91],"design":[12,99,112,133],"flows.":[13],"It":[14],"is":[15,46,106],"argued":[16],"that":[17,42,145],"should":[24,35],"not":[25],"be":[26,36,127,164],"limited":[27],"to":[28,65,107,118,166],"“bug":[29],"hunting”":[30],"alone.":[31],"Instead,":[32],"technology":[34],"applied":[37],"such":[39],"a":[40,43,80,90,109],"way":[41],"relationship":[45],"provided":[47],"between":[48],"an":[49,160],"abstract":[50,84],"system":[51],"model":[52],"and":[53,93],"its":[54],"concrete":[55],"implementation":[56],"at":[57,113,155,169],"Register":[59],"Transfer":[60],"Level":[61],"(RTL).":[62],"In":[63],"order":[64],"avoid":[66],"high":[68],"efforts":[69],"associated":[70],"with":[71,174],"by":[73],"property":[74,120],"checking":[75],"this":[76,104,138],"advocates":[78],"for":[79,139],"top-down":[81],"methodology":[82,105],"where":[83],"properties":[85],"are":[86,94],"automatically":[87],"generated":[88],"from":[89],"description":[92],"later":[95],"refined":[96],"along":[97],"process.":[100],"One":[101],"advantage":[102],"obtain":[108],"formally":[110],"verified":[111],"lower":[114],"costs":[115],"when":[116,130],"compared":[117],"conventional":[119],"checking.":[121],"Moreover,":[122],"proposed":[124],"approach":[125],"can":[126,163],"beneficial":[128],"also":[129],"analyzing":[131],"non-functional":[132],"targets.":[134],"The":[135],"demonstrates":[137],"safety.":[140],"We":[141],"present":[142],"experimental":[143],"results":[144],"show":[146],"how":[147],"effects":[149],"Single":[151],"Event":[152],"Upsets":[153],"(SEUs)":[154],"gate":[157],"level":[158,173],"SoC":[161],"module":[162],"related":[165],"safety":[167],"requirements":[168],"system's":[171],"transaction":[172],"precision.":[176]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}