{"id":"W4247959368","doi":"10.1109/aspdac.2003.1194999","title":"Logic verification based on diagnosis techniques","year":2003,"lang":"en","type":"article","venue":"Proceedings of the ASP-DAC Asia and South Pacific Design Automation Conference, 2003.","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Observability; Controllability; Computer science; Combinational logic; Sequential logic; Logic synthesis; Logic optimization; Logic gate; Automatic test pattern generation; Register-transfer level; Digital electronics; Algorithm; Computer engineering; Theoretical computer science; Electronic circuit; Mathematics; 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.001591346,0.0002383809,0.0002485947,0.0002429699,0.0002713032,0.0002638572,0.0007062149,0.0001685296,0.00002196289],"category_scores_gemma":[0.001268365,0.0001832594,0.00005625393,0.001245774,0.0001615074,0.0005918445,0.00004751641,0.000186731,0.00001626471],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005475065,"about_ca_system_score_gemma":0.0001541252,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001322017,"about_ca_topic_score_gemma":3.598715e-8,"domain_scores_codex":[0.9981973,0.0001544516,0.0004547392,0.0004713653,0.0004664783,0.0002556407],"domain_scores_gemma":[0.9980241,0.00007349351,0.0005744051,0.0003939518,0.0008528466,0.00008122433],"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":[0.00002048322,0.000120285,0.003023145,0.00008529823,0.00001352177,1.767477e-7,0.001832928,0.00003949226,0.003749022,0.9727907,0.001172962,0.01715202],"study_design_scores_gemma":[0.0006022984,0.0005077335,0.01484401,0.0003425067,0.00005429401,0.00001264006,0.001478173,0.5074596,0.4433959,0.02704148,0.003575603,0.0006858291],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003751976,0.00002831293,0.9532592,0.0003801813,0.0002612406,0.001058877,0.00000505233,0.0004062393,0.04084895],"genre_scores_gemma":[0.6049459,0.0000144243,0.3946372,0.00007104955,0.00001023567,0.000183757,0.00000114897,0.000009334025,0.0001269664],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9457492,"threshold_uncertainty_score":0.7473103,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03921058547885966,"score_gpt":0.2572659140761174,"score_spread":0.2180553285972578,"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."}}