{"id":"W3149777975","doi":"10.1109/iccad.2008.4681564","title":"A succinct memory model for automated design debugging","year":2008,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Debugging; Computer science; Encoding (memory); Memory model; TRACE (psycholinguistics); Reduction (mathematics); Semiconductor memory; Embedded system; State (computer science); Programming language; Parallel computing; Computer hardware; Shared memory; Artificial intelligence","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.001456752,0.0009452457,0.0006100211,0.000899111,0.0003682635,0.001447868,0.002115319,0.001425599,0.002664979],"category_scores_gemma":[0.007175747,0.0006108426,0.0009207653,0.0005880463,0.001255876,0.004265659,0.001436264,0.001917871,0.0007068767],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007852864,"about_ca_system_score_gemma":0.001355469,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001215639,"about_ca_topic_score_gemma":0.001573287,"domain_scores_codex":[0.9986231,0.0005251351,0.0001258533,0.0001859886,0.0004538128,0.00008608273],"domain_scores_gemma":[0.9965255,0.001736209,0.0003330963,0.001042844,0.0003128399,0.00004958023],"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.0002993239,0.0001085626,0.0008296644,0.0003498898,0.00003964017,0.0004017123,0.0004002656,0.5957668,0.01883947,0.2894134,0.001977575,0.09157368],"study_design_scores_gemma":[0.00003444466,0.00007113167,0.00004781004,0.00005751333,0.00001967141,0.0001179765,0.00002334584,0.9154932,0.01020442,0.06849382,0.005417138,0.00001952792],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003989622,0.00009044318,0.9944475,0.00009341477,0.00001442694,0.00003728523,0.0000948237,0.0006975058,0.0005349608],"genre_scores_gemma":[0.3218413,0.0006481729,0.6726246,0.0002376027,0.00005317397,0.0005000349,0.0005587213,0.0003510105,0.003185384],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002664979,"threshold_uncertainty_score":0.008915246,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09463807136907813,"score_gpt":0.2662407108130699,"score_spread":0.1716026394439917,"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."}}