{"id":"W1907251739","doi":"10.1109/iscas.1993.394063","title":"Resynthesis and retiming of synchronous sequential circuits","year":2002,"lang":"en","type":"article","venue":"1993 IEEE International Symposium on Circuits and Systems","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Retiming; Sequential logic; Computer science; Bipartite graph; Electronic circuit; Combinational logic; Algorithm; Graph; Logic synthesis; Generalization; Parallel computing; Logic gate; Mathematics; Theoretical computer science; 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.0002301352,0.0006300746,0.0003389447,0.0005636681,0.0003256875,0.000418069,0.0005348374,0.0002771623,0.004277865],"category_scores_gemma":[0.0007510433,0.0002540089,0.0004141171,0.0004888573,0.0003223612,0.0008219449,0.000372874,0.0003721809,0.0005852713],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005368249,"about_ca_system_score_gemma":0.0004896627,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001532786,"about_ca_topic_score_gemma":0.003413222,"domain_scores_codex":[0.9997792,0.0000508431,0.00001246182,0.00006280441,0.00006110757,0.000033562],"domain_scores_gemma":[0.9997544,0.0001014773,0.00004957328,0.00004471915,0.00003864466,0.00001125321],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0003020503,0.0000853978,0.0003692258,0.0003221999,0.00003508999,0.0002888422,0.0001582353,0.3351692,0.1224246,0.07038701,0.004023476,0.4664346],"study_design_scores_gemma":[0.0000609075,0.0002368662,0.0004109973,0.00003407328,0.00004753113,0.0002317453,0.00004821701,0.8572234,0.07495856,0.05158737,0.01512849,0.00003185537],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05251791,0.0005101115,0.9356561,0.000126134,0.0000463079,0.00007547683,0.0001056271,0.001534062,0.0094282],"genre_scores_gemma":[0.5231562,0.0005884642,0.4656628,0.0001303825,0.00005369201,0.0001079269,0.0003313848,0.0003205349,0.009648554],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004277865,"threshold_uncertainty_score":0.01431084,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02674828241551823,"score_gpt":0.2226389823923098,"score_spread":0.1958906999767916,"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."}}