{"id":"https://openalex.org/W4380879819","doi":"https://doi.org/10.3233/jifs-232132","title":"Hybrid Optimized Verification Methodology using Deep Reinforcement Neural Network","display_name":"Hybrid Optimized Verification Methodology using Deep Reinforcement Neural Network","publication_year":2023,"publication_date":"2023-06-16","ids":{"openalex":"https://openalex.org/W4380879819","doi":"https://doi.org/10.3233/jifs-232132"},"language":"en","primary_location":{"id":"doi:10.3233/jifs-232132","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jifs-232132","pdf_url":null,"source":{"id":"https://openalex.org/S179157397","display_name":"Journal of Intelligent & Fuzzy Systems","issn_l":"1064-1246","issn":["1064-1246","1875-8967"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Intelligent & Fuzzy Systems","raw_type":"journal-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/A5026218263","display_name":"N. Bhuvaneswary","orcid":null},"institutions":[{"id":"https://openalex.org/I98499257","display_name":"Kalasalingam Academy of Research and Education","ror":"https://ror.org/04fm2fn75","country_code":"IN","type":"education","lineage":["https://openalex.org/I98499257"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"N. Bhuvaneswary","raw_affiliation_strings":["Department of ECE, Kalasalingam Academy of Research and Education, TamilNadu, India"],"affiliations":[{"raw_affiliation_string":"Department of ECE, Kalasalingam Academy of Research and Education, TamilNadu, India","institution_ids":["https://openalex.org/I98499257"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003535023","display_name":"J. Deny","orcid":"https://orcid.org/0000-0001-6515-3575"},"institutions":[{"id":"https://openalex.org/I98499257","display_name":"Kalasalingam Academy of Research and Education","ror":"https://ror.org/04fm2fn75","country_code":"IN","type":"education","lineage":["https://openalex.org/I98499257"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"J. Deny","raw_affiliation_strings":["Department of ECE, Kalasalingam Academy of Research and Education, TamilNadu, India"],"affiliations":[{"raw_affiliation_string":"Department of ECE, Kalasalingam Academy of Research and Education, TamilNadu, India","institution_ids":["https://openalex.org/I98499257"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086915040","display_name":"A. Lakshmi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"A. Lakshmi","raw_affiliation_strings":["Department of ECE, Ramco Institute of Technology, TamilNadu, India"],"affiliations":[{"raw_affiliation_string":"Department of ECE, Ramco Institute of Technology, TamilNadu, India","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5026218263"],"corresponding_institution_ids":["https://openalex.org/I98499257"],"apc_list":null,"apc_paid":null,"fwci":0.616,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.60678392,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"45","issue":"3","first_page":"3715","last_page":"3728"},"is_retracted":true,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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"}},{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9988999962806702,"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/T10558","display_name":"Advancements in Semiconductor Devices and Circuit Design","score":0.9988999962806702,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8639060258865356},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.5985381603240967},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5906429290771484},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.5555336475372314},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5453367829322815},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.49161607027053833},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.42293354868888855},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3283935487270355},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.2765510678291321},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.25026822090148926}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8639060258865356},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.5985381603240967},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5906429290771484},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.5555336475372314},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5453367829322815},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.49161607027053833},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.42293354868888855},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3283935487270355},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2765510678291321},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25026822090148926},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/jifs-232132","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jifs-232132","pdf_url":null,"source":{"id":"https://openalex.org/S179157397","display_name":"Journal of Intelligent & Fuzzy Systems","issn_l":"1064-1246","issn":["1064-1246","1875-8967"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Intelligent & Fuzzy Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W1966658740","https://openalex.org/W2067434363","https://openalex.org/W2075820247","https://openalex.org/W2121327775","https://openalex.org/W2134443501","https://openalex.org/W2278608150","https://openalex.org/W2344568791","https://openalex.org/W2584105298","https://openalex.org/W2619213283","https://openalex.org/W2622925720","https://openalex.org/W2788642360","https://openalex.org/W2806992889","https://openalex.org/W2885746489","https://openalex.org/W2897279464","https://openalex.org/W2936757996","https://openalex.org/W2945043622","https://openalex.org/W2963341836","https://openalex.org/W3008118888","https://openalex.org/W3021762866","https://openalex.org/W3033614745","https://openalex.org/W3035023645","https://openalex.org/W3114879287","https://openalex.org/W3164621419","https://openalex.org/W3184917550","https://openalex.org/W3205707234","https://openalex.org/W3211713681","https://openalex.org/W4205943221","https://openalex.org/W4206773083","https://openalex.org/W4210260155","https://openalex.org/W4213182863","https://openalex.org/W4229459202","https://openalex.org/W4284683049","https://openalex.org/W4288101940","https://openalex.org/W4307021520","https://openalex.org/W4365815661","https://openalex.org/W4367047386","https://openalex.org/W6637046749","https://openalex.org/W6641890962","https://openalex.org/W6694896102","https://openalex.org/W6704669737","https://openalex.org/W6733414823","https://openalex.org/W6738793599","https://openalex.org/W6749268602","https://openalex.org/W6753660043","https://openalex.org/W6755594832","https://openalex.org/W6761699964","https://openalex.org/W6762345895","https://openalex.org/W6769362348","https://openalex.org/W6780155785","https://openalex.org/W6799069408"],"related_works":["https://openalex.org/W3074294383","https://openalex.org/W4206669594","https://openalex.org/W2961085424","https://openalex.org/W2959276766","https://openalex.org/W4295941380","https://openalex.org/W260766989","https://openalex.org/W3139193008","https://openalex.org/W4306674287","https://openalex.org/W2327204559","https://openalex.org/W4319083788"],"abstract_inverted_index":{"Universal":[0],"Verification":[1],"Methodology":[2],"(UVM)":[3],"caters":[4],"to":[5,20,112,139,145],"an":[6,28],"essential":[7],"role":[8],"in":[9,55,203],"verifying":[10,237],"the":[11,41,50,62,95,121,128,136,149,162,194,211,229,233,241],"different":[12],"categories":[13],"of":[14,31,127,244],"circuits":[15],"ranging":[16],"from":[17],"small-scale":[18],"chips":[19],"complex":[21],"system-on-chip":[22],"architectures.":[23],"Constrained":[24],"random":[25],"simulations":[26],"are":[27,34],"indispensable":[29],"part":[30],"UVM":[32],"and":[33,43,48,65,87,124,131,147,176,184,189,206,220,240,246],"often":[35],"used":[36],"for":[37,92,119,236],"design":[38,51,133],"verification.":[39],"However,":[40],"effort":[42],"time":[44,57],"spent":[45],"manually":[46],"updating":[47],"analyzing":[49],"input":[52,96],"constraints":[53,150],"result":[54],"high":[56,103],"complexity,":[58],"which":[59],"typically":[60],"impacts":[61],"coverage":[63,104,181,205],"goal":[64],"fault":[66],"verification":[67,80,100,218],"ratio.":[68,105],"To":[69],"overcome":[70],"this":[71,73],"problem,":[72],"paper":[74],"proposes":[75],"a":[76,102],"novel":[77],"hybrid":[78],"optimized":[79],"framework":[81,137,155,196,213,231],"that":[82,228],"combines":[83],"Reinforcement":[84],"Learning":[85],"(RL)":[86],"Deep":[88],"Neural":[89],"Networks":[90],"(DNN)":[91],"automatically":[93],"optimizing":[94],"constraints,":[97],"accelerating":[98],"faster":[99,204],"with":[101,161,216],"The":[106,153,191],"proposed":[107,154,195,212,230],"algorithm":[108],"uses":[109],"reinforcement":[110],"learning":[111,223],"generate":[113],"all":[114],"possible":[115],"vector":[116],"sequences":[117],"needed":[118],"testing":[120],"target":[122,129],"devices":[123,130],"corresponding":[125],"outputs":[126],"potential":[132],"errors.":[134,209],"Furthermore,":[135,210],"intends":[138],"use":[140],"high-speed":[141],"deep-feedforward":[142],"neural":[143],"networks":[144],"automate":[146],"optimize":[148],"during":[151],"runtime.":[152],"was":[156,167],"developed":[157],"using":[158,170],"Python":[159],"interfaced":[160],"TCL":[163],"environment.":[164],"Extensive":[165],"experimentation":[166],"carried":[168],"out":[169],"several":[171],"circuits,":[172],"including":[173],"multi-core":[174,238],"designs,":[175],"performance":[177,202],"parameters":[178],"such":[179],"as":[180],"accuracy,":[182],"speed,":[183],"computational":[185],"complexity":[186],"were":[187],"calculated":[188],"analyzed.":[190],"experiment":[192],"demonstrated":[193],"remarkable":[197],"results,":[198],"showing":[199],"its":[200],"superior":[201],"fewer":[207],"misclassification":[208],"is":[214],"compared":[215],"existing":[217],"frameworks":[219],"other":[221],"classical":[222],"models.":[224],"Good":[225],"results":[226],"demonstrate":[227],"increases":[232],"4.5x":[234],"speed":[235],"designs":[239],"99%":[242],"accuracy":[243],"detection":[245],"coverage.":[247]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2026-01-30T23:17:42.513302","created_date":"2025-10-10T00:00:00"}