{"id":"W3150028190","doi":"10.1109/famcad.2007.25","title":"Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs","year":2007,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal; Concordia University","funders":"","keywords":"Interval arithmetic; Computer science; Bounded function; Model checking; State space; Formal verification; Symbolic trajectory evaluation; Interval (graph theory); Analogue electronics; Symbolic data analysis; Mixed-signal integrated circuit; Algorithm; Theoretical computer science; Electronic circuit; Integrated circuit; Mathematics; Engineering; Electrical 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001645397,0.00005464587,0.00007481922,0.00006104545,0.00008530272,0.00004159634,0.0002846941,0.00003453013,0.00000141923],"category_scores_gemma":[0.0002312247,0.00003995523,0.00002454159,0.0001920855,0.00005499448,0.0002506929,0.00004637655,0.00004320348,0.000001255335],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001619823,"about_ca_system_score_gemma":0.00001096479,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001163005,"about_ca_topic_score_gemma":0.000002186015,"domain_scores_codex":[0.9993725,0.00004051196,0.0002273349,0.000140818,0.0001104,0.0001084144],"domain_scores_gemma":[0.99868,0.0007854328,0.0001124684,0.0002969588,0.0001017572,0.00002340656],"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.00002688997,0.00003580251,0.0005138995,0.00002790917,0.00001305803,7.272642e-8,0.001837315,0.003935677,0.006678754,0.6188222,0.0000105185,0.368098],"study_design_scores_gemma":[0.000160992,0.00008844259,0.03144161,0.000008319256,0.000007020107,0.000001619202,0.0001061788,0.9459873,0.0181329,0.003771411,0.0002414813,0.00005269369],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02705758,0.00004538428,0.9719521,0.0000952266,0.0001639321,0.0002771406,3.150229e-7,0.00004304697,0.0003652988],"genre_scores_gemma":[0.6010057,0.000002148717,0.3989116,0.0000383681,0.00001124065,0.000006840102,5.165247e-7,0.000002481481,0.00002113087],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9420516,"threshold_uncertainty_score":0.1629327,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1076905029778729,"score_gpt":0.3751926047685357,"score_spread":0.2675021017906627,"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."}}