{"id":"W2981891337","doi":"10.1109/dsd.2019.00031","title":"Improving Digital Circuit Simulation with Batch-Parallel Logic Evaluation","year":2019,"lang":"en","type":"article","venue":"","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of New Brunswick","funders":"","keywords":"Computer science; Correctness; Traverse; Parallel computing; Node (physics); Electronic circuit; Process (computing); Digital electronics; Sequential logic; Field-programmable gate array; Graph; Speedup; Computer engineering; Logic gate; Algorithm; Computer hardware; Theoretical computer science; Programming language","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.0008746477,0.0009103101,0.0008817116,0.0004871809,0.0004235253,0.0008826139,0.002339448,0.0006699683,0.006377377],"category_scores_gemma":[0.002945514,0.0004513412,0.000753747,0.0006042398,0.0004917743,0.001497896,0.0006698949,0.000934706,0.0007729723],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001269318,"about_ca_system_score_gemma":0.001872291,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01035696,"about_ca_topic_score_gemma":0.01179107,"domain_scores_codex":[0.9994367,0.000123961,0.00002724875,0.0001008973,0.0002331129,0.0000779433],"domain_scores_gemma":[0.9981778,0.0009214311,0.0001004994,0.0003680062,0.0003539775,0.00007822258],"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.0003847731,0.0001518613,0.002319505,0.0001666712,0.00005122779,0.00007956023,0.00006664742,0.9340889,0.01186023,0.004906381,0.002342844,0.04358142],"study_design_scores_gemma":[0.00002075779,0.00002970126,0.00009618913,0.000002566098,0.000006734756,0.000008849852,0.000004876979,0.9947146,0.003580979,0.0009274795,0.0006032819,0.000003977408],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.151008,0.000462308,0.8249117,0.000229846,0.000140454,0.000173776,0.0004751345,0.01158063,0.01101824],"genre_scores_gemma":[0.6702334,0.0001937875,0.3237237,0.0001035704,0.00002680413,0.000192982,0.0007052564,0.0008955903,0.003924984],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01035696,"threshold_uncertainty_score":0.02133441,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01964799609711043,"score_gpt":0.2278072708688909,"score_spread":0.2081592747717804,"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."}}