{"id":"W2146427428","doi":"10.1109/vtest.1995.512671","title":"Retiming, resynthesis, and partitioning for the pseudo-exhaustive testing of sequential circuits","year":2002,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Retiming; Computer science; Sequential logic; Algorithm; Benchmark (surveying); Netlist; Electronic circuit; Segmentation; Logic gate; Parallel computing; Artificial intelligence; Computer hardware; 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.0003703456,0.00008586913,0.0001130995,0.00004151757,0.0003294138,0.0001022283,0.0003047277,0.00003159963,0.0000205622],"category_scores_gemma":[0.0006917484,0.00006308834,0.00003796849,0.0002277286,0.00007789022,0.0002255943,0.00008490657,0.00006834187,0.000003114501],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001041391,"about_ca_system_score_gemma":0.00001409702,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003337624,"about_ca_topic_score_gemma":0.000005545378,"domain_scores_codex":[0.9991817,0.0000221027,0.0002042431,0.0002397031,0.0001339033,0.0002183462],"domain_scores_gemma":[0.9984055,0.001101632,0.0001128428,0.0002202386,0.0001165287,0.00004323109],"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":[2.010884e-7,0.00005142936,0.01775721,0.00007782193,0.00005012745,0.000007697435,0.001929954,0.0004245522,0.01298053,0.03083527,0.0009003916,0.9349848],"study_design_scores_gemma":[0.0003596704,0.0001450612,0.01015706,0.0002038591,0.00004942796,0.00008567339,0.0002306707,0.9672967,0.01715925,0.003537485,0.0004943284,0.0002808137],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03286485,0.000500433,0.9563231,0.0007948749,0.0001272212,0.0002537225,0.000002821996,0.0001680373,0.008964899],"genre_scores_gemma":[0.99051,0.00001019288,0.009064932,0.0001295508,0.00008087767,0.0000170037,2.610111e-7,0.000006156211,0.0001809883],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9668722,"threshold_uncertainty_score":0.2572668,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1007410788298334,"score_gpt":0.2590555429247089,"score_spread":0.1583144640948755,"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."}}