{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005868061,0.001157663,0.0009023263,0.00177293,0.0008791022,0.003700878,0.002293319,0.001459497,0.01353951],"category_scores_gemma":[0.02546941,0.0009616168,0.002134595,0.001461296,0.001484862,0.004534515,0.002023446,0.001854884,0.002246081],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002195152,"about_ca_system_score_gemma":0.004060236,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008087405,"about_ca_topic_score_gemma":0.004995144,"domain_scores_codex":[0.9935718,0.002335272,0.0005367006,0.0008750475,0.002292132,0.000389127],"domain_scores_gemma":[0.9843598,0.009430591,0.00109018,0.002595942,0.002327111,0.0001964049],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004038236,0.0001157957,0.003526212,0.0006071283,0.0001098592,0.000440019,0.0006060344,0.3930459,0.008238159,0.4678544,0.003513513,0.1215392],"study_design_scores_gemma":[0.00004754576,0.00009206857,0.0003505101,0.0001393918,0.00005626804,0.0001548566,0.0001028001,0.8687915,0.00836332,0.1037217,0.01814325,0.00003691718],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01103025,0.0005013172,0.9775694,0.000387399,0.000143103,0.0001248996,0.0003010993,0.002028905,0.007913624],"genre_scores_gemma":[0.479236,0.001383219,0.4972249,0.0003898983,0.0002453052,0.0006316907,0.001312054,0.00139768,0.01817928],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01353951,"threshold_uncertainty_score":0.04529423,"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."}}