{"id":"W4213347724","doi":"10.1109/asp-dac52403.2022.9712571","title":"CGRA Mapping Using Zero-Suppressed Binary Decision Diagrams","year":2022,"lang":"en","type":"article","venue":"2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC)","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Binary decision diagram; Enumeration; Speedup; Computer science; Routing (electronic design automation); Binary number; Linear programming; Integer programming; Integer (computer science); Parallel computing; Zero (linguistics); Theoretical computer science; Algorithm; Mathematical optimization; Mathematics; Discrete mathematics; Programming language; Arithmetic","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.000770845,0.0007978023,0.0005512042,0.0008366111,0.0004632383,0.001343194,0.001053053,0.0006288886,0.007106969],"category_scores_gemma":[0.002949629,0.0003539457,0.0009928037,0.0006775432,0.0005757762,0.001245253,0.001128408,0.001157505,0.0007732482],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008185854,"about_ca_system_score_gemma":0.001565234,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002810463,"about_ca_topic_score_gemma":0.004019646,"domain_scores_codex":[0.9991125,0.0003021997,0.00005612642,0.0001646585,0.0002378192,0.0001265826],"domain_scores_gemma":[0.998468,0.0009645537,0.0001148281,0.0002089744,0.0001884343,0.00005517571],"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.0002419958,0.0001605179,0.0009493704,0.0003695118,0.00005734004,0.000223839,0.000195242,0.5719505,0.01470423,0.1293492,0.00445712,0.2773411],"study_design_scores_gemma":[0.00006838937,0.00009654884,0.0001086019,0.00003558584,0.00002397099,0.00007093292,0.00003576227,0.8998648,0.009721416,0.07811905,0.01183646,0.00001852416],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01815067,0.0001711525,0.9740915,0.0001579039,0.00005752013,0.0001060185,0.0002032205,0.001593354,0.005468695],"genre_scores_gemma":[0.3204833,0.0001948231,0.6738356,0.0001269961,0.00002702506,0.0002609078,0.0004576111,0.0002767864,0.004336992],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007106969,"threshold_uncertainty_score":0.02377516,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05438602426746155,"score_gpt":0.2594936338598557,"score_spread":0.2051076095923942,"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."}}