{"id":"W48507360","doi":"","title":"ModelSim verification tool in testing cores-based system-on-chips","year":2008,"lang":"en","type":"article","venue":"International Conference on Modelling, Identification and Control","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"ModelSim; Testability; Benchmark (surveying); Embedded system; Computer science; Design for testing; Computer architecture; Very-large-scale integration; Field-programmable gate array; Computer engineering; Reliability engineering; Engineering; VHDL","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.001220478,0.0009090512,0.0005440585,0.0008427419,0.0003684289,0.0005772081,0.001079311,0.0006779856,0.003971381],"category_scores_gemma":[0.003497762,0.0004462737,0.0008763103,0.000391987,0.0004446516,0.0009921617,0.0006151599,0.001097453,0.000753982],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004125106,"about_ca_system_score_gemma":0.001157669,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002056309,"about_ca_topic_score_gemma":0.002223975,"domain_scores_codex":[0.9988142,0.000502907,0.00008256377,0.00007526526,0.0004477127,0.00007741797],"domain_scores_gemma":[0.9987938,0.0006707534,0.000101701,0.0002402979,0.000173673,0.00001969983],"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.0002138792,0.0001578957,0.001447985,0.0007357709,0.0001640835,0.0006984848,0.0002351422,0.712113,0.04500883,0.08092391,0.006257148,0.1520439],"study_design_scores_gemma":[0.00005376781,0.000179014,0.0001994012,0.00007546672,0.00003897013,0.0002058041,0.00002490737,0.9491991,0.02993027,0.008099302,0.01197582,0.00001814067],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007010757,0.0002183916,0.9841149,0.00008858,0.00006135833,0.00008178041,0.0001141539,0.004216958,0.004093181],"genre_scores_gemma":[0.4273239,0.0008989613,0.562797,0.0001913888,0.00004704824,0.0007689811,0.0007179158,0.001003055,0.006251838],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003971381,"threshold_uncertainty_score":0.01328558,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1008849581281442,"score_gpt":0.264836202709371,"score_spread":0.1639512445812268,"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."}}