{"id":"W2162557036","doi":"10.1109/pads.2007.4","title":"A Design-Driven Partitioning Algorithm for Distributed Verilog Simulation","year":2007,"lang":"en","type":"article","venue":"","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Netlist; Computer science; Verilog; Algorithm; Very-large-scale integration; Hypergraph; Speedup; Parallel computing; Logic synthesis; Algorithm design; Theoretical computer science; Logic gate; Mathematics; Field-programmable gate array; Embedded 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.0005504956,0.0007354579,0.0004337181,0.0006332335,0.0004890299,0.0006128696,0.001031817,0.0006824245,0.003774241],"category_scores_gemma":[0.001624069,0.0004820893,0.0005557418,0.0004696413,0.0004266538,0.0009043972,0.0007595262,0.0009503972,0.000975958],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007865191,"about_ca_system_score_gemma":0.0009162526,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001968976,"about_ca_topic_score_gemma":0.003069077,"domain_scores_codex":[0.9996192,0.00009854174,0.00002170508,0.00006696216,0.0001604864,0.0000330234],"domain_scores_gemma":[0.9993945,0.0002886889,0.00004381572,0.0001267804,0.0001223222,0.00002376071],"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.0001392765,0.00008177084,0.0004995828,0.0001349078,0.00004722552,0.00008590827,0.0001224297,0.5498492,0.02538439,0.0293911,0.003324765,0.3909394],"study_design_scores_gemma":[0.00003411392,0.00003875773,0.00007149927,0.000009180711,0.000009116497,0.00004635473,0.000009605056,0.9805759,0.005450043,0.009437234,0.004310365,0.000007739992],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002629254,0.0000390466,0.9954795,0.00002826704,0.00000914875,0.0000418938,0.0000208622,0.0008022258,0.000949811],"genre_scores_gemma":[0.07504553,0.00006418545,0.9228051,0.00004269772,0.000008541255,0.0001843359,0.0001780498,0.0002101131,0.001461467],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003774241,"threshold_uncertainty_score":0.01262617,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02588368892812865,"score_gpt":0.2677548274825193,"score_spread":0.2418711385543906,"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."}}