{"id":"W2171182892","doi":"10.5555/824475.825863","title":"DVS: an object-oriented framework for distributed Verilog simulation","year":2003,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Verilog; Correctness; Logic simulation; Bottleneck; Computer architecture; Hardware description language; Workstation; Processor design; Time to market; Embedded system; Distributed computing; Parallel computing; Field-programmable gate array; Logic gate; Operating system; 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.005585789,0.001186726,0.0009845162,0.0017728,0.0008083397,0.003468162,0.004232078,0.001671695,0.01055586],"category_scores_gemma":[0.006522605,0.001465761,0.001777092,0.0009475324,0.001966266,0.002520515,0.002962763,0.002727844,0.002990832],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00110816,"about_ca_system_score_gemma":0.001839007,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002933253,"about_ca_topic_score_gemma":0.002542599,"domain_scores_codex":[0.9979115,0.0007617422,0.0002325031,0.0001777687,0.0007720548,0.0001444618],"domain_scores_gemma":[0.9969701,0.001674454,0.0001865116,0.0005744474,0.0003757738,0.0002187665],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005277033,0.0003516367,0.002320527,0.0007667998,0.0002573255,0.0009052731,0.0009697892,0.3191306,0.01406424,0.3426003,0.02850902,0.2895968],"study_design_scores_gemma":[0.0002940032,0.00009449144,0.0002511933,0.0001453843,0.00005072568,0.0002073649,0.00005882003,0.8069737,0.006372351,0.09519009,0.09028925,0.00007256417],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.0006760375,0.00004941331,0.9874849,0.00005776952,0.00003344167,0.00008798597,0.0001075455,0.0105861,0.0009167982],"genre_scores_gemma":[0.0440095,0.0003762868,0.9465405,0.0001364162,0.00008548865,0.0007884328,0.001290484,0.004008478,0.002764445],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.01055586,"threshold_uncertainty_score":0.03531289,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03221108165102215,"score_gpt":0.3250162904344112,"score_spread":0.292805208783389,"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."}}