{"id":"W2014833562","doi":"10.1016/j.micpro.2005.12.002","title":"Verification and fault synthesis algorithm at switch-level","year":2006,"lang":"en","type":"article","venue":"Microprocessors and Microsystems","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Toronto Metropolitan University","funders":"","keywords":"Computer science; High-level synthesis; Algorithm; Fault (geology); Parallel computing; Embedded system; Field-programmable gate array","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.0002472237,0.0001843376,0.0002213237,0.00008307463,0.0003823054,0.0003109263,0.0002645317,0.00008979333,0.000002143006],"category_scores_gemma":[0.00002088864,0.0001661488,0.00003200381,0.00021355,0.000060129,0.0002489969,0.0001292672,0.00007421679,0.00002084525],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000420717,"about_ca_system_score_gemma":0.00002591425,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006655623,"about_ca_topic_score_gemma":0.00006831474,"domain_scores_codex":[0.9987449,0.00002928151,0.0002839009,0.0005168029,0.0001258465,0.0002992922],"domain_scores_gemma":[0.9993807,0.00006643122,0.0001421451,0.0002445818,0.00009132867,0.0000748017],"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":[5.595311e-7,0.00004276184,0.004638459,0.0002345528,0.00001347036,0.00001571204,0.000523423,0.000004169009,0.6748295,0.0006295675,0.000752805,0.3183151],"study_design_scores_gemma":[0.001945669,0.0001437819,0.04689868,0.00099605,0.0001053654,0.002918812,0.0005755837,0.06133161,0.8153723,0.001587669,0.06564743,0.002477082],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7857619,0.006230213,0.206436,0.0002384884,0.000187723,0.0002080983,0.00004268215,0.0002035155,0.0006913872],"genre_scores_gemma":[0.9946973,0.00007223088,0.003907403,0.00006343175,0.0001100681,0.00002217412,0.000007084237,0.00001529633,0.001104988],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.315838,"threshold_uncertainty_score":0.6775351,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01182434086100571,"score_gpt":0.1967037298490825,"score_spread":0.1848793889880768,"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."}}