{"id":"W1990780443","doi":"10.1109/fpt.2013.6718324","title":"Maximum flow algorithms for maximum observability during FPGA debug","year":2013,"lang":"en","type":"article","venue":"","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Semiconductor Research Corporation","keywords":"Observability; Field-programmable gate array; Computer science; Tracing; TRACE (psycholinguistics); Routing (electronic design automation); Debugging; Algorithm; Maximum flow problem; Embedded system; Parallel computing; Mathematics; Mathematical optimization","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.0001619315,0.0002196218,0.0002250463,0.00006092453,0.00007769033,0.00007372729,0.0002193696,0.0001473216,0.0006419414],"category_scores_gemma":[0.00003125342,0.0001989276,0.0001246117,0.0001112031,0.00002611543,0.0003171765,0.00004017509,0.0001285131,0.0001566971],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008543606,"about_ca_system_score_gemma":0.000008293749,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007104836,"about_ca_topic_score_gemma":0.00001096,"domain_scores_codex":[0.9988986,0.00001464961,0.0002758408,0.0002492467,0.0001193157,0.0004423332],"domain_scores_gemma":[0.9993258,0.00006487643,0.00001707119,0.0003911318,0.00007902704,0.0001221462],"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.00002425964,0.0001963737,0.002952513,0.001372033,0.000213381,0.00001187995,0.0004732377,0.002922603,0.1719436,0.0002918615,0.06374465,0.7558537],"study_design_scores_gemma":[0.0009023088,0.0001192941,0.0128381,0.00004692176,0.00003145104,0.00001977525,0.00009932002,0.5362024,0.3862256,0.0533727,0.009111384,0.001030752],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1106888,0.0001897546,0.875736,0.0001870155,0.0003964286,0.001413863,0.00002442931,0.003983058,0.00738068],"genre_scores_gemma":[0.7549067,0.00004722469,0.2425691,0.0001016511,0.000228951,0.0008659576,0.00002060663,0.0001007577,0.001159124],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7548229,"threshold_uncertainty_score":0.8112034,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02032556772293232,"score_gpt":0.2214809940092736,"score_spread":0.2011554262863413,"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."}}