{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006237074,0.0006947473,0.0005182459,0.0007683475,0.0004744632,0.0008412099,0.001160897,0.0007276152,0.009760431],"category_scores_gemma":[0.001837535,0.0002841365,0.0008539403,0.0003758958,0.0004653829,0.001049355,0.0007366661,0.000556556,0.001033939],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006580346,"about_ca_system_score_gemma":0.001562169,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002248657,"about_ca_topic_score_gemma":0.002375305,"domain_scores_codex":[0.9993467,0.0001277239,0.00004440726,0.0001563746,0.0002113249,0.0001134942],"domain_scores_gemma":[0.9992299,0.00036671,0.00004878902,0.0001616274,0.000177162,0.00001579332],"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.001011265,0.000240677,0.002858347,0.0007513518,0.0002011394,0.0006437132,0.0002219899,0.2906804,0.1164787,0.09287389,0.007134901,0.4869037],"study_design_scores_gemma":[0.0002110584,0.0003303523,0.0007968087,0.00005646253,0.000173332,0.0002253028,0.00005704729,0.8405539,0.1027754,0.04877942,0.006011276,0.00002960438],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03581694,0.0001189245,0.9553934,0.0001785105,0.00005735265,0.0001405432,0.0002918146,0.004053113,0.003949502],"genre_scores_gemma":[0.6518673,0.0001055496,0.3429543,0.0002063976,0.00004032763,0.0001844712,0.0008093496,0.0002483787,0.003583889],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009760431,"threshold_uncertainty_score":0.0326519,"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."}}