{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003350731,0.0009453525,0.0007463827,0.002105611,0.0009677555,0.003456047,0.001319687,0.0009951375,0.0152928],"category_scores_gemma":[0.01304398,0.0008518691,0.001715491,0.001585625,0.001246718,0.002536928,0.001418602,0.001312686,0.001637183],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002588174,"about_ca_system_score_gemma":0.005244098,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02401354,"about_ca_topic_score_gemma":0.0241531,"domain_scores_codex":[0.9961299,0.001694492,0.0002352795,0.0004040621,0.001254795,0.0002814775],"domain_scores_gemma":[0.9898729,0.008235727,0.0005208655,0.0004705982,0.0007709707,0.0001288753],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004188407,0.0002173654,0.001966617,0.0008609878,0.0001359761,0.0003812962,0.0003028572,0.4648756,0.009260619,0.2702932,0.00689286,0.2443937],"study_design_scores_gemma":[0.0001662688,0.00007582924,0.0002785669,0.0002313073,0.00005395226,0.0001153272,0.00006771106,0.8970106,0.01169348,0.06967758,0.02058741,0.00004199098],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004913805,0.000126503,0.984643,0.0001949704,0.00003824086,0.0001997239,0.000307216,0.001429068,0.00814758],"genre_scores_gemma":[0.1622178,0.0005334397,0.8280872,0.0001277193,0.00002254948,0.0004660973,0.0006920724,0.0003951675,0.00745807],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02401354,"threshold_uncertainty_score":0.0511595,"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."}}