{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003085568,0.0000778885,0.00007010823,0.0000651734,0.0001064634,0.0001198383,0.0005345307,0.00003551556,0.00002521535],"category_scores_gemma":[0.00002774134,0.00005745679,0.00002049869,0.0004442038,0.0000320959,0.0005082994,0.00002910185,0.00007814194,0.00007561722],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003080377,"about_ca_system_score_gemma":0.00003431841,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005600035,"about_ca_topic_score_gemma":0.000001433172,"domain_scores_codex":[0.9992249,0.00005730439,0.0001319982,0.0002620024,0.0001601855,0.00016359],"domain_scores_gemma":[0.999178,0.0000144145,0.00005952027,0.0006260098,0.00007260395,0.00004944245],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003467478,0.00003768723,0.00001541926,0.000001498485,0.000002379602,0.000001198756,0.0001030382,0.00007973304,0.003525186,0.9570783,0.0001894742,0.03896261],"study_design_scores_gemma":[0.0008236755,0.001182556,0.01954874,0.00003144547,0.00002581633,0.0003089895,0.0001114936,0.4819786,0.2395999,0.2432361,0.01213643,0.001016238],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001143839,0.000009588194,0.9417328,0.001285689,0.0001179249,0.0001279858,2.873775e-7,0.0003633305,0.05521862],"genre_scores_gemma":[0.1801857,0.000003032973,0.8187133,0.0004138614,0.00002467084,0.00001032385,0.000001497921,0.00000253241,0.0006450752],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7138422,"threshold_uncertainty_score":0.234302,"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."}}