{"id":"W2110019232","doi":"10.1109/icpp.2009.9","title":"On the Scalability of Parallel Verilog Simulation","year":2009,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Verilog; Electronic circuit; Scalability; Bottleneck; Hardware description language; Parallel computing; Computer hardware; Embedded system; Field-programmable gate array; Electrical engineering; Engineering","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":[],"consensus_categories":[],"category_scores_codex":[0.0002620322,0.00005032643,0.00006508526,0.0000278979,0.00005472319,0.00002502194,0.0003813287,0.00002511411,0.00001518052],"category_scores_gemma":[0.00009438954,0.00003092844,0.00003263073,0.0001789798,0.0000200854,0.00007976625,0.00003331325,0.00004539776,0.000007940018],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009467587,"about_ca_system_score_gemma":0.00001180812,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003222911,"about_ca_topic_score_gemma":1.740433e-7,"domain_scores_codex":[0.9994773,0.00005659056,0.0001325337,0.0001309645,0.0001272178,0.0000754411],"domain_scores_gemma":[0.9992399,0.0002353939,0.00005112417,0.0003969798,0.00005966206,0.00001696384],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005027026,0.00005590455,0.00006942794,8.251303e-7,0.000001423878,1.222134e-7,0.00007067571,0.4928416,0.00003045197,0.4947253,0.00107176,0.0111275],"study_design_scores_gemma":[0.00005084201,0.0001026523,0.004550933,0.000004027878,4.709833e-7,1.681239e-7,9.943194e-7,0.9085678,0.0009599153,0.08560835,0.0001126882,0.00004109567],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01023588,0.000005771318,0.9730505,0.001846949,0.00002481283,0.00008831489,1.08006e-7,0.0002238287,0.01452388],"genre_scores_gemma":[0.9038649,0.000001362618,0.09524486,0.0007981349,0.000006319478,8.890325e-7,2.698563e-7,9.201582e-7,0.00008238789],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.893629,"threshold_uncertainty_score":0.1261225,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02184983870908339,"score_gpt":0.2792098056389564,"score_spread":0.257359966929873,"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."}}