{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001697913,0.001074885,0.0006749726,0.001575443,0.0005984309,0.002044803,0.0006769348,0.0007063407,0.00732559],"category_scores_gemma":[0.005027391,0.0006409489,0.0009459746,0.001221925,0.00109621,0.001822666,0.0007079793,0.001316334,0.001370545],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001530035,"about_ca_system_score_gemma":0.001530289,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001348671,"about_ca_topic_score_gemma":0.001275815,"domain_scores_codex":[0.9982308,0.0005188236,0.0001120533,0.0002253812,0.0007771414,0.0001357882],"domain_scores_gemma":[0.997881,0.001439678,0.0001962714,0.0001835198,0.0002691597,0.00003025475],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0002053873,0.00006734238,0.0003676245,0.000481498,0.00005396085,0.0001506027,0.0001196715,0.3223142,0.02263466,0.460486,0.004358084,0.1887609],"study_design_scores_gemma":[0.00004577385,0.0001174843,0.0001783715,0.0001316842,0.00005071659,0.00009035452,0.00003968124,0.7070669,0.02298844,0.2466388,0.02262137,0.00003040505],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003053071,0.0008367728,0.9887623,0.0001933223,0.00008933811,0.00004755887,0.00004849601,0.0004358569,0.006533294],"genre_scores_gemma":[0.227106,0.003020594,0.7581346,0.0003622408,0.0003397256,0.0003540718,0.0003280409,0.0006211697,0.00973352],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00732559,"threshold_uncertainty_score":0.02450651,"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."}}