{"id":"W2560928762","doi":"10.1109/cicc.1988.20786","title":"Integration of algorithmic VLSI synthesis with testability incorporation","year":2003,"lang":"en","type":"article","venue":"","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Testability; Very-large-scale integration; Computer science; Design for testing; Tree (set theory); High-level synthesis; Computer engineering; Computer architecture; Algorithm; Theoretical computer science; Reliability engineering; Mathematics; Embedded system; 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.0001476381,0.00007159483,0.00009478893,0.00005020787,0.00001226516,0.000007596767,0.00003559704,0.00004392305,0.00007321493],"category_scores_gemma":[0.00005011651,0.00005378146,0.0000165385,0.0001404589,0.00002160154,0.0001205196,0.000001814735,0.00004663116,0.000003526743],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003151179,"about_ca_system_score_gemma":0.0000112486,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001720243,"about_ca_topic_score_gemma":0.00002658,"domain_scores_codex":[0.9996362,0.0000222461,0.000132416,0.00007162664,0.00007331615,0.00006419803],"domain_scores_gemma":[0.9997278,0.00004716812,0.00002093517,0.0001357788,0.00004948141,0.00001879089],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001354735,0.0001328572,0.006008544,0.0001676833,0.00004963594,0.000002565337,0.0003464717,0.001294751,0.7964257,0.02225606,0.0008443449,0.1724578],"study_design_scores_gemma":[0.00004518853,0.00005066941,0.001244841,0.00001948017,0.000009039079,0.000003135078,0.00006217814,0.008973451,0.9876522,0.001723815,0.0001251862,0.00009082221],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1030734,0.00002152875,0.872148,0.000006633034,0.00002081354,0.0001664817,0.000002497591,0.0003836558,0.02417698],"genre_scores_gemma":[0.9215262,0.000007779021,0.0783868,0.000003327233,0.000005393795,0.00003202331,0.000001924389,0.00001006921,0.00002646974],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8184528,"threshold_uncertainty_score":0.2193144,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00949885690245675,"score_gpt":0.1865511277189247,"score_spread":0.177052270816468,"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."}}