{"id":"W2152711265","doi":"10.1109/mnrc.2008.4683396","title":"Use of structural tests in RTL verification","year":2008,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Functional verification; Bottleneck; Intelligent verification; Computer science; High-level verification; Formal verification; Verification; Runtime verification; Software verification; Process (computing); Automatic test pattern generation; Design flow; Reliability engineering; Embedded system; Electronic circuit; Algorithm; Software; Programming language; Engineering","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00223856,0.0007029531,0.0003950301,0.001259587,0.0004718787,0.0009713526,0.001383331,0.001079681,0.002184809],"category_scores_gemma":[0.02226764,0.0003902839,0.0007330068,0.0009539992,0.002639849,0.00306657,0.001205921,0.0009645467,0.0007076177],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005191623,"about_ca_system_score_gemma":0.0005932486,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004048717,"about_ca_topic_score_gemma":0.0005277467,"domain_scores_codex":[0.9951119,0.002432457,0.0003171035,0.0004021827,0.001546476,0.0001898057],"domain_scores_gemma":[0.9752348,0.01747768,0.001561437,0.004256809,0.001323194,0.0001460133],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0005908538,0.000194826,0.009096784,0.0009595618,0.0001254015,0.001472758,0.0004065928,0.1481311,0.07098502,0.2469241,0.001046209,0.5200667],"study_design_scores_gemma":[0.0001237782,0.00134903,0.001831946,0.0003217402,0.000149844,0.002485638,0.0001290755,0.5334138,0.1779734,0.2687846,0.01336005,0.00007719299],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03897827,0.000520492,0.9529113,0.0003525935,0.00006866593,0.00009726504,0.00006992908,0.0008990592,0.006102314],"genre_scores_gemma":[0.7763773,0.0005938121,0.2214285,0.0002078327,0.00005942775,0.0001254238,0.0001027258,0.0001554337,0.0009495645],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00223856,"threshold_uncertainty_score":0.01183873,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09165336609814137,"score_gpt":0.2581854940753433,"score_spread":0.1665321279772019,"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."}}