{"id":"https://openalex.org/W2943542511","doi":"https://doi.org/10.1109/icm.2018.8704117","title":"Automatic RTL coding correction Linting tool for critical issues","display_name":"Automatic RTL coding correction Linting tool for critical issues","publication_year":2018,"publication_date":"2018-12-01","ids":{"openalex":"https://openalex.org/W2943542511","doi":"https://doi.org/10.1109/icm.2018.8704117","mag":"2943542511"},"language":"en","primary_location":{"id":"doi:10.1109/icm.2018.8704117","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icm.2018.8704117","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 30th International Conference on Microelectronics (ICM)","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/A5031457386","display_name":"Nancy S. Soliman","orcid":null},"institutions":[{"id":"https://openalex.org/I57629906","display_name":"Nile University","ror":"https://ror.org/03cg7cp61","country_code":"EG","type":"education","lineage":["https://openalex.org/I57629906"]}],"countries":["EG"],"is_corresponding":true,"raw_author_name":"Nancy S. Soliman","raw_affiliation_strings":["NISC Research Center, Nile University, Cairo, Egypt"],"affiliations":[{"raw_affiliation_string":"NISC Research Center, Nile University, Cairo, Egypt","institution_ids":["https://openalex.org/I57629906"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028133110","display_name":"Khaled Salah","orcid":"https://orcid.org/0000-0002-2310-2558"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Khaled Salah","raw_affiliation_strings":["Mentor Graphics, Cairo, Egypt"],"affiliations":[{"raw_affiliation_string":"Mentor Graphics, Cairo, Egypt","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035566088","display_name":"Ahmed H. Madian","orcid":"https://orcid.org/0000-0001-8313-8088"},"institutions":[{"id":"https://openalex.org/I57629906","display_name":"Nile University","ror":"https://ror.org/03cg7cp61","country_code":"EG","type":"education","lineage":["https://openalex.org/I57629906"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Ahmed H. Madian","raw_affiliation_strings":["NISC Research Center, Nile University, Cairo, Egypt"],"affiliations":[{"raw_affiliation_string":"NISC Research Center, Nile University, Cairo, Egypt","institution_ids":["https://openalex.org/I57629906"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5031457386"],"corresponding_institution_ids":["https://openalex.org/I57629906"],"apc_list":null,"apc_paid":null,"fwci":0.2525,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.55756539,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"252","last_page":"255"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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.9995999932289124,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9995999932289124,"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.8106045722961426},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.6418333053588867},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.5697804093360901},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.49030783772468567},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4451848864555359},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4250432252883911},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4047831594944},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.390893816947937}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8106045722961426},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.6418333053588867},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.5697804093360901},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.49030783772468567},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4451848864555359},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4250432252883911},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4047831594944},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.390893816947937},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icm.2018.8704117","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icm.2018.8704117","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 30th International Conference on Microelectronics (ICM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1827563491","https://openalex.org/W1984559585","https://openalex.org/W1994459599","https://openalex.org/W2010684659","https://openalex.org/W2137952932","https://openalex.org/W2159289729","https://openalex.org/W2398712915","https://openalex.org/W2404505569","https://openalex.org/W2476434589","https://openalex.org/W2731610524","https://openalex.org/W2790829505","https://openalex.org/W4210774978","https://openalex.org/W4235671167","https://openalex.org/W4251332810","https://openalex.org/W6740347285","https://openalex.org/W6845497641"],"related_works":["https://openalex.org/W2341492732","https://openalex.org/W3187193180","https://openalex.org/W106542691","https://openalex.org/W1699080303","https://openalex.org/W4297799326","https://openalex.org/W3116064965","https://openalex.org/W4287027380","https://openalex.org/W2207495067","https://openalex.org/W1906486629","https://openalex.org/W2789551765"],"abstract_inverted_index":{"This":[0],"paper":[1],"posits":[2],"an":[3,24],"automatic":[4,25],"handling":[5],"to":[6,28,48,52,57,69],"some":[7,30],"of":[8,32],"the":[9,16,37,72],"most":[10],"common":[11],"RTL":[12],"critical":[13],"issues":[14],"in":[15,36],"verification":[17,50],"process.":[18],"In":[19],"this":[20],"paper,":[21],"we":[22],"propose":[23],"linting":[26,73],"tool":[27,63],"handle":[29,58],"causes":[31],"intentional":[33],"latches":[34],"generated":[35],"synthesis":[38],"process":[39,74],"and":[40],"clock":[41],"gating":[42],"timing":[43],"violation.":[44],"Therefore,":[45],"no":[46],"need":[47],"waste":[49],"time":[51],"dive":[53],"through":[54],"long":[55],"codes":[56],"them":[59],"manually.":[60],"The":[61],"proposed":[62],"has":[64,80],"been":[65,81],"implemented":[66],"using":[67],"python":[68],"speed":[70],"up":[71],"with":[75],"easy":[76],"GUI.":[77],"Finally,":[78],"it":[79],"tested":[82],"on":[83],"OpenCore":[84],"certificated":[85],"projects":[86],"source":[87],"codes.":[88]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}