{"id":"W2072367650","doi":"10.1109/fpl.2014.6927498","title":"Effective FPGA debug for high-level synthesis generated circuits","year":2014,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":49,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Debugging; Field-programmable gate array; Computer science; High-level synthesis; Embedded system; Software; Background debug mode interface; Computer architecture; Source code; Time to market; Code (set theory); Operating system; Programming language; Set (abstract data type)","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.0009881058,0.0001966959,0.0002998091,0.0001426176,0.0001252001,0.0001536917,0.0009216914,0.0001320897,0.00001160335],"category_scores_gemma":[0.0004644858,0.0001646172,0.00008208151,0.0002921637,0.0000263814,0.0003214298,0.0001141612,0.00007222337,0.0000776512],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008180055,"about_ca_system_score_gemma":0.00003805551,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000112155,"about_ca_topic_score_gemma":0.00002133851,"domain_scores_codex":[0.998347,0.0002917216,0.0002652059,0.0005314007,0.0002187383,0.0003459366],"domain_scores_gemma":[0.9975742,0.001243574,0.0001037599,0.0007499581,0.0002301,0.00009846898],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000005205418,0.00007541596,0.00008923574,0.00008406407,0.00007143948,0.000003255766,0.0002269383,0.00002358148,0.08632928,0.4334895,0.02338164,0.4562204],"study_design_scores_gemma":[0.0002281743,0.0001870029,0.0007628816,0.00004364483,0.00001142081,0.00001164936,0.000003472663,0.03590916,0.9425793,0.01850954,0.001429555,0.000324176],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003252224,0.00001983196,0.9892613,0.0002136762,0.0002852758,0.0009401376,0.000004930053,0.001235047,0.004787523],"genre_scores_gemma":[0.8143426,9.866069e-7,0.1837221,0.000318687,0.0001239683,0.0007982805,0.000001368881,0.00002031621,0.0006716782],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.85625,"threshold_uncertainty_score":0.6712896,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02861649710753675,"score_gpt":0.2523303526592199,"score_spread":0.2237138555516832,"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."}}