{"id":"W2156305400","doi":"10.1109/vtest.1993.313332","title":"Controllability and observability measures for functional-level testability evaluation","year":2002,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Observability; Controllability; Testability; Path (computing); Binary decision diagram; Computer science; Design for testing; Function (biology); Benchmark (surveying); Representation (politics); Algorithm; Mathematics; Programming language; Statistics; Applied mathematics","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.002759829,0.0001187612,0.0001695983,0.00002905358,0.0002317424,0.0001151208,0.0002091185,0.00005282502,0.00008217259],"category_scores_gemma":[0.003568511,0.0001000149,0.0000680058,0.0001885848,0.00007519275,0.0004565491,0.00006083515,0.00006639897,0.000006719278],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008478126,"about_ca_system_score_gemma":0.00005009103,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004808399,"about_ca_topic_score_gemma":0.00009541435,"domain_scores_codex":[0.998419,0.0001596924,0.0002752118,0.0005427699,0.0003817361,0.0002215706],"domain_scores_gemma":[0.9976859,0.001000522,0.00006356328,0.0004872239,0.0006695776,0.00009322348],"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":[0.000001281366,0.0001770198,0.1414533,0.00003814416,0.00001425374,1.36059e-7,0.0002460289,0.0001380723,0.001143108,0.006056076,0.0004442065,0.8502884],"study_design_scores_gemma":[0.0006592365,0.00005219272,0.4342804,0.000003438974,0.00001292001,0.000003206906,0.00001564055,0.5404658,0.0001499724,0.02400265,0.0002335405,0.0001209727],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1868097,0.0003035165,0.8077418,0.001819628,0.0001731758,0.0007666061,0.000008682262,0.0002056531,0.002171202],"genre_scores_gemma":[0.9938506,0.000001930614,0.005648088,0.0002458734,0.00005229502,0.00009830589,0.000002283581,0.000003787789,0.00009683324],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8501674,"threshold_uncertainty_score":0.4272099,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2709626359674821,"score_gpt":0.2828883942462495,"score_spread":0.01192575827876735,"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."}}