{"id":"W7001290351","doi":"","title":"Interface timing verification using constraint logic programming and binary decision diagrams","year":2004,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Binary decision diagram; Digital electronics; Functional verification; Process (computing); Formal verification; Constraint logic programming; Constraint programming; Constraint (computer-aided design); High-level verification; Interface (matter)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts"],"consensus_categories":[],"category_scores_codex":[0.00200008,0.0008166083,0.0006915202,0.0006076237,0.001310375,0.0005107138,0.00148955,0.0008836751,0.00001837962],"category_scores_gemma":[0.001089226,0.0008750914,0.000221667,0.001042164,0.0001628361,0.00222686,0.000390377,0.001411678,0.00007042465],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001257832,"about_ca_system_score_gemma":0.0001394696,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001241318,"about_ca_topic_score_gemma":0.00006714383,"domain_scores_codex":[0.9949077,0.0004492058,0.001194593,0.001755501,0.0008951529,0.0007978405],"domain_scores_gemma":[0.9965109,0.0002937486,0.001046544,0.00131668,0.0004920534,0.0003400777],"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.00006870621,0.0001355685,0.00000979116,0.0002509988,0.00004909936,0.00003088639,0.00005631094,0.000477493,0.04557873,0.1818387,2.155546e-7,0.7715035],"study_design_scores_gemma":[0.004487785,0.001996408,0.005950829,0.009914857,0.0007429423,0.001116662,0.002813133,0.06650037,0.5855104,0.295352,0.01731236,0.008302263],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9746059,0.0009331491,0.01581188,0.00001565924,0.002799887,0.001571167,0.00007263087,0.0007313109,0.003458391],"genre_scores_gemma":[0.5390818,0.0001372963,0.4603326,0.00004553609,0.00002529259,0.0000808289,0.000116087,0.00007868281,0.0001018405],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7632013,"threshold_uncertainty_score":0.9999898,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05059621269996756,"score_gpt":0.3190035812575283,"score_spread":0.2684073685575607,"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."}}