{"id":"W1992864170","doi":"10.1109/newcas.2009.5290420","title":"Automatic verification methodology based on structural test patterns","year":2009,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Functional verification; Bottleneck; Computer science; Intelligent verification; High-level verification; Verification; Automation; Formal verification; Electronic design automation; Software verification; Design flow; Automatic test pattern generation; Verification and validation of computer simulation models; Reliability engineering; Embedded system; Software; Engineering; Programming language; Software construction","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002373824,0.0000826059,0.00009752074,0.0000736744,0.0000799683,0.00006895543,0.0003895267,0.00003384825,0.00005498343],"category_scores_gemma":[0.0002728955,0.0000665351,0.00003207712,0.0001756115,0.000008453982,0.0001381414,0.0000126609,0.00007357029,0.00003980281],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002145395,"about_ca_system_score_gemma":0.00002509381,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001407478,"about_ca_topic_score_gemma":0.000002313321,"domain_scores_codex":[0.9992429,0.00008735074,0.0001405654,0.0002340024,0.0001250251,0.000170156],"domain_scores_gemma":[0.9990245,0.0004854933,0.00005423151,0.0003603555,0.00002829606,0.00004711451],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[5.812327e-8,0.00002319631,0.007105432,0.000005024453,0.000001180872,0.000006301346,0.0000799653,0.0003950721,0.002483249,0.0106987,0.00006668972,0.9791352],"study_design_scores_gemma":[0.000093778,0.0001249317,0.2065213,0.00001023321,0.000001584985,0.000007195313,0.000004521546,0.7891387,0.001483664,0.002523901,0.000010864,0.00007925771],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05234146,0.000003247922,0.9427471,0.001544324,0.0001017118,0.00005782065,6.609524e-7,0.0003772552,0.002826481],"genre_scores_gemma":[0.9350098,1.527516e-7,0.06238405,0.00253355,0.0000351573,0.000001667983,0.00000263168,0.000002358539,0.00003063446],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9790559,"threshold_uncertainty_score":0.2713223,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06050014549467846,"score_gpt":0.3043993520041662,"score_spread":0.2438992065094877,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}