{"id":"W2067272463","doi":"10.1109/fpl.2012.6339240","title":"Limitations of incremental signal-tracing for FPGA debug","year":2012,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Observability; Computer science; Field-programmable gate array; Tracing; Debugging; TRACE (psycholinguistics); Embedded system; Functional verification; State (computer science); Software; Computer hardware; Computer architecture; Formal verification; Algorithm; Operating system","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.0002253449,0.00004537815,0.00006357121,0.00004471907,0.00007816815,0.00002092458,0.0001893558,0.00001575381,0.000008558592],"category_scores_gemma":[0.00008306141,0.00004057993,0.00004112636,0.0001267852,0.00001125857,0.0004339764,0.00004216935,0.00002503141,0.000009474904],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001058997,"about_ca_system_score_gemma":0.00001810872,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001925392,"about_ca_topic_score_gemma":0.000006840959,"domain_scores_codex":[0.9995081,0.00001158145,0.0001313731,0.0000827679,0.0000865619,0.0001796544],"domain_scores_gemma":[0.9994164,0.0003319054,0.00004667863,0.0001064511,0.0000472682,0.00005132166],"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":[2.597032e-7,0.0002055409,0.02096043,0.0000401961,0.0000296984,4.808588e-7,0.002525352,0.0001424844,0.08191461,0.1628356,0.00120393,0.7301414],"study_design_scores_gemma":[0.001757537,0.0005376389,0.0530511,0.0001783545,0.00007718222,0.00006162137,0.001939205,0.2660615,0.6538582,0.01732993,0.004052719,0.001095011],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03213136,0.00006560446,0.9564276,0.0001058295,0.00008090307,0.00007831969,9.80849e-7,0.00006931141,0.01104013],"genre_scores_gemma":[0.9598591,0.000001190913,0.03984295,0.000130719,0.00005754169,0.000007601101,0.000001468399,0.000003005893,0.00009641952],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9277278,"threshold_uncertainty_score":0.1654802,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1327282570983014,"score_gpt":0.2773365983703842,"score_spread":0.1446083412720829,"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."}}