{"id":"W2078940150","doi":"10.1109/tcad.2013.2278491","title":"Debugging RTL Using Structural Dominance","year":2014,"lang":"en","type":"article","venue":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Debugging; Bottleneck; Boolean satisfiability problem; Speedup; Parallel computing; Formal equivalence checking; Theoretical computer science; Programming language; Formal verification; Algorithm; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009873989,0.0002863593,0.0004635037,0.0003253199,0.0002746127,0.0002367143,0.0005876255,0.0001489061,0.000002894862],"category_scores_gemma":[0.00001664629,0.0002468235,0.0000866042,0.0005691895,0.00009960033,0.0005630328,0.000003931734,0.0002808264,0.000004579956],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001095031,"about_ca_system_score_gemma":0.00009767152,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002004918,"about_ca_topic_score_gemma":0.000001670662,"domain_scores_codex":[0.9975158,0.0006570095,0.0006627017,0.0005225135,0.0003236464,0.0003183381],"domain_scores_gemma":[0.9983243,0.0003325522,0.0003281155,0.0006174293,0.0002801522,0.0001175024],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002795493,0.00006791671,0.00001580982,0.0001469635,0.00009858517,0.000004854764,0.0007843334,0.509462,0.04212638,0.01758642,0.00003222079,0.4296466],"study_design_scores_gemma":[0.0004050037,0.0003201,0.00006534757,0.0003063548,0.00002114336,0.0001498777,0.00003106738,0.9713216,0.02676516,0.0003051293,0.00005386532,0.0002553721],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02222262,0.0001110949,0.9745929,0.00001208341,0.002394336,0.0004097371,0.000007403588,0.0001959448,0.00005387875],"genre_scores_gemma":[0.7587237,0.00001035981,0.2411265,0.00003388243,0.00005220813,0.00001600298,6.20788e-7,0.00001591855,0.00002086924],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.736501,"threshold_uncertainty_score":0.9999984,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05249852120037057,"score_gpt":0.2731716530537248,"score_spread":0.2206731318533542,"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."}}