{"id":"W3182769310","doi":"10.1109/rtas52030.2021.00061","title":"Work in Progress: Path-based Graph Partition for Parallel Hardware-accelerated Functional Verification","year":2021,"lang":"en","type":"article","venue":"","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Research and Development","keywords":"Computer science; Parallel computing; Graph partition; Partition (number theory); Directed acyclic graph; Scheduling (production processes); Partition problem; Very-large-scale integration; Critical path method; Graph; Theoretical computer science; Algorithm; Embedded system; Mathematics; Mathematical optimization","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00009063083,0.00009934172,0.0001024577,0.00007040928,0.00003229517,0.00004101775,0.00003942192,0.00008628667,0.0001577124],"category_scores_gemma":[0.00001279472,0.00009958832,0.0000506311,0.0003509238,0.00001460742,0.0001026559,0.000003521986,0.00006888788,0.00001112953],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004123282,"about_ca_system_score_gemma":0.00002680778,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001654537,"about_ca_topic_score_gemma":0.000006521159,"domain_scores_codex":[0.9994044,0.00001746013,0.0001811704,0.0001546778,0.00008354568,0.000158748],"domain_scores_gemma":[0.9997116,0.00002563678,0.00001650359,0.0001306931,0.00008395645,0.00003162713],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001118763,0.001789551,0.06556224,0.00140448,0.0003074606,0.0001023982,0.0005560009,0.1788428,0.1795785,0.03190703,0.3445393,0.1942915],"study_design_scores_gemma":[0.004114753,0.0002528963,0.1634138,0.0004201451,0.00006188563,0.000006470811,0.0001791102,0.2619487,0.5071161,0.01068251,0.05032855,0.001475034],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02344999,0.0004110333,0.9733734,0.0002357068,0.0001798257,0.0004722034,0.00001312261,0.001003494,0.0008612162],"genre_scores_gemma":[0.9617749,0.00003258029,0.03656129,0.00008347361,0.00004738348,0.0009057693,0.0004476794,0.00002365039,0.0001232024],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.938325,"threshold_uncertainty_score":0.4061094,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03826321316868462,"score_gpt":0.2383112089487506,"score_spread":0.200047995780066,"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."}}