{"id":"W2108580067","doi":"10.1109/mwscas.1996.594153","title":"Modeling timing correlation and the accurate timing verification of digital interface circuits","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Static timing analysis; Computer science; Probabilistic logic; Correlation; Constraint (computer-aided design); Interface (matter); Algorithm; Digital electronics; Theoretical computer science; Electronic circuit; Mathematics; Parallel computing; Artificial intelligence; Embedded system","routes":{"ca_aff":true,"ca_fund":false,"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.0003725186,0.00008870279,0.000129568,0.00007183649,0.0001023474,0.0002320376,0.000391511,0.0000403553,0.000005575891],"category_scores_gemma":[0.0001139859,0.00006503497,0.00003006252,0.0002310975,0.00003964201,0.001085278,0.0001508768,0.00008528324,0.00001806551],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002620561,"about_ca_system_score_gemma":0.000007397506,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001135318,"about_ca_topic_score_gemma":6.978313e-7,"domain_scores_codex":[0.9990535,0.0000422237,0.000333041,0.0002392155,0.0002026429,0.0001294253],"domain_scores_gemma":[0.9992383,0.0001627316,0.0001186439,0.0003631352,0.00008869587,0.00002852082],"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.000005131019,0.0000187618,0.0001135797,0.00002523784,0.00001790288,5.853669e-7,0.006830406,0.8757318,0.0007127498,0.01936366,0.00004169204,0.09713848],"study_design_scores_gemma":[0.0002962736,0.000007871175,0.000007733234,0.00004388127,0.000004429476,0.00001420366,0.0001338658,0.9985945,0.0002955809,0.0005129012,0.00001281321,0.00007598502],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06455664,0.0003585604,0.9293935,0.000231015,0.0001513253,0.0001251561,5.317892e-7,0.00007330289,0.005109947],"genre_scores_gemma":[0.9951231,0.00002314122,0.004592234,0.00002149557,0.0000199777,0.000004674807,5.535413e-7,0.000006073136,0.0002087497],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9305665,"threshold_uncertainty_score":0.2652049,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08127128717446908,"score_gpt":0.2690828674480398,"score_spread":0.1878115802735707,"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."}}