{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001265318,0.0002436609,0.0002264302,0.0002814253,0.0001310069,0.00009221747,0.0001283481,0.0001061321,0.00002992377],"category_scores_gemma":[0.0003980325,0.0002605931,0.00002186231,0.0008055631,0.00006892031,0.0007571098,0.00002164838,0.0001963332,0.00004541084],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000176033,"about_ca_system_score_gemma":0.00005014831,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003753845,"about_ca_topic_score_gemma":0.00001826044,"domain_scores_codex":[0.9986001,0.00009076038,0.0004205911,0.0002846049,0.0002304243,0.0003735012],"domain_scores_gemma":[0.9989069,0.0005066686,0.00008005455,0.0003047049,0.0001024711,0.0000991788],"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.00004364253,0.0003838477,0.1990814,0.0007742491,0.00005888443,0.00008758867,0.004127638,0.3939215,0.1443293,0.001158156,0.0004702622,0.2555635],"study_design_scores_gemma":[0.0003098711,0.00004150025,0.3546612,0.00003989085,0.00001228968,0.00002414293,0.000009239208,0.6354497,0.00855453,0.000578486,0.00007743703,0.0002417219],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5448315,0.00004059725,0.4536723,0.000007299549,0.0001473401,0.0002620479,0.000003016742,0.0004141308,0.0006217101],"genre_scores_gemma":[0.9803945,0.00003071922,0.01940362,0.00002189285,0.00005952967,0.000007571328,0.000007301991,0.00005419239,0.00002071603],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4355629,"threshold_uncertainty_score":0.9999846,"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."}}