{"id":"W2108229542","doi":"10.5555/1874620.1875025","title":"Sequential logic rectifications with approximate SPFDs","year":2009,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Vennsa Technologies (Canada); University of Toronto","funders":"","keywords":"Sequential logic; Logic optimization; Computer science; Combinational logic; Logic synthesis; Robustness (evolution); Digital electronics; Logic gate; Very-large-scale integration; Algorithm; Transformation (genetics); Pass transistor logic; Logic family; Theoretical computer science; Electronic circuit; Engineering; Embedded system","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.0008501277,0.0005090359,0.0004315188,0.0007436891,0.0003605022,0.0006268328,0.0007927404,0.0005220792,0.004519685],"category_scores_gemma":[0.003275571,0.0003404493,0.0007206158,0.0006877735,0.0009102524,0.001405837,0.000892,0.0008435678,0.0005776051],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005789695,"about_ca_system_score_gemma":0.0007007051,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001105424,"about_ca_topic_score_gemma":0.001466012,"domain_scores_codex":[0.9990213,0.0001855058,0.00007373833,0.0001340897,0.0005266342,0.0000587831],"domain_scores_gemma":[0.9991211,0.0003736427,0.0000962731,0.0002491,0.0001451873,0.00001464845],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003159468,0.00008501582,0.0009518474,0.00025566,0.00004862546,0.0003799316,0.0002663204,0.3078719,0.04887007,0.150148,0.00175825,0.4890483],"study_design_scores_gemma":[0.00008379471,0.0002526202,0.0002377418,0.0000425344,0.00003899916,0.0004591884,0.00006804877,0.8419203,0.03569909,0.1075853,0.01358871,0.00002358319],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0119869,0.00005804094,0.9850189,0.00005294772,0.00001389665,0.00004851575,0.00002184537,0.0004887927,0.002310123],"genre_scores_gemma":[0.3527505,0.000148309,0.6438851,0.00008417535,0.00002244024,0.0001358022,0.0001320485,0.00009731352,0.002744412],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004519685,"threshold_uncertainty_score":0.01511979,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0508544817254369,"score_gpt":0.3120294124736287,"score_spread":0.2611749307481918,"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."}}