{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003696125,0.0007266984,0.0005909917,0.001137205,0.0005196562,0.002168464,0.001329374,0.0009157411,0.002527021],"category_scores_gemma":[0.02197368,0.0007271175,0.001352545,0.0007530599,0.002417825,0.002983789,0.001493927,0.001741508,0.0003416681],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008804759,"about_ca_system_score_gemma":0.001921421,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002117317,"about_ca_topic_score_gemma":0.002760974,"domain_scores_codex":[0.9963878,0.0009729374,0.0002952658,0.0005602589,0.00144193,0.0003416834],"domain_scores_gemma":[0.9815357,0.01377416,0.001881071,0.001610425,0.0009960968,0.0002025653],"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.0007796005,0.0001867711,0.00576976,0.000709286,0.0001550973,0.001008607,0.001018947,0.2369567,0.07798895,0.5466238,0.001452402,0.1273501],"study_design_scores_gemma":[0.0002866226,0.0003076796,0.001141694,0.0001511518,0.0001599782,0.00026968,0.0001619789,0.6009606,0.09309347,0.2975866,0.005809411,0.00007107871],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03537829,0.00007309973,0.962026,0.00007866328,0.00002241991,0.00007458131,0.000134495,0.0009906573,0.001221739],"genre_scores_gemma":[0.6584253,0.0002999542,0.3386793,0.00007059735,0.00005002661,0.0003951953,0.0008042789,0.0003755101,0.0008998537],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003696125,"threshold_uncertainty_score":0.01954722,"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."}}