{"id":"W2087702998","doi":"10.1007/s10009-002-0087-0","title":"A framework for superscalar microprocessor correctness statements","year":2003,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; University of Pennsylvania","keywords":"Correctness; Computer science; Superscalar; Theory of computation; Implementation; Microprocessor; Parameterized complexity; Programming language; Set (abstract data type); Parallel computing; Variety (cybernetics); Formal verification; Instruction set; Computer architecture; Embedded system; Algorithm; Artificial intelligence","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006924882,0.0002837248,0.0003356481,0.0006616687,0.0002168589,0.0004487046,0.002191155,0.0004178885,0.00002669371],"category_scores_gemma":[0.001472592,0.0002568965,0.0002664334,0.0003259751,0.0000873231,0.001026368,0.00003514365,0.0005235758,0.00001681081],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002391828,"about_ca_system_score_gemma":0.0001656676,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.217961e-7,"about_ca_topic_score_gemma":0.000001365546,"domain_scores_codex":[0.9978222,0.00005988259,0.0006432447,0.0004960765,0.0004951999,0.0004834266],"domain_scores_gemma":[0.9976476,0.000623626,0.0001211959,0.000395756,0.001113765,0.00009808412],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001828945,0.0003030034,0.0005198765,0.00004009514,0.0003502165,0.00005925225,0.0002770663,0.00003442662,0.002912352,0.9192097,0.001893987,0.07421713],"study_design_scores_gemma":[0.002639387,0.00122567,0.00002243804,0.000434046,0.00003280343,0.0008812361,0.0001295327,0.0002564349,0.2404776,0.6413426,0.1119622,0.0005960236],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01139543,0.0001434196,0.982479,0.002079503,0.002174709,0.0008399769,0.00008101665,0.0007520178,0.00005496892],"genre_scores_gemma":[0.3573877,0.00005421789,0.6406035,0.001030546,0.000113164,0.0005793018,0.000009273597,0.00005024307,0.0001720685],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3459922,"threshold_uncertainty_score":0.9999883,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04298718330889807,"score_gpt":0.355705237261135,"score_spread":0.312718053952237,"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."}}