{"id":"W1994065392","doi":"10.1109/hldvt.2004.1431229","title":"Simplifying design and verification for structural hazards and datapaths in pipelined circuits","year":2004,"lang":"en","type":"article","venue":"","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Datapath; Computer science; Correctness; Pipeline (software); Computer architecture; Microprocessor; Embedded system; Programming language","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001472683,0.00007467836,0.00007755258,0.00005648605,0.00003023802,0.00002959121,0.00003934588,0.00004586952,0.000001688587],"category_scores_gemma":[0.00005471418,0.00007688315,0.000006234944,0.00007142478,0.00001126573,0.0001615821,0.00000508826,0.00005748102,6.539041e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008955065,"about_ca_system_score_gemma":0.0000224198,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009058355,"about_ca_topic_score_gemma":0.00001843444,"domain_scores_codex":[0.9995735,0.000009289317,0.0001093848,0.0001179566,0.00004298539,0.0001469368],"domain_scores_gemma":[0.9997776,0.00007955561,0.00001164933,0.0000909177,0.0000110245,0.00002931311],"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.000004992846,0.000002475468,0.00008373726,0.00006724077,0.00000787844,4.132512e-7,0.0002551768,0.9135579,0.01252922,0.00338881,0.00004785221,0.07005429],"study_design_scores_gemma":[0.0007826548,0.00003397802,0.003371626,0.000008336136,0.000005417058,0.000005986057,0.00001814351,0.9846602,0.007431325,0.003428741,0.0001387125,0.0001148786],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.455266,0.0003586893,0.5438408,0.00002878823,0.00005516863,0.0003123862,0.00000362728,0.00008604693,0.00004854342],"genre_scores_gemma":[0.9866741,0.00004663097,0.01316796,0.00002421559,0.00002555877,0.00002698243,0.00001419696,0.00001603877,0.000004261046],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5314081,"threshold_uncertainty_score":0.3135204,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01256448028026084,"score_gpt":0.2422243510574466,"score_spread":0.2296598707771857,"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."}}