{"id":"W2146192086","doi":"10.5555/1266366.1266703","title":"Maximum circuit activity estimation using pseudo-boolean satisfiability","year":2007,"lang":"en","type":"article","venue":"Design, Automation, and Test in Europe","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Combinational logic; Boolean circuit; Boolean satisfiability problem; Robustness (evolution); Circuit minimization for Boolean functions; Very-large-scale integration; Boolean function; Computer science; Satisfiability; Electronic circuit; Algorithm; CMOS; Logic gate; Maximum satisfiability problem; Dissipation; Circuit reliability; Sequential logic; Integrated circuit; Power (physics); Electronic engineering; Reliability (semiconductor); Engineering; Electrical engineering; Embedded system","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.00109942,0.000619093,0.0005291886,0.00126936,0.0002855392,0.0008064897,0.0008590901,0.000657801,0.001592847],"category_scores_gemma":[0.008890818,0.0004192842,0.0006875893,0.0008400244,0.0004792488,0.001590055,0.0005211232,0.0005594621,0.0002455417],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006625553,"about_ca_system_score_gemma":0.0007179214,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001271563,"about_ca_topic_score_gemma":0.001698508,"domain_scores_codex":[0.998939,0.0004907065,0.00006470493,0.0001220701,0.0003314104,0.00005215189],"domain_scores_gemma":[0.9957955,0.003119973,0.0004265711,0.000240079,0.0003749323,0.00004306922],"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.0001541118,0.00006624555,0.002447824,0.0002098274,0.00006975884,0.0001708244,0.00008148653,0.8289111,0.0161759,0.02601816,0.0008444286,0.1248502],"study_design_scores_gemma":[0.00001073421,0.00001929029,0.0001632945,0.00000793134,0.000005923435,0.00003517593,0.000007824574,0.9865403,0.003303288,0.009708785,0.00019224,0.000005358661],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02889002,0.00008802248,0.9695005,0.0001210913,0.000009224787,0.00004072628,0.0001087964,0.0003450143,0.0008966083],"genre_scores_gemma":[0.6164567,0.0001816618,0.3819333,0.00007306813,0.00002586066,0.0001481818,0.0004344863,0.00009006179,0.0006566115],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001592847,"threshold_uncertainty_score":0.005814373,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0204440724772293,"score_gpt":0.2326285854043794,"score_spread":0.2121845129271502,"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."}}