{"id":"https://openalex.org/W7125529950","doi":"https://doi.org/10.5281/zenodo.18350355","title":"IMMS-Ilmenau/netlist-carpentry: Release v0.3.3","display_name":"IMMS-Ilmenau/netlist-carpentry: Release v0.3.3","publication_year":2026,"publication_date":"2026-01-23","ids":{"openalex":"https://openalex.org/W7125529950","doi":"https://doi.org/10.5281/zenodo.18350355"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.18350355","doi":"https://doi.org/10.5281/zenodo.18350355","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18350355","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"volume":null,"type":"software","is_traditional":false,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.18350355","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092779835","display_name":"Manuel Jirsak","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210145956","display_name":"IMMS Institut f\u00fcr Mikroelektronik- und Mechatronik-Systeme gemeinn\u00fctzige GmbH (IMMS GmbH)","ror":"https://ror.org/0445d9h15","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210145956"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jirsak, Manuel","raw_affiliation_strings":["IMMS Institut f\u00fcr Mikroelektronik- und Mechatronik-Systeme gemeinn\u00fctzige GmbH (IMMS GmbH)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMMS Institut f\u00fcr Mikroelektronik- und Mechatronik-Systeme gemeinn\u00fctzige GmbH (IMMS GmbH)","institution_ids":["https://openalex.org/I4210145956"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102897374","display_name":"Georg Gl\u00e4ser","orcid":"https://orcid.org/0000-0002-7923-0284","observed_orcids":["https://orcid.org/0000-0002-7923-0284"]},"institutions":[{"id":"https://openalex.org/I4210145956","display_name":"IMMS Institut f\u00fcr Mikroelektronik- und Mechatronik-Systeme gemeinn\u00fctzige GmbH (IMMS GmbH)","ror":"https://ror.org/0445d9h15","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210145956"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gl\u00e4ser, Georg","raw_affiliation_strings":["IMMS Institut f\u00fcr Mikroelektronik- und Mechatronik-Systeme gemeinn\u00fctzige GmbH (IMMS GmbH)"],"raw_orcid":"https://orcid.org/0000-0002-7923-0284","affiliations":[{"raw_affiliation_string":"IMMS Institut f\u00fcr Mikroelektronik- und Mechatronik-Systeme gemeinn\u00fctzige GmbH (IMMS GmbH)","institution_ids":["https://openalex.org/I4210145956"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210145956"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9121000170707703,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9121000170707703,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.03310000151395798,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.019600000232458115,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/verilog","display_name":"Verilog","score":0.6600000262260437},{"id":"https://openalex.org/keywords/equivalence-checking","display_name":"equivalence checking","score":0.6629999876022339},{"id":"https://openalex.org/keywords/d-latch","display_name":"D-latch","score":0.5950000286102295},{"id":"https://openalex.org/keywords/sign-extension","display_name":"sign extension","score":0.6069999933242798}],"concepts":[{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.6258999705314636},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5546000003814697},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5509999990463257},{"id":"https://openalex.org/C19444555","wikidata":"https://www.wikidata.org/wiki/Q212750","display_name":"Flattening","level":2,"score":0.5328999757766724},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4392000138759613},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.399399995803833},{"id":"https://openalex.org/C32802771","wikidata":"https://www.wikidata.org/wiki/Q2443617","display_name":"Port (circuit theory)","level":2,"score":0.3720000088214874},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.3659000098705292},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.34540000557899475},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32690000534057617},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2644999921321869},{"id":"https://openalex.org/C2777044963","wikidata":"https://www.wikidata.org/wiki/Q5384707","display_name":"Equivalence class (music)","level":2,"score":0.2621000111103058},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2556000053882599},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25270000100135803}],"mesh":[],"locations_count":10,"locations":[{"id":"doi:10.5281/zenodo.18350355","doi":"https://doi.org/10.5281/zenodo.18350355","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18350355","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},{"id":"doi:10.5281/zenodo.18350356","doi":"https://doi.org/10.5281/zenodo.18350356","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18350356","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},{"id":"doi:10.5281/zenodo.18681560","doi":"https://doi.org/10.5281/zenodo.18681560","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18681560","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},{"id":"doi:10.5281/zenodo.19348797","doi":"https://doi.org/10.5281/zenodo.19348797","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.19348797","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},{"id":"doi:10.5281/zenodo.19680737","doi":"https://doi.org/10.5281/zenodo.19680737","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.19680737","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},{"id":"doi:10.5281/zenodo.19845137","doi":"https://doi.org/10.5281/zenodo.19845137","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.19845137","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},{"id":"doi:10.5281/zenodo.20178381","doi":"https://doi.org/10.5281/zenodo.20178381","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.20178381","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},{"id":"doi:10.5281/zenodo.21468546","doi":"https://doi.org/10.5281/zenodo.21468546","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.21468546","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},{"id":"doi:10.5281/zenodo.21890897","doi":"https://doi.org/10.5281/zenodo.21890897","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.21890897","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},{"id":"doi:10.5281/zenodo.22654767","doi":"https://doi.org/10.5281/zenodo.22654767","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22654767","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.18350355","doi":"https://doi.org/10.5281/zenodo.18350355","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18350355","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7171084400","https://openalex.org/W2587118234","https://openalex.org/W6968691066","https://openalex.org/W6966290403","https://openalex.org/W2580953300","https://openalex.org/W2574632014","https://openalex.org/W6949948495","https://openalex.org/W2124907850","https://openalex.org/W1705288590","https://openalex.org/W2093081283"],"abstract_inverted_index":{"ADDED":[0],"netlist_carpentry.gate_lib.PrimitiveGate.a_width":[1],"to":[2,23,50,84],"retrieve":[3,24],"the":[4,7,19,25,28,38,43,62,78,85,88,109],"width":[5,26,71,79,86],"of":[6,27,37,87],"input":[8,32],"port":[9,17,29,70,90],"A":[10],"directly":[11,82],"for":[12,34,54],"all":[13],"gates":[14,36],"with":[15,94,105],"such":[16],"in":[18,117],"gate":[20,39,63],"library":[21,40,64],"netlist_carpentry.gate_lib.BinaryGate.b_width":[22],"B":[30],"(second":[31],"port)":[33],"binary":[35],"netlist_carpentry.gate_lib.PosGate":[41],"implementing":[42],"Verilog":[44],"pos":[45],"operator":[46],"(+net,":[47],"as":[48],"opposed":[49],"-net,":[51],"e.g.":[52],"used":[53],"sign-extension)":[55],"CHANGED":[56],"netlist_carpentry.gate_lib.PrimitiveGate.width":[57],"\u2192":[58],"netlist_carpentry.gate_lib.PrimitiveGate.y_width":[59],"Gates":[60],"from":[61],"can":[65],"no":[66],"longer":[67],"get":[68],"their":[69],"assigned":[72],"via":[73],"Gate.width":[74],"=":[75],"new_width,":[76],"instead":[77],"is":[80,101],"always":[81],"coupled":[83],"corresponding":[89],"FIXED":[91],"Minor":[92],"fixes":[93],"equivalence":[95],"checking":[96],"structure,":[97],"if":[98,108],"\"overwrite\"":[99],"parameter":[100],"False":[102],"Fixed":[103],"issue":[104],"reg-wire":[106],"detection":[107],"driving":[110],"instance":[111,119],"has":[112],"a":[113],"\"dff\"":[114],"or":[115],"\"dlatch\"":[116],"its":[118],"type":[120]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-01-24T00:00:00"}