{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007748515,0.0006787569,0.000526151,0.001155126,0.0004774812,0.00114936,0.0009630738,0.0007634906,0.01126038],"category_scores_gemma":[0.001560855,0.0004563246,0.0005142419,0.0006430568,0.0005364683,0.0010682,0.0007603633,0.0004801098,0.003687415],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006135468,"about_ca_system_score_gemma":0.001298696,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001521592,"about_ca_topic_score_gemma":0.001501294,"domain_scores_codex":[0.9995421,0.0001102532,0.00005860937,0.0001068379,0.0001504296,0.00003183979],"domain_scores_gemma":[0.9994023,0.0002408085,0.00005059688,0.0001325308,0.0001529741,0.00002072399],"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.0007354137,0.0001325165,0.00186204,0.000919024,0.000111176,0.0005831633,0.0002752636,0.1930947,0.06594129,0.05381346,0.0311464,0.6513856],"study_design_scores_gemma":[0.0002310978,0.0003337065,0.0006031459,0.0001500716,0.00008949706,0.0008552147,0.00005076282,0.7650347,0.06854401,0.0523982,0.1116423,0.00006734583],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007109534,0.0005184156,0.9548596,0.0001515392,0.00008595968,0.0001176887,0.0009920973,0.03088761,0.005277494],"genre_scores_gemma":[0.1377918,0.0006881905,0.8494831,0.0003283795,0.00006942474,0.0003279859,0.00272845,0.00124641,0.007336317],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01126038,"threshold_uncertainty_score":0.03766966,"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."}}