{"id":"W4229759008","doi":"10.1109/edtc.1995.470387","title":"Complexity of sequential ATPG","year":2002,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":49,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Automatic test pattern generation; Computer science; Sequential logic; Retiming; Key (lock); Encoding (memory); Algorithm; Test (biology); Computer engineering; Electronic circuit; Theoretical computer science; Logic gate; Artificial intelligence; 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.00006475231,0.00003842008,0.00006744657,0.00002664181,0.00003820395,0.00002186524,0.0003350804,0.00001372946,0.0002629014],"category_scores_gemma":[0.00001563852,0.00003344501,0.00003285988,0.0001497974,0.00004967448,0.0001372966,0.00007645114,0.00003365529,0.00008023463],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005356897,"about_ca_system_score_gemma":0.000004461542,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005171949,"about_ca_topic_score_gemma":0.000006364731,"domain_scores_codex":[0.9995566,0.0000147833,0.0001041864,0.0001112608,0.0001061766,0.0001069798],"domain_scores_gemma":[0.9996898,0.00002055593,0.0000325871,0.0001949054,0.00002974862,0.00003240005],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[3.143836e-8,0.00009870769,0.004357493,0.00001645312,0.00001113769,0.00001401469,0.0004537996,0.00003471691,0.008270615,0.7573172,0.003073209,0.2263526],"study_design_scores_gemma":[0.0005151698,0.0001224135,0.01090897,0.00003109825,0.000006771397,0.00007126465,0.00002720271,0.928498,0.02087454,0.03566188,0.002923609,0.0003591264],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02524699,0.00004659194,0.8169262,0.0004710035,0.0001187455,0.00003179783,6.36221e-7,0.0001728782,0.1569852],"genre_scores_gemma":[0.9917263,0.00000119754,0.007635428,0.0001339846,0.00002631644,3.603396e-7,1.927794e-7,0.000001485629,0.0004747302],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9664793,"threshold_uncertainty_score":0.2878586,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1490572095897546,"score_gpt":0.262172857151821,"score_spread":0.1131156475620664,"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."}}