{"id":"W2135523993","doi":"10.5555/1326073.1326122","title":"A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test","year":2007,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":45,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Very-large-scale integration; Debugging; Encoding (memory); Representation (politics); Satisfiability; Frame (networking); Sequential logic; Model checking; Algorithm; Theoretical computer science; Computer engineering; Parallel computing; Logic gate; Programming language; Embedded system; 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.001117595,0.0004560516,0.0002346682,0.0006222115,0.0002883086,0.0009249419,0.001042633,0.0006467587,0.002919971],"category_scores_gemma":[0.003599329,0.0002076557,0.0004333011,0.0005925323,0.0008682308,0.001463722,0.0004866477,0.0008319676,0.0006144669],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000857071,"about_ca_system_score_gemma":0.0009382305,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001290742,"about_ca_topic_score_gemma":0.00119151,"domain_scores_codex":[0.9992434,0.0003122899,0.0000548291,0.0001049559,0.0002288534,0.00005579539],"domain_scores_gemma":[0.9984837,0.0007565946,0.0001668666,0.0002812923,0.0002789841,0.00003258543],"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.0003291528,0.0001462315,0.0009439991,0.000185948,0.00002368186,0.00034122,0.0003525908,0.4538689,0.0446844,0.3325058,0.002494676,0.1641234],"study_design_scores_gemma":[0.00002708224,0.0001029838,0.0000697806,0.00003616291,0.00001508544,0.0000964518,0.0000193983,0.9287392,0.02208632,0.04435487,0.004435613,0.00001692583],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006702862,0.00004177107,0.9910423,0.00008831338,0.00001130836,0.00004283548,0.00006143253,0.0006420272,0.001367206],"genre_scores_gemma":[0.3257976,0.0001658833,0.671444,0.00009714079,0.00002506099,0.0001903672,0.0002478066,0.0001351089,0.001897071],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002919971,"threshold_uncertainty_score":0.009768307,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03704622926110496,"score_gpt":0.3211840071330828,"score_spread":0.2841377778719779,"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."}}