{"id":"W4239851802","doi":"10.1109/ishls.1994.302346","title":"Timing analysis for synthesis in microprocessor interface design","year":2002,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Interface (matter); Electronic design automation; Inscribed figure; Automation; Microprocessor; Interval arithmetic; Static timing analysis; Embedded system; Computer engineering; Theoretical computer science; Computer architecture; Parallel computing; Mathematics; Engineering","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.0007171277,0.0001347618,0.0002891844,0.0005381021,0.0000454729,0.0001364476,0.0009204809,0.00007497458,0.00006436258],"category_scores_gemma":[0.0001616812,0.0001205548,0.0001130123,0.001272198,0.00001592248,0.0003587186,0.00008686803,0.00006222916,0.00003868083],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007680659,"about_ca_system_score_gemma":0.000009926419,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004664956,"about_ca_topic_score_gemma":0.00002827096,"domain_scores_codex":[0.9987207,0.000112879,0.000327283,0.0004211955,0.0001381786,0.0002797297],"domain_scores_gemma":[0.9986965,0.0005877614,0.0000893323,0.0005070147,0.0000722001,0.00004717281],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001044528,0.001868968,0.01252518,0.000952487,0.002862429,0.0001457645,0.02721903,0.02772033,0.2976185,0.05310689,0.09937198,0.476504],"study_design_scores_gemma":[0.00007642293,0.00004049707,0.0000456436,0.0000317903,0.00003398067,0.000004154447,0.00003396956,0.6750545,0.3234124,0.000796255,0.0002759539,0.0001944398],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0007711861,0.0001880608,0.9962161,0.000313573,0.00002891599,0.0003691153,7.400291e-7,0.0003572562,0.001755038],"genre_scores_gemma":[0.5591661,0.000005193132,0.4399107,0.00005707786,0.000007231317,0.0001457125,6.961734e-8,0.000006539245,0.0007013666],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6473342,"threshold_uncertainty_score":0.4916082,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09633294433291885,"score_gpt":0.2955480413066045,"score_spread":0.1992150969736857,"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."}}