{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002491549,0.000227299,0.0003131776,0.0001857925,0.00007702272,0.0001126364,0.0002085466,0.0001288282,0.00006359701],"category_scores_gemma":[0.00001735618,0.0002222924,0.00005260428,0.0001004576,0.00006948488,0.0002422227,0.00001813587,0.0001452983,0.00003661216],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001302831,"about_ca_system_score_gemma":0.000006638318,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007413037,"about_ca_topic_score_gemma":0.00000413333,"domain_scores_codex":[0.9984993,0.00004148365,0.0004743798,0.0002963956,0.0004345813,0.000253854],"domain_scores_gemma":[0.9993593,0.0001362937,0.0001057278,0.0002134825,0.00007964627,0.0001056141],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003096175,0.0003215808,0.01052644,0.002029765,0.001476783,0.0001811596,0.006903814,0.06985857,0.8334662,0.007281756,0.009745304,0.05817765],"study_design_scores_gemma":[0.002771294,0.0006010309,0.004827268,0.002425472,0.0001866386,0.0007971477,0.00037432,0.8840617,0.07862739,0.00006607903,0.0234543,0.001807354],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9633436,0.001486665,0.001579431,0.0001353082,0.004152133,0.0003616833,0.00008520448,0.0001968173,0.02865919],"genre_scores_gemma":[0.9983464,0.0007002865,0.00001023525,0.00002342433,0.0004140628,0.0000318421,0.00000515687,0.00004511277,0.0004234379],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8142031,"threshold_uncertainty_score":0.9064822,"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."}}