{"id":"W2171383332","doi":"10.1145/1687399.1687439","title":"PSTA-based branch and bound approach to the silicon speedpath isolation problem","year":2009,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Silicon; Hyperplane; Computer science; Debugging; Set (abstract data type); Path (computing); Process (computing); Algorithm; Mathematics; Materials science; Computer network; Optoelectronics","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.0002915823,0.00008621753,0.00007906919,0.00004718961,0.0001865235,0.0003002171,0.0003138172,0.00002623499,0.000002512938],"category_scores_gemma":[0.00001795838,0.00005653466,0.00002218166,0.000318705,0.00001342078,0.0002230316,0.00003216766,0.00007149009,0.00001335663],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001295332,"about_ca_system_score_gemma":0.00003324055,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002941147,"about_ca_topic_score_gemma":0.000008205176,"domain_scores_codex":[0.9992326,0.00003066828,0.0001221378,0.0002778573,0.0001474997,0.0001892508],"domain_scores_gemma":[0.9995531,0.00003822384,0.00003275778,0.0002718382,0.00003722635,0.00006679862],"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":[7.068834e-7,0.0001520199,0.004673934,0.00001661415,0.000005553125,0.000001746715,0.00171822,0.003626104,0.007302025,0.0796715,0.001851827,0.9009798],"study_design_scores_gemma":[0.0003705448,0.000234872,0.05068037,0.00002078562,0.00000638241,0.00002428873,0.0000405318,0.9338467,0.001321619,0.01147986,0.001679883,0.0002941583],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04134824,0.00004144182,0.921948,0.003553245,0.00002747332,0.000217182,3.065801e-7,0.000142968,0.03272121],"genre_scores_gemma":[0.9833512,3.707222e-7,0.01356891,0.002815981,0.00005654746,0.000003505105,0.000001520469,0.000002893114,0.0001991225],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9420029,"threshold_uncertainty_score":0.2895,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02124992261061796,"score_gpt":0.2290662300634926,"score_spread":0.2078163074528746,"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."}}