{"id":"W2008284187","doi":"10.1109/tcad.2008.2006144","title":"Functionally Linear Decomposition and Synthesis of Logic Circuits for FPGAs","year":2008,"lang":"en","type":"article","venue":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"XOR gate; Logic synthesis; Logic optimization; Computer science; Logic family; Scalability; Logic gate; Lookup table; Set (abstract data type); Gaussian elimination; Sequential logic; Algorithm; Binary decision diagram; Electronic circuit; Parallel computing; Gaussian; Programming language; Engineering; Electrical 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.0008341019,0.0002622258,0.0005333417,0.0004056588,0.0002594069,0.00005356097,0.0003375275,0.0001869513,0.00000270788],"category_scores_gemma":[0.00003356424,0.0002340109,0.0001141468,0.000443887,0.0001596028,0.0003875195,0.000003214456,0.0001714817,0.000002186672],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006526346,"about_ca_system_score_gemma":0.0001315517,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006439453,"about_ca_topic_score_gemma":0.000001113732,"domain_scores_codex":[0.9977865,0.0003946865,0.0007738251,0.0005003629,0.0003127627,0.0002318867],"domain_scores_gemma":[0.9975066,0.0009968129,0.0003713115,0.0004058172,0.0006060568,0.0001134],"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.0002414957,0.001483697,0.00006014178,0.001230228,0.0006960774,0.00001886316,0.001849748,0.2856814,0.123613,0.03882322,0.0003131908,0.5459889],"study_design_scores_gemma":[0.0007039752,0.001104591,0.0002638492,0.0003931896,0.00005355464,0.0003491289,0.00005186279,0.9148133,0.08155645,0.0003838999,0.00004962174,0.0002765147],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01269802,0.0001862252,0.9851254,0.00002986996,0.0009488406,0.0007927433,0.00005453979,0.0001107823,0.0000535428],"genre_scores_gemma":[0.834112,0.0001302945,0.1655007,0.00003459928,0.00004240445,0.0001279591,0.000003128182,0.00001738607,0.00003149169],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8214141,"threshold_uncertainty_score":0.9542688,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07307298586878275,"score_gpt":0.2814145922781006,"score_spread":0.2083416064093178,"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."}}