{"id":"https://openalex.org/W2027266151","doi":"https://doi.org/10.3103/s0146411612050057","title":"Investigation of simulation-based verification methods for descriptions with functional indeterminacy","display_name":"Investigation of simulation-based verification methods for descriptions with functional indeterminacy","publication_year":2012,"publication_date":"2012-09-01","ids":{"openalex":"https://openalex.org/W2027266151","doi":"https://doi.org/10.3103/s0146411612050057","mag":"2027266151"},"language":"en","primary_location":{"id":"doi:10.3103/s0146411612050057","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411612050057","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","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/A5064156892","display_name":"D. Ya. Novikov","orcid":null},"institutions":[{"id":"https://openalex.org/I151823869","display_name":"National Academy of Sciences of Belarus","ror":"https://ror.org/02j8pe645","country_code":"BY","type":"government","lineage":["https://openalex.org/I151823869"]},{"id":"https://openalex.org/I4210105192","display_name":"United Institute of Informatics Problems","ror":"https://ror.org/01ccbsb07","country_code":"BY","type":"facility","lineage":["https://openalex.org/I151823869","https://openalex.org/I4210105192","https://openalex.org/I4210116091"]}],"countries":["BY"],"is_corresponding":false,"raw_author_name":"D. Ya. Novikov","raw_affiliation_strings":["United Institute of Informatics Problems, National Academy of Sciences of Belarus, ul. Surganova 6, Minsk, 220012, Belarus"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"United Institute of Informatics Problems, National Academy of Sciences of Belarus, ul. Surganova 6, Minsk, 220012, Belarus","institution_ids":["https://openalex.org/I151823869","https://openalex.org/I4210105192"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081899668","display_name":"\u041b. \u0414. \u0427\u0435\u0440\u0435\u043c\u0438\u0441\u0438\u043d\u043e\u0432\u0430","orcid":null},"institutions":[{"id":"https://openalex.org/I151823869","display_name":"National Academy of Sciences of Belarus","ror":"https://ror.org/02j8pe645","country_code":"BY","type":"government","lineage":["https://openalex.org/I151823869"]},{"id":"https://openalex.org/I4210105192","display_name":"United Institute of Informatics Problems","ror":"https://ror.org/01ccbsb07","country_code":"BY","type":"facility","lineage":["https://openalex.org/I151823869","https://openalex.org/I4210105192","https://openalex.org/I4210116091"]}],"countries":["BY"],"is_corresponding":false,"raw_author_name":"L. D. Cheremisinova","raw_affiliation_strings":["United Institute of Informatics Problems, National Academy of Sciences of Belarus, ul. Surganova 6, Minsk, 220012, Belarus"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"United Institute of Informatics Problems, National Academy of Sciences of Belarus, ul. Surganova 6, Minsk, 220012, Belarus","institution_ids":["https://openalex.org/I151823869","https://openalex.org/I4210105192"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.34,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.61082117,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"46","issue":"5","first_page":"191","last_page":"199"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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.9848999977111816,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9842000007629395,"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.7924640774726868},{"id":"https://openalex.org/keywords/combinational-logic","display_name":"Combinational logic","score":0.7405955791473389},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.6713361144065857},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.5611009001731873},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.5179973244667053},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5161829590797424},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47925353050231934},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4748245179653168},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.45223164558410645},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.4281243681907654},{"id":"https://openalex.org/keywords/logic-simulation","display_name":"Logic simulation","score":0.4228760600090027},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3111063241958618},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.19021379947662354},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1706099808216095}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7924640774726868},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.7405955791473389},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.6713361144065857},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.5611009001731873},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.5179973244667053},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5161829590797424},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47925353050231934},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4748245179653168},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.45223164558410645},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.4281243681907654},{"id":"https://openalex.org/C64859876","wikidata":"https://www.wikidata.org/wiki/Q173673","display_name":"Logic simulation","level":3,"score":0.4228760600090027},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3111063241958618},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.19021379947662354},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1706099808216095},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3103/s0146411612050057","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411612050057","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320330759","display_name":"Research Nova Scotia","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W621300437","https://openalex.org/W658499214","https://openalex.org/W1511688816","https://openalex.org/W1518705996","https://openalex.org/W1563130775","https://openalex.org/W1915669309","https://openalex.org/W2075959177","https://openalex.org/W2189327219","https://openalex.org/W4247585869"],"related_works":["https://openalex.org/W2516690985","https://openalex.org/W4226191681","https://openalex.org/W3029381898","https://openalex.org/W3212751295","https://openalex.org/W1568384982","https://openalex.org/W2063425181","https://openalex.org/W2728195892","https://openalex.org/W4248224315","https://openalex.org/W4249396218","https://openalex.org/W2995617542"],"abstract_inverted_index":{"The":[0],"problem":[1],"of":[2,4,7,21,28,37,42],"verification":[3],"logical":[5],"descriptions":[6,17],"combinational":[8,38],"devices":[9],"is":[10],"considered":[11],"for":[12,40],"incompletely":[13],"functionally":[14],"defined":[15,23],"initial":[16],"represented":[18,45],"as":[19],"systems":[20],"partially":[22],"Boolean":[24,49],"functions":[25],"on":[26,35],"intervals":[27],"input":[29,43],"variable":[30],"values.":[31],"Verification":[32],"methods":[33],"based":[34],"simulation":[36],"circuits":[39],"cases":[41],"stimuli":[44],"by":[46],"ternary":[47],"and":[48],"vectors":[50],"are":[51],"investigated.":[52]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}