{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00003683965,0.0000322019,0.00005059113,0.00004848625,0.00002481879,0.00001182618,0.0001713663,0.00001433936,0.000004802972],"category_scores_gemma":[0.00006486163,0.00002773533,0.00001211647,0.0002298695,0.00001738268,0.0003450757,0.00002560513,0.0000317058,0.00000549114],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008684742,"about_ca_system_score_gemma":0.00002244729,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001803468,"about_ca_topic_score_gemma":0.00002261725,"domain_scores_codex":[0.9996262,0.00001207722,0.0001070749,0.000102675,0.00007532604,0.00007663594],"domain_scores_gemma":[0.9997046,0.0000508033,0.00003165449,0.0001679048,0.00002773968,0.00001727255],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[1.317044e-7,0.00002511238,0.8153657,0.000008217901,0.00000236764,0.00002174523,0.001008218,0.0005439115,0.02565774,0.0304767,0.0001631186,0.126727],"study_design_scores_gemma":[0.00005871532,0.00001209571,0.9339836,0.000006285846,2.650863e-7,0.0000230099,0.000003715742,0.06208837,0.003303757,0.0004337757,0.00003760196,0.00004884275],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9623111,0.00001259795,0.03669902,0.00005999952,0.00003763505,0.00002719857,1.937587e-7,0.00004394681,0.0008083229],"genre_scores_gemma":[0.9928085,0.000001555196,0.007052102,0.00004751974,0.000007727903,5.99118e-7,5.050009e-7,0.000001236996,0.00008029177],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1266782,"threshold_uncertainty_score":0.1131014,"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."}}