{"id":"W2043769126","doi":"10.1109/mwscas.2013.6674839","title":"SAT-based reversible gate/wire replacement fault testing","year":2013,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Backtracking; Computer science; Set (abstract data type); Boolean satisfiability problem; Automatic test pattern generation; Satisfiability; Fault coverage; Process (computing); Logic gate; Fault (geology); Algorithm; Matching (statistics); Test set; Reliability engineering; Engineering; Electronic circuit; Mathematics; Electrical engineering; Artificial intelligence; Programming language","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002573727,0.0001282802,0.0001196955,0.00007608096,0.0002054376,0.000238512,0.0005685832,0.00003937424,0.0001810808],"category_scores_gemma":[0.0002503879,0.0001101371,0.00004409089,0.0004902569,0.0000216461,0.0005889531,0.0001377082,0.0001071749,0.0009059016],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000478492,"about_ca_system_score_gemma":0.00008869421,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004877378,"about_ca_topic_score_gemma":0.000008236956,"domain_scores_codex":[0.9987437,0.00003529947,0.0002199059,0.0003910619,0.0002439686,0.0003660657],"domain_scores_gemma":[0.9989042,0.0002130623,0.00008196904,0.0005131625,0.0001613499,0.0001262993],"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":[5.490788e-7,0.0002638154,0.09320746,0.000142749,0.00003853607,0.00006661534,0.0004599815,0.004428269,0.03534361,0.0195136,0.04296346,0.8035713],"study_design_scores_gemma":[0.0006368355,0.0002121795,0.009643572,0.0001434172,0.000007108092,0.00002557022,0.0001025356,0.9782971,0.005718485,0.002663405,0.002045495,0.0005043389],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07924458,0.00005240127,0.7960333,0.002643981,0.000259976,0.0003362673,6.366512e-7,0.001117077,0.1203118],"genre_scores_gemma":[0.9425733,4.108921e-7,0.05385769,0.001631974,0.00005146096,0.00001752737,0.000002046156,0.000007887884,0.00185769],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9738688,"threshold_uncertainty_score":0.999872,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03183791520571647,"score_gpt":0.2302638229495488,"score_spread":0.1984259077438323,"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."}}