{"id":"W2540953176","doi":"10.1109/icasic.2005.1611422","title":"FBDD: A Folded Logic Synthesis System","year":2006,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Logic optimization; Logic synthesis; Logic gate; Computer architecture; Logic family; Logic simulation; Class (philosophy); Field-programmable gate array; Computer engineering; Theoretical computer science; Algorithm; Embedded system; Artificial intelligence","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.0001706724,0.00008307664,0.0001131089,0.00005744962,0.0001043302,0.0001296172,0.0004805368,0.00003255298,0.0000128264],"category_scores_gemma":[0.00003416014,0.00006532075,0.0000531151,0.0002518151,0.00001142175,0.000166714,0.0000712532,0.00003917033,0.0002185288],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003307699,"about_ca_system_score_gemma":0.00002080504,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002699173,"about_ca_topic_score_gemma":0.0000171466,"domain_scores_codex":[0.9992027,0.00003269612,0.0001534076,0.0002409019,0.0001458157,0.0002245181],"domain_scores_gemma":[0.9994292,0.000149306,0.00004377284,0.0003059133,0.00003283083,0.00003902188],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[3.497786e-8,0.0000322129,0.002146199,0.00003240213,0.000005455379,0.000070526,0.00002168404,0.00009346921,0.001664575,0.940517,0.001648711,0.0537677],"study_design_scores_gemma":[0.0008848214,0.0001582644,0.03556862,0.0005878701,0.00006962657,0.0009051833,0.0004170921,0.8700894,0.03838802,0.04577094,0.005087104,0.002073024],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005516118,0.00006234747,0.7906033,0.0002851246,0.000118424,0.00005255779,3.852323e-7,0.0008357246,0.202526],"genre_scores_gemma":[0.9921904,2.641604e-7,0.006892145,0.0001232393,0.00008906561,0.000009762672,2.653241e-7,0.000004147346,0.0006907103],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9866743,"threshold_uncertainty_score":0.2808819,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01416029083558918,"score_gpt":0.1951170094325383,"score_spread":0.1809567185969491,"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."}}