{"id":"W2113499707","doi":"10.1109/ismvl.1995.513517","title":"The evaluation of full sensitivity for test generation in MVL circuits","year":2002,"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":"University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Sensitivity (control systems); Electronic circuit; Automatic test pattern generation; Mathematics; Fraction (chemistry); Variable (mathematics); Computer science; Upper and lower bounds; Algorithm; Electronic engineering; Engineering; Electrical engineering","routes":{"ca_aff":true,"ca_fund":true,"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.001828829,0.00004365473,0.00005662645,0.0000342335,0.0001006781,0.00004950335,0.0001139001,0.00002129834,0.000004592739],"category_scores_gemma":[0.0008429139,0.00003232355,0.00002366671,0.0001941396,0.00001345351,0.000177071,0.00001907694,0.00003111985,0.000005115787],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002974156,"about_ca_system_score_gemma":0.00002259646,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000020851,"about_ca_topic_score_gemma":0.0003847381,"domain_scores_codex":[0.9992815,0.0000883519,0.0001496485,0.0001399077,0.0002245729,0.0001159698],"domain_scores_gemma":[0.9990374,0.0004910866,0.00005839683,0.000182122,0.0002155918,0.00001534353],"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":[1.234148e-8,0.00003441857,0.00100846,0.000002777956,0.000001482999,3.416314e-7,0.0001868564,0.001389788,0.04154672,0.003466965,0.000310999,0.9520512],"study_design_scores_gemma":[0.0001755082,0.00003003784,0.00425333,0.00000446276,0.0000030851,0.000005408694,0.00001039716,0.9910836,0.003662738,0.0006877318,0.00004033895,0.00004336222],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1833793,0.0001414916,0.8099858,0.0008618784,0.0001368642,0.0003489718,0.000001332224,0.00004242142,0.005101952],"genre_scores_gemma":[0.999273,0.00000336792,0.0005254225,0.00005707013,0.00005991485,0.00001370553,0.000001152821,0.000002069684,0.00006429016],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9896938,"threshold_uncertainty_score":0.1318116,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1344694288233717,"score_gpt":0.2952261259620145,"score_spread":0.1607566971386429,"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."}}