{"id":"W2524806454","doi":"10.1109/fpl.2016.7577371","title":"Quantifying observability for in-system debug of high-level synthesis circuits","year":2016,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Observability; Debugging; Computer science; Metric (unit); High-level synthesis; Variable (mathematics); Embedded system; Electronic circuit; Computer engineering; Field-programmable gate array; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002209221,0.0008012109,0.0004566647,0.001494694,0.0004738552,0.0009298048,0.0006861365,0.0006119019,0.001597123],"category_scores_gemma":[0.02487739,0.0003103326,0.0004152449,0.0008930452,0.0009738207,0.002407283,0.0009329813,0.001026077,0.0001290269],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001206247,"about_ca_system_score_gemma":0.0007981395,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001841359,"about_ca_topic_score_gemma":0.002448933,"domain_scores_codex":[0.9969512,0.001003699,0.0002607555,0.0004008225,0.001144426,0.0002390061],"domain_scores_gemma":[0.9653755,0.02512449,0.004090008,0.003735603,0.00127621,0.0003981323],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001693794,0.0004482622,0.08030853,0.0008558923,0.0002133795,0.0003969664,0.001373205,0.5266658,0.134386,0.01539127,0.0008580679,0.2374088],"study_design_scores_gemma":[0.00004815437,0.0009709341,0.02847648,0.00007452372,0.0001119989,0.0004854147,0.0002408511,0.8233433,0.130979,0.01218727,0.003024499,0.00005767629],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.550819,0.0007050328,0.4437171,0.000207502,0.00002774982,0.00009383248,0.0002921948,0.002469259,0.001668345],"genre_scores_gemma":[0.9726983,0.00009925235,0.02671832,0.00001803578,0.000006982066,0.00003041555,0.0001420789,0.00008901599,0.0001976114],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002209221,"threshold_uncertainty_score":0.01168358,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1568055473325858,"score_gpt":0.3010054580857761,"score_spread":0.1441999107531903,"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."}}