{"id":"W2003749588","doi":"10.1109/mtv.2011.16","title":"Model Checker to FPGA Prototype Commmunication Bottleneck Issue","year":2011,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Institut National de la Recherche Scientifique","funders":"","keywords":"Computer science; Field-programmable gate array; Bottleneck; Model checking; Software portability; Embedded system; Observability; Formal verification; Network packet; Latency (audio); Computer hardware; Programming language; Computer network","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.000183925,0.00008054324,0.00008173606,0.00005134794,0.00008896362,0.00004911646,0.0009094878,0.00003392519,0.00006007807],"category_scores_gemma":[0.00003548678,0.0000704574,0.00002662526,0.000237206,0.00001268974,0.0003004864,0.0002210412,0.00007186611,0.0006002805],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001621944,"about_ca_system_score_gemma":0.0000368569,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001572359,"about_ca_topic_score_gemma":0.00001947291,"domain_scores_codex":[0.9993078,0.0000201178,0.0001408632,0.0002239113,0.0001186109,0.0001887038],"domain_scores_gemma":[0.9990914,0.000008806644,0.00003499181,0.000692763,0.00007691103,0.00009506386],"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.0000023599,0.0004001501,0.00411922,0.00004207465,0.00002713704,0.000009220047,0.01388298,0.0009732936,0.007083877,0.4127983,0.0112693,0.5493921],"study_design_scores_gemma":[0.0001595039,0.0001470732,0.003807437,0.00003046412,0.000004028057,0.000008344274,0.00002976922,0.9687805,0.01268705,0.008997949,0.005029208,0.0003186498],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003478271,0.00001738366,0.8875332,0.0005674583,0.00003911791,0.0002755791,2.821953e-7,0.0002644098,0.1078243],"genre_scores_gemma":[0.8018655,0.000001984353,0.1942931,0.001822508,0.00002510567,0.00005342164,7.355039e-7,0.000006830906,0.001930846],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9678072,"threshold_uncertainty_score":0.7715591,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.106184895807981,"score_gpt":0.2764315060935011,"score_spread":0.1702466102855201,"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."}}