{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001176531,0.0003540635,0.0004513425,0.000875077,0.0004474572,0.00147353,0.000741063,0.0004996503,0.005534742],"category_scores_gemma":[0.01325389,0.0003584587,0.0005281035,0.0008306773,0.0008651739,0.00250684,0.0007739692,0.0008461617,0.0005063069],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001303809,"about_ca_system_score_gemma":0.00135403,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001374594,"about_ca_topic_score_gemma":0.001881881,"domain_scores_codex":[0.9972413,0.0005895147,0.0001757175,0.0003177248,0.001460538,0.0002152211],"domain_scores_gemma":[0.9850327,0.01143438,0.000925104,0.001295678,0.001118635,0.0001936628],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0009025212,0.0001528715,0.00794238,0.0006367643,0.00009074868,0.0007855514,0.0004517467,0.4563619,0.02785223,0.242418,0.004347067,0.2580582],"study_design_scores_gemma":[0.00006330481,0.0002695685,0.002226811,0.00003702364,0.00005181053,0.0006364553,0.00008772932,0.7378482,0.01224647,0.2402501,0.006250556,0.00003206275],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.340624,0.001037303,0.6256739,0.001527653,0.00009213023,0.0002496003,0.0007650483,0.001463469,0.02856691],"genre_scores_gemma":[0.914501,0.000413301,0.07938457,0.0001736365,0.00006859492,0.0001916723,0.0006957554,0.0001561337,0.004415454],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005534742,"threshold_uncertainty_score":0.01851553,"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."}}