{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002802748,0.0007463642,0.0007981673,0.001262139,0.00029677,0.001098954,0.001433669,0.000753569,0.001636164],"category_scores_gemma":[0.009499603,0.0004493497,0.001085205,0.000848383,0.001432076,0.002166229,0.001535993,0.0012698,0.0003050734],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000810002,"about_ca_system_score_gemma":0.001108445,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009656639,"about_ca_topic_score_gemma":0.000958038,"domain_scores_codex":[0.9962734,0.001436503,0.0003210493,0.0003232793,0.001464111,0.000181617],"domain_scores_gemma":[0.9941528,0.004283989,0.0002868578,0.0008905992,0.000331363,0.00005444754],"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.0002955489,0.0001116417,0.001244603,0.000287022,0.0001149395,0.0002437416,0.0002921087,0.6359212,0.04098577,0.1865864,0.0005213142,0.1333958],"study_design_scores_gemma":[0.00003618268,0.00007457683,0.00007145119,0.00002826185,0.00002239922,0.00004077076,0.00001161931,0.952517,0.01215003,0.03356189,0.001472381,0.00001340049],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008615735,0.0000669155,0.9898955,0.00003636443,0.00001413571,0.00002670914,0.00001820056,0.0005981734,0.000728204],"genre_scores_gemma":[0.3923735,0.0002634369,0.6061084,0.00006530272,0.00003306822,0.0001934739,0.0001482146,0.0001333459,0.0006811924],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002802748,"threshold_uncertainty_score":0.01482248,"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."}}