{"id":"W2350357546","doi":"","title":"Application of constraint setting and logic synthesis in SoC design","year":2010,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"CAE (Canada)","funders":"","keywords":"Computer science; Logic synthesis; Constraint (computer-aided design); Constraint logic programming; Computer architecture; Logic optimization; Constraint satisfaction; Logic gate; Algorithm; Artificial intelligence; Mathematics","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.003174045,0.0009328178,0.0005917081,0.001391344,0.0007885645,0.002077359,0.001693432,0.0009344483,0.005373282],"category_scores_gemma":[0.01186922,0.0006346352,0.001032972,0.00173325,0.002501231,0.001978629,0.001577068,0.001404836,0.0006614232],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001239642,"about_ca_system_score_gemma":0.001969315,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00283937,"about_ca_topic_score_gemma":0.00242757,"domain_scores_codex":[0.9956109,0.00224779,0.0002935469,0.0004248739,0.001261233,0.0001617155],"domain_scores_gemma":[0.9939718,0.004837121,0.0002590971,0.000419259,0.000438562,0.00007413599],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001550665,0.00009160712,0.000562181,0.00105791,0.0001100723,0.0006286148,0.000533969,0.2196377,0.01446727,0.4289178,0.001415747,0.3324221],"study_design_scores_gemma":[0.0001166225,0.0002875687,0.0002857017,0.000378634,0.00008087148,0.0006204616,0.000265563,0.4379309,0.03734627,0.4781773,0.04441025,0.00009984429],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004794058,0.0006959729,0.9824415,0.0003278166,0.00004581552,0.0001517668,0.00003931731,0.000222858,0.01128096],"genre_scores_gemma":[0.1897197,0.001696094,0.8051522,0.0002919876,0.0000653217,0.000268141,0.00008702026,0.0001424729,0.002577052],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005373282,"threshold_uncertainty_score":0.01797539,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02151812904981865,"score_gpt":0.2382147712776071,"score_spread":0.2166966422277884,"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."}}