{"id":"W2136057113","doi":"10.1109/test.1995.529898","title":"Synthesis and retiming for the pseudo-exhaustive BIST of synchronous sequential circuits","year":2002,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Retiming; Computer science; Sequential logic; Overhead (engineering); Electronic circuit; Parallel computing; Algorithm; Logic gate; 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.0001592355,0.0003332216,0.0001591316,0.0003898392,0.0001864635,0.0002132463,0.0003594281,0.0001931548,0.001485011],"category_scores_gemma":[0.0004772823,0.0001485794,0.0002113464,0.0002603969,0.0001877575,0.0003916488,0.0002164578,0.000210702,0.0002821755],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002721704,"about_ca_system_score_gemma":0.0004172305,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006009378,"about_ca_topic_score_gemma":0.002433841,"domain_scores_codex":[0.999879,0.00002434435,0.000009844254,0.00001835154,0.00005310823,0.00001525719],"domain_scores_gemma":[0.9998323,0.00006263248,0.00003052388,0.0000332051,0.00003487509,0.000006455546],"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.0001429187,0.00006958043,0.0005450933,0.000251656,0.00003051018,0.0002329297,0.0001366467,0.1012538,0.4133935,0.03893557,0.001256469,0.4437513],"study_design_scores_gemma":[0.00008308513,0.0004943555,0.0008009838,0.00003821571,0.00006476702,0.0003984946,0.00004203757,0.7446092,0.220005,0.02008113,0.01335519,0.00002754021],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05634459,0.0002919938,0.9392551,0.00007178704,0.00002307457,0.00004830749,0.00004989106,0.0007276431,0.00318766],"genre_scores_gemma":[0.5134743,0.0003378265,0.4834571,0.0001169736,0.0000303371,0.000114897,0.0001813328,0.0001173105,0.002169794],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001485011,"threshold_uncertainty_score":0.004967868,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02075296411301673,"score_gpt":0.2058664007845031,"score_spread":0.1851134366714864,"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."}}