{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001760364,0.00007979688,0.00008084014,0.00004601431,0.00005033626,0.00002108489,0.00004567898,0.00006824788,0.00003772808],"category_scores_gemma":[0.0000138846,0.00008044876,0.00003257965,0.00009524786,0.00000881884,0.0000997131,0.000005223554,0.00004225035,0.000009606162],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005056138,"about_ca_system_score_gemma":0.000003860929,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002189113,"about_ca_topic_score_gemma":0.00000154586,"domain_scores_codex":[0.9995174,0.000005523016,0.0001436428,0.0000830167,0.00005777577,0.0001926794],"domain_scores_gemma":[0.9996828,0.0001439954,0.00001264384,0.00007939175,0.00003947346,0.00004165299],"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.00001456539,0.00002769647,0.00009576338,0.00002778409,0.00004412564,0.0000058268,0.0001149441,0.6466762,0.01427488,0.0006026246,0.004639638,0.3334759],"study_design_scores_gemma":[0.0001600826,0.00004418949,0.000157163,0.000007743102,0.000007734133,9.361063e-7,0.00001079985,0.9421131,0.05364587,0.0008907343,0.002849624,0.000112052],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0004606488,0.00002422042,0.9974347,0.000005558536,0.0000721852,0.000293328,0.00001528494,0.001089086,0.0006049896],"genre_scores_gemma":[0.6781272,0.000003190444,0.3216523,0.00001731449,0.00006728077,0.00002926482,0.00005902908,0.00001649235,0.00002791045],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6776666,"threshold_uncertainty_score":0.3280605,"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."}}