{"id":"W3163263218","doi":"10.1109/icfpt51103.2020.00036","title":"StateReveal: Enabling Checkpointing of FPGA Designs with Buried State","year":2020,"lang":"en","type":"article","venue":"","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Field-programmable gate array; Debugging; Block (permutation group theory); Overhead (engineering); Embedded system; State (computer science); Observability; Logic block; Finite-state machine; Controllability; Computer hardware; Place and route; Digital signal processing; Parallel computing; Operating system; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"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.0003683694,0.0005812149,0.0001978898,0.000453122,0.0002040266,0.0004672434,0.0007094885,0.0002960449,0.00332529],"category_scores_gemma":[0.00157819,0.0002647563,0.0002122582,0.000182813,0.0004343843,0.0009819949,0.0005119847,0.0004943451,0.0003367219],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003950515,"about_ca_system_score_gemma":0.0005739308,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001105781,"about_ca_topic_score_gemma":0.002091631,"domain_scores_codex":[0.9996835,0.00005773872,0.00002117673,0.00005663724,0.0001250256,0.00005597841],"domain_scores_gemma":[0.9988962,0.0003566577,0.0002130972,0.0003968352,0.0001043199,0.00003282263],"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.001277398,0.0003061056,0.01245559,0.001028048,0.0001058431,0.00113147,0.001346524,0.1011333,0.3291686,0.01383458,0.01595993,0.5222527],"study_design_scores_gemma":[0.0001532218,0.0009489995,0.005542694,0.0001276246,0.00006886755,0.0005524182,0.0001462415,0.3399316,0.6167646,0.004963968,0.03069177,0.0001079401],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4392094,0.0008874111,0.4843318,0.0002423437,0.0001301626,0.0002127035,0.0005725659,0.0681309,0.006282667],"genre_scores_gemma":[0.9237675,0.0001465088,0.07195906,0.00007403718,0.00001388566,0.00008049008,0.0002589663,0.0008649436,0.002834654],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00332529,"threshold_uncertainty_score":0.01112419,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01534576731452568,"score_gpt":0.2032473809290263,"score_spread":0.1879016136145006,"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."}}