{"id":"https://openalex.org/W3039667794","doi":"https://doi.org/10.1109/tcsii.2020.3005705","title":"Probabilistic Analysis for Sequential Circuits Verification Using Markov Chains","display_name":"Probabilistic Analysis for Sequential Circuits Verification Using Markov Chains","publication_year":2020,"publication_date":"2020-07-02","ids":{"openalex":"https://openalex.org/W3039667794","doi":"https://doi.org/10.1109/tcsii.2020.3005705","mag":"3039667794"},"language":"en","primary_location":{"id":"doi:10.1109/tcsii.2020.3005705","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcsii.2020.3005705","pdf_url":null,"source":{"id":"https://openalex.org/S93916849","display_name":"IEEE Transactions on Circuits & Systems II Express Briefs","issn_l":"1549-7747","issn":["1549-7747","1558-3791"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Circuits and Systems II: Express Briefs","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/A5025950256","display_name":"Mingming Zhang","orcid":"https://orcid.org/0000-0001-7570-8124"},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Mingming Zhang","raw_affiliation_strings":["Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-7570-8124","affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China","institution_ids":["https://openalex.org/I37796252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044168486","display_name":"Shuqin Geng","orcid":"https://orcid.org/0000-0002-3393-1835"},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuqin Geng","raw_affiliation_strings":["Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-3393-1835","affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China","institution_ids":["https://openalex.org/I37796252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045292091","display_name":"Wensi Wang","orcid":"https://orcid.org/0000-0003-3121-6464"},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wensi Wang","raw_affiliation_strings":["Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-3121-6464","affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China","institution_ids":["https://openalex.org/I37796252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055738569","display_name":"Xiaohong Peng","orcid":"https://orcid.org/0009-0008-7452-003X"},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaohong Peng","raw_affiliation_strings":["Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China","institution_ids":["https://openalex.org/I37796252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055752665","display_name":"Menghao Chu","orcid":"https://orcid.org/0000-0002-0510-0110"},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Menghao Chu","raw_affiliation_strings":["Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-0510-0110","affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China","institution_ids":["https://openalex.org/I37796252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110696169","display_name":"Shengyuan Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shengyuan Zhou","raw_affiliation_strings":["Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China","institution_ids":["https://openalex.org/I37796252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110371922","display_name":"Zhonghou Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhonghou Zhang","raw_affiliation_strings":["Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China","institution_ids":["https://openalex.org/I37796252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020157150","display_name":"Hang Lu","orcid":"https://orcid.org/0000-0003-3247-9784"},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hang Lu","raw_affiliation_strings":["Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-3247-9784","affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China","institution_ids":["https://openalex.org/I37796252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045418994","display_name":"PengKun Li","orcid":"https://orcid.org/0000-0002-7010-3377"},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Pengkun Li","raw_affiliation_strings":["Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-7010-3377","affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China","institution_ids":["https://openalex.org/I37796252"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057954380","display_name":"Ronghao Zhu","orcid":"https://orcid.org/0000-0003-2269-5248"},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ronghao Zhu","raw_affiliation_strings":["Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-2269-5248","affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, College of Electronic Science and Technology, Beijing University of Technology, Beijing, China","institution_ids":["https://openalex.org/I37796252"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":10,"corresponding_author_ids":["https://openalex.org/A5025950256"],"corresponding_institution_ids":["https://openalex.org/I37796252"],"apc_list":null,"apc_paid":null,"fwci":0.7072,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.67545467,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"68","issue":"1","first_page":"481","last_page":"485"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9998999834060669,"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.9998999834060669,"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.9994000196456909,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.6953899264335632},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6323956847190857},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6297881603240967},{"id":"https://openalex.org/keywords/random-testing","display_name":"Random testing","score":0.5820857882499695},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.540336012840271},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5280001163482666},{"id":"https://openalex.org/keywords/monte-carlo-method","display_name":"Monte Carlo method","score":0.46661868691444397},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.45848530530929565},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3870469331741333},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.26033955812454224},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24396544694900513},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.2150154411792755},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.20024287700653076},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.13742992281913757},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12158039212226868}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6953899264335632},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6323956847190857},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6297881603240967},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.5820857882499695},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.540336012840271},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5280001163482666},{"id":"https://openalex.org/C19499675","wikidata":"https://www.wikidata.org/wiki/Q232207","display_name":"Monte Carlo method","level":2,"score":0.46661868691444397},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.45848530530929565},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3870469331741333},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.26033955812454224},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24396544694900513},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.2150154411792755},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.20024287700653076},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.13742992281913757},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12158039212226868},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcsii.2020.3005705","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcsii.2020.3005705","pdf_url":null,"source":{"id":"https://openalex.org/S93916849","display_name":"IEEE Transactions on Circuits & Systems II Express Briefs","issn_l":"1549-7747","issn":["1549-7747","1558-3791"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Circuits and Systems II: Express Briefs","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":10,"referenced_works":["https://openalex.org/W599484449","https://openalex.org/W1490819086","https://openalex.org/W1826753560","https://openalex.org/W2025340003","https://openalex.org/W2087591266","https://openalex.org/W2238201325","https://openalex.org/W2294174718","https://openalex.org/W2506952443","https://openalex.org/W2753088973","https://openalex.org/W3028892935"],"related_works":["https://openalex.org/W2122128531","https://openalex.org/W2153411587","https://openalex.org/W4237277701","https://openalex.org/W2121424666","https://openalex.org/W4301250310","https://openalex.org/W614198812","https://openalex.org/W2153649445","https://openalex.org/W2055420561","https://openalex.org/W2015071673","https://openalex.org/W2067700950"],"abstract_inverted_index":{"Random":[0],"testing":[1,13,23],"is":[2,20,109],"used":[3],"extensively":[4],"in":[5,103,135,174],"functional":[6],"verification":[7,50,79],"of":[8,28,59,73,87,95,116,124,141,168],"hardware":[9],"systems.":[10],"In":[11],"practice,":[12],"stops":[14],"when":[15],"a":[16,42,64,96,104,142],"certain":[17],"coverage":[18,66,117],"criterion":[19],"achieved.":[21],"However,":[22],"has":[24,162],"the":[25,57,71,93,114,122,129,139,158],"inherent":[26],"problem":[27],"being":[29,101,144],"only":[30],"able":[31],"to":[32,55,69,113,121,137,172],"expose":[33],"bugs,":[34],"not":[35,47],"prove":[36],"their":[37],"absence.":[38],"Thus,":[39],"proving":[40],"whether":[41],"potential":[43],"bug":[44,74,97,143],"exists":[45],"or":[46],"under":[48,80],"current":[49],"efforts":[51],"would":[52],"be":[53],"helpful":[54],"measure":[56],"completeness":[58],"testing.":[60,82],"This":[61],"brief":[62],"proposes":[63],"probabilistic":[65],"analysis":[67,160],"method":[68,85,161],"quantify":[70],"probability":[72,94,140],"existence":[75],"for":[76,91],"sequential":[77,105],"circuit":[78],"random":[81,150],"The":[83,107],"proposed":[84,130,159],"consists":[86],"an":[88,163],"effective":[89],"formula":[90,108],"computing":[92],"(assuming":[98],"it":[99,132],"exists)":[100],"detected":[102],"circuit.":[106],"time":[110],"complexity":[111],"cubic":[112],"number":[115,123],"bins":[118],"and":[119],"linear":[120],"test":[125],"cycles.":[126],"To":[127],"validate":[128],"method,":[131],"was":[133],"implemented":[134],"MATLAB":[136],"calculate":[138],"detected.":[145],"Experimental":[146],"results":[147],"on":[148],"20,116":[149],"instances":[151],"indicate":[152],"that,":[153],"using":[154],"Monte":[155],"Carlo":[156],"simulation,":[157],"average":[164],"absolute":[165],"relative":[166],"error":[167],"approximately":[169],"0.027%,":[170],"comparing":[171],"7.38%":[173],"existing":[175],"work.":[176]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"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"}