{"id":"W2046981406","doi":"10.1145/2744769.2744919","title":"Towards enhancing analog circuits sizing using SMT-based techniques","year":2015,"lang":"en","type":"article","venue":"","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Sizing; Biasing; Analogue electronics; Computer science; Electronic engineering; Amplifier; Cascode; Electronic circuit; Satisfiability modulo theories; Algorithm; CMOS; Voltage; Electrical 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.0003808919,0.0001991543,0.0002187297,0.000211396,0.00004428838,0.0000609058,0.0001718182,0.0001460077,0.00004094234],"category_scores_gemma":[0.00004545515,0.0001950843,0.00006555706,0.0002869543,0.0000239839,0.0002032436,0.00002582057,0.0001632191,0.00001476299],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002153718,"about_ca_system_score_gemma":0.00008018901,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001170789,"about_ca_topic_score_gemma":0.00002110306,"domain_scores_codex":[0.9990004,0.00002448526,0.0002584215,0.0001820466,0.0002071488,0.0003274843],"domain_scores_gemma":[0.9994533,0.00002361509,0.0000270922,0.000257929,0.00008851468,0.0001495576],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000002524766,0.0000346776,0.0003888787,0.0001263032,0.00003519855,0.00004318196,0.0002954178,0.002664958,0.843423,0.000581963,0.003454481,0.1489494],"study_design_scores_gemma":[0.0001087425,0.00005139526,0.00005165247,0.00008101512,0.00001581516,0.000009264639,0.00006420935,0.05519301,0.9402875,0.0006794757,0.003120908,0.0003370231],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02494995,0.0003229987,0.9252919,0.00001682573,0.0001855979,0.0001897508,0.000002775917,0.004307782,0.04473245],"genre_scores_gemma":[0.9174349,0.000009236353,0.08218066,0.0001352858,0.0001196244,0.0000186177,0.000004448779,0.0000543562,0.00004288354],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.892485,"threshold_uncertainty_score":0.7955308,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04927790973757979,"score_gpt":0.2664321945466105,"score_spread":0.2171542848090308,"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."}}