{"id":"W4248609189","doi":"10.1109/iccad.2015.7372575","title":"SAT solving using FPGA-based heterogeneous computing","year":2015,"lang":"en","type":"article","venue":"2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Field-programmable gate array; Boolean satisfiability problem; Software; Throughput; Parallel computing; Computation; Solver; Computer architecture; Symmetric multiprocessor system; Gate array; Reconfigurable computing; Embedded system; Theoretical computer science; Algorithm; Programming language; Operating 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.0002786745,0.0005069784,0.0003828656,0.0004793171,0.0005745736,0.0009449755,0.001159408,0.0003629105,0.004999309],"category_scores_gemma":[0.0007816923,0.0002240679,0.0004689097,0.0007860336,0.0004234853,0.001007857,0.0007035784,0.0005382936,0.0006369308],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006687875,"about_ca_system_score_gemma":0.0006369714,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002492268,"about_ca_topic_score_gemma":0.004660829,"domain_scores_codex":[0.9995536,0.0001027135,0.00002462158,0.0001048914,0.0001285231,0.0000854647],"domain_scores_gemma":[0.9997092,0.00009731972,0.00002699087,0.00009301584,0.00005227563,0.00002116023],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0006166425,0.0002287696,0.002515295,0.0002567786,0.0001571781,0.0007688972,0.0001339708,0.4288348,0.05434342,0.1005485,0.007641256,0.4039544],"study_design_scores_gemma":[0.00008147653,0.0002025692,0.0004295408,0.00002650858,0.00004941764,0.0001725865,0.00005454916,0.9397375,0.02777127,0.0220909,0.009361561,0.00002211675],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08619168,0.0007397537,0.8835255,0.000293252,0.0001505459,0.0001120706,0.0001102589,0.002218878,0.02665803],"genre_scores_gemma":[0.7143905,0.0002520349,0.2815151,0.0001482141,0.00003115477,0.00007673255,0.0002185796,0.00008305808,0.003284626],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004999309,"threshold_uncertainty_score":0.01672435,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2995147217591668,"score_gpt":0.3855211801573903,"score_spread":0.08600645839822357,"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."}}