{"id":"W2123601456","doi":"10.1109/icm.1998.825579","title":"Verificatiom of synchronous realizability of interfaces from timing diagram specifications","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Realizability; Computer science; Consistency (knowledge bases); Property (philosophy); Static timing analysis; Diagram; Synchronous circuit; Algorithm; Real-time computing; Clock signal; Embedded system; Jitter","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.0003521846,0.00009475661,0.0001925963,0.00008369517,0.00004241015,0.00002482534,0.000971767,0.00005706828,0.0003121962],"category_scores_gemma":[0.0002353283,0.00008873901,0.00005284561,0.0004221607,0.0001620932,0.0003582078,0.0001147646,0.00006999703,0.0000442905],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004300214,"about_ca_system_score_gemma":0.00001531126,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003517091,"about_ca_topic_score_gemma":0.000007593735,"domain_scores_codex":[0.9987004,0.0001283934,0.0005214424,0.0003139833,0.0002086254,0.0001271006],"domain_scores_gemma":[0.9979886,0.0001977001,0.0002887576,0.001325747,0.0001538955,0.00004533507],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001056707,0.0009201576,0.005570962,0.00009237754,0.00006256609,5.16887e-7,0.00801182,0.0003328021,0.07379138,0.3855445,0.001022015,0.5246403],"study_design_scores_gemma":[0.0002023417,0.0001293645,0.06544089,0.00004050176,0.00001595396,0.000001943091,0.0001897177,0.4042325,0.5221697,0.006189948,0.001154063,0.0002330916],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09439243,0.0001806634,0.893195,0.0001618243,0.0001790875,0.0001632597,0.00001333091,0.00009167097,0.01162268],"genre_scores_gemma":[0.5690367,0.00003898391,0.4308469,0.00000726289,0.00001032461,0.000008687914,0.000002466007,0.000003180178,0.0000454255],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5244073,"threshold_uncertainty_score":0.3618672,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1348468794209357,"score_gpt":0.297358709033849,"score_spread":0.1625118296129133,"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."}}