{"id":"W1992976995","doi":"10.1145/1216919.1216945","title":"Power-aware FPGA logic synthesis using binary decision diagrams","year":2007,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of British Columbia","keywords":"Field-programmable gate array; Computer science; Binary decision diagram; Logic synthesis; Embedded system; Reduction (mathematics); Logic gate; Binary number; Power optimization; Power (physics); Computer engineering; Algorithm; Power consumption; Mathematics; Arithmetic","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004792836,0.0002815515,0.0002600965,0.000289503,0.0001099626,0.00005525917,0.0002828539,0.0001916757,0.0008270794],"category_scores_gemma":[0.00006150817,0.0002393439,0.00009792893,0.0005195753,0.00003986165,0.0003594266,0.00006376633,0.0001915749,0.0005313989],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002095624,"about_ca_system_score_gemma":0.00001692235,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002121392,"about_ca_topic_score_gemma":0.0000124922,"domain_scores_codex":[0.9984143,0.00001497615,0.0003744869,0.0002676011,0.0003247632,0.0006038222],"domain_scores_gemma":[0.9990083,0.0003033255,0.00003162376,0.0004456819,0.00004659881,0.0001644481],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002781668,0.0005309346,0.01812963,0.000406895,0.0003983649,0.001362244,0.001347895,0.2770776,0.1527165,0.001402975,0.02068199,0.5256669],"study_design_scores_gemma":[0.001441543,0.0004203435,0.05809633,0.0006955996,0.0001484627,0.000246258,0.001047838,0.5368776,0.3845036,0.001219666,0.01205309,0.003249645],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6586288,0.0002803885,0.3315651,0.00001317207,0.0007645665,0.0001574014,0.00000282288,0.0007590584,0.007828704],"genre_scores_gemma":[0.9854786,0.00006743521,0.01410586,0.0000746073,0.00009917367,0.000006610247,0.000002259142,0.00007542312,0.00009006728],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5224172,"threshold_uncertainty_score":0.9760161,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01656129267391963,"score_gpt":0.239332971219913,"score_spread":0.2227716785459934,"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."}}