{"id":"W2943308041","doi":"10.23919/date.2019.8714966","title":"Finding All DC Operating Points Using Interval Arithmetic Based Verification Algorithms","year":2019,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Scalability; Interval (graph theory); Interval arithmetic; Algorithm; CMOS; State (computer science); Operator (biology); Mathematics; Electronic engineering; 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.0003358286,0.000215667,0.0002105353,0.0001872767,0.00005923843,0.0001253835,0.0002144922,0.0001013015,0.0005555506],"category_scores_gemma":[0.00002111077,0.0002115271,0.00005997023,0.0002443677,0.00001572551,0.0004785659,0.00003197679,0.0002101032,0.0006393549],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002178174,"about_ca_system_score_gemma":0.00002878955,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002792943,"about_ca_topic_score_gemma":0.000002020507,"domain_scores_codex":[0.9987805,0.00003150983,0.0003296871,0.0002650483,0.0002224151,0.0003708501],"domain_scores_gemma":[0.9994356,0.00005410235,0.00003758397,0.0003521039,0.00004428162,0.00007630622],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001118113,0.00006731166,0.005545633,0.0003187187,0.0001256052,0.00001897743,0.001015226,0.4529749,0.5291283,0.0003223045,0.0005593136,0.009912635],"study_design_scores_gemma":[0.0004381927,0.00003554466,0.0008490049,0.00008358992,0.00001482749,0.00001074083,0.00007529014,0.9131713,0.08461016,0.000007733945,0.0004292924,0.000274331],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.806507,0.00003975169,0.188684,0.00004225655,0.0009148323,0.0002952161,0.000003161692,0.0004477245,0.003066096],"genre_scores_gemma":[0.9100225,0.000003590444,0.08948426,0.0001236198,0.00008408311,0.00001079994,0.00001787037,0.00006255684,0.0001907515],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4601964,"threshold_uncertainty_score":0.8625827,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02724159183669614,"score_gpt":0.2504830014121572,"score_spread":0.2232414095754611,"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."}}