{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004610865,0.0001403804,0.0001644119,0.00007437095,0.0001198966,0.0001209123,0.0004343772,0.0001542687,0.00001972816],"category_scores_gemma":[0.0004786282,0.0001286847,0.00006045623,0.000425853,0.00001981762,0.0005892863,0.00003724975,0.00009340034,0.00001560952],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007401168,"about_ca_system_score_gemma":0.00005205544,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001029733,"about_ca_topic_score_gemma":0.000003515986,"domain_scores_codex":[0.9986976,0.0001503389,0.00027059,0.000402922,0.0002011085,0.0002774031],"domain_scores_gemma":[0.9984683,0.0003731448,0.00009742955,0.0007715669,0.0001904347,0.00009906301],"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.000005572369,0.00005468876,0.0002071339,0.000009863772,0.000007547833,0.000001400453,0.0002144919,0.0007939903,0.0003747523,0.9963332,0.0006786009,0.001318696],"study_design_scores_gemma":[0.000459371,0.0005780573,0.0003079443,0.00004989971,0.000009011733,0.000008240069,0.00009057276,0.5344437,0.0430737,0.3911972,0.02927012,0.0005121335],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001510281,0.00001890674,0.9949529,0.00005253648,0.0003187962,0.0005925745,0.000008138152,0.001114446,0.001431445],"genre_scores_gemma":[0.5599036,4.222408e-7,0.4398213,0.0001127362,0.00002908406,0.00005079957,0.00001149445,0.000008215129,0.00006241299],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.605136,"threshold_uncertainty_score":0.5247611,"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."}}