{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001463277,0.0001463566,0.0001829933,0.000071249,0.00009712775,0.00002930125,0.0001478588,0.00007009987,0.0003009305],"category_scores_gemma":[0.00003704605,0.0001079147,0.00005197566,0.0001269793,0.00008925846,0.0001400451,0.00002207244,0.00008109359,0.00002087124],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004780791,"about_ca_system_score_gemma":0.000006226826,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001857789,"about_ca_topic_score_gemma":0.000005721652,"domain_scores_codex":[0.9992754,0.000007801253,0.0002065518,0.0001473884,0.0001177248,0.0002450823],"domain_scores_gemma":[0.9993598,0.0003077599,0.00003248133,0.000217143,0.00003900258,0.00004379444],"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.00006807225,0.0002346218,0.00290786,0.002795821,0.001901967,0.00003450245,0.01062228,0.04550926,0.1619451,0.005783147,0.05049219,0.7177052],"study_design_scores_gemma":[0.0005197929,0.00009966066,0.001277731,0.0001067844,0.000205303,0.0000341387,0.0003260279,0.7805171,0.21428,0.00004604748,0.002185209,0.0004022061],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7027735,0.004697156,0.2562901,0.0004119583,0.001410176,0.001904825,0.00008085836,0.0008711288,0.03156031],"genre_scores_gemma":[0.9974105,0.0003328783,0.001788423,0.00001945825,0.00009249411,0.0000725655,7.299894e-7,0.00003661232,0.000246278],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7350078,"threshold_uncertainty_score":0.4400632,"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."}}