{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003718295,0.0005977505,0.0002841116,0.0006173509,0.0003004728,0.0002743301,0.0005416746,0.0003264607,0.001150593],"category_scores_gemma":[0.001709719,0.0002467104,0.0003599797,0.0004372179,0.0004891318,0.0006539558,0.0003234494,0.0003281085,0.0002154423],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000461796,"about_ca_system_score_gemma":0.0006578016,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001208092,"about_ca_topic_score_gemma":0.003292422,"domain_scores_codex":[0.9996697,0.0001251086,0.0000178982,0.00004497337,0.0001158388,0.00002656019],"domain_scores_gemma":[0.9993342,0.000408458,0.00008251478,0.0000910548,0.00006823736,0.0000154408],"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":[0.0002824164,0.00008719142,0.0009477664,0.0003173651,0.00004466066,0.0002956438,0.0002676325,0.2630639,0.1085191,0.04847439,0.001724393,0.5759755],"study_design_scores_gemma":[0.00005167114,0.0002740063,0.0007032198,0.00002624233,0.00003816147,0.0004027029,0.00004001729,0.9263804,0.0453361,0.02341007,0.003311298,0.00002611135],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04179962,0.0004039142,0.9555856,0.00007631659,0.00001092247,0.0000640662,0.00002168622,0.0005048662,0.001533091],"genre_scores_gemma":[0.3818271,0.0002911873,0.6161962,0.00007271166,0.00002125025,0.0001420414,0.0001196122,0.0001188732,0.00121104],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001208092,"threshold_uncertainty_score":0.003849089,"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."}}