{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001643657,0.0005428313,0.0003377562,0.0004435312,0.0005409443,0.0005865512,0.001344362,0.0003358044,0.002295377],"category_scores_gemma":[0.005649966,0.0006055548,0.0009255272,0.000349345,0.001038726,0.001514195,0.001027046,0.001043801,0.0004362543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006950821,"about_ca_system_score_gemma":0.002392656,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002711077,"about_ca_topic_score_gemma":0.004241962,"domain_scores_codex":[0.9983986,0.000280106,0.0001196879,0.0002166195,0.0008275604,0.0001573484],"domain_scores_gemma":[0.9965912,0.001732608,0.0003218293,0.0009649899,0.0003560475,0.00003335851],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003775714,0.0001784108,0.005085324,0.0008850703,0.0001005938,0.0006347278,0.0008476587,0.2029257,0.2708077,0.1238796,0.003027285,0.3912504],"study_design_scores_gemma":[0.0001664033,0.0004427727,0.001402322,0.00009018046,0.0001415758,0.0005941074,0.0001180439,0.4296372,0.4832283,0.05794911,0.0261642,0.00006570548],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02386545,0.00004617299,0.9730033,0.00003632603,0.000009025188,0.000130397,0.00008983776,0.001793429,0.001025968],"genre_scores_gemma":[0.3718717,0.0001952699,0.6251371,0.00007215588,0.00001911249,0.0002119833,0.000435741,0.0005420343,0.001514854],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002711077,"threshold_uncertainty_score":0.008692622,"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."}}