{"id":"W4289315837","doi":"10.1145/3552521","title":"Toward Software-like Debugging for FPGAs via Checkpointing and Transaction-based Co-Simulation","year":2022,"lang":"en","type":"article","venue":"ACM Transactions on Reconfigurable Technology and Systems","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Debugging; Speedup; Overhead (engineering); Field-programmable gate array; Embedded system; State (computer science); Software; Parallel computing; Operating system; Programming language","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.001402317,0.0006130612,0.0003595304,0.0004974247,0.0003576055,0.00126609,0.001570934,0.0007589677,0.002990111],"category_scores_gemma":[0.003517619,0.0004165945,0.000435229,0.0003888851,0.001037973,0.00184972,0.001189978,0.00145758,0.0005017483],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007185192,"about_ca_system_score_gemma":0.001044232,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002881382,"about_ca_topic_score_gemma":0.003257265,"domain_scores_codex":[0.999074,0.0003676132,0.00004967016,0.00009645383,0.0003006452,0.0001116268],"domain_scores_gemma":[0.9975618,0.0009428781,0.0001747837,0.0009017175,0.0003037087,0.0001150475],"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.0007882558,0.0002843479,0.008461474,0.0003083374,0.0001174475,0.0004845524,0.0008688545,0.5657518,0.04048912,0.09528044,0.006060121,0.2811052],"study_design_scores_gemma":[0.00005581963,0.0001439255,0.0004148727,0.00003088571,0.00001952874,0.0001026654,0.00005430908,0.9492969,0.02507315,0.0160822,0.0086999,0.00002578462],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02988055,0.0001695562,0.9612479,0.0001634615,0.00004635479,0.00005350751,0.00003434404,0.00591822,0.00248601],"genre_scores_gemma":[0.5381917,0.0002874948,0.4578968,0.0001065273,0.00002302038,0.0001240544,0.0001423031,0.000661947,0.002566117],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002990111,"threshold_uncertainty_score":0.01000285,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02955408975130503,"score_gpt":0.2682290066091541,"score_spread":0.2386749168578491,"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."}}