{"id":"W1979748495","doi":"10.1109/tpds.2011.246","title":"Optimizing Techniques for Parallel Digital Logic Simulation","year":2011,"lang":"en","type":"article","venue":"IEEE Transactions on Parallel and Distributed Systems","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Bottleneck; Correctness; Logic gate; Logic simulation; Digital electronics; Electronic circuit; Parallel computing; Algorithm; Embedded system; Electrical 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001041317,0.0008382897,0.0007190192,0.0008043345,0.0005695834,0.0006525863,0.00134473,0.0005633727,0.004501875],"category_scores_gemma":[0.003721447,0.0006543975,0.0008670795,0.0007744418,0.0006728285,0.0008972701,0.0009953276,0.001117455,0.0008364135],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00145175,"about_ca_system_score_gemma":0.001381819,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004645244,"about_ca_topic_score_gemma":0.006097478,"domain_scores_codex":[0.9993632,0.0001965534,0.00003300021,0.00008231346,0.0002679607,0.00005691669],"domain_scores_gemma":[0.9985839,0.0008306454,0.000115507,0.0002106672,0.000224873,0.00003445255],"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.00003732192,0.00003082862,0.0004596895,0.00004997387,0.00002540245,0.0000333914,0.0000431597,0.941376,0.003818436,0.01572341,0.0005476296,0.03785471],"study_design_scores_gemma":[0.000006684806,0.000006723089,0.00003059128,0.000002201455,0.000002863483,0.000005128406,0.00000252702,0.9945844,0.0007548663,0.003886926,0.0007155511,0.000001620643],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006800739,0.00008257865,0.989751,0.0000708076,0.00001355237,0.00004661521,0.00002541701,0.0007902373,0.00241909],"genre_scores_gemma":[0.2205332,0.0002164418,0.7758257,0.00007503241,0.00002412554,0.0004025673,0.000128623,0.0004331555,0.002361096],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004645244,"threshold_uncertainty_score":0.01506031,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1644242573620731,"score_gpt":0.3681253518143458,"score_spread":0.2037010944522727,"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."}}