{"id":"W2279545751","doi":"10.71781/9678","title":"Timing verification in transaction modeling","year":2009,"lang":"en","type":"book","venue":"Open MIND","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Transaction-level modeling; Computer science; Electronic system-level design and verification; Formal verification; Static timing analysis; Time to market; Functional verification; Abstraction; Process (computing); Database transaction; Distributed computing; Computer engineering; Software engineering; Reliability engineering; Embedded system; Programming language; Engineering","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.0007386305,0.0001888391,0.0002893246,0.000246364,0.00004531455,0.0003838383,0.001655648,0.0003068072,0.00004914853],"category_scores_gemma":[0.000007277788,0.0002123911,0.00005101939,0.0001304479,0.000008233077,0.0008285432,0.00006911379,0.0003167023,0.0001854488],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003772491,"about_ca_system_score_gemma":0.0003343523,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003746773,"about_ca_topic_score_gemma":0.00004119797,"domain_scores_codex":[0.9985041,0.00007890858,0.0004252155,0.0005794043,0.0002362221,0.000176175],"domain_scores_gemma":[0.9989963,0.00002754924,0.0001728983,0.0007098101,0.00005328836,0.00004020831],"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.00000711062,0.00003527044,3.677989e-7,0.00002081152,0.000009147641,0.00002864174,0.001695153,0.002362256,0.0006969367,0.00149708,0.001993274,0.991654],"study_design_scores_gemma":[0.0003023442,0.0001125864,0.00000247423,0.001262878,0.00001699555,0.00003491391,0.00002071033,0.8919218,0.005108066,0.0159272,0.08454577,0.0007442788],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002655251,0.00007679887,0.6098592,0.00004507694,0.00006050968,0.0005360303,9.319867e-7,0.00001262912,0.3893823],"genre_scores_gemma":[0.01757848,0.00005597415,0.5332401,0.00006286481,0.0001394663,0.00007840013,0.00004730857,0.00004448025,0.4487529],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9909097,"threshold_uncertainty_score":0.8661058,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1037313907169012,"score_gpt":0.3265489024104315,"score_spread":0.2228175116935303,"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."}}