{"id":"W2280355758","doi":"10.82308/53607","title":"A multi-abstraction level platform for the validation and verification of complex digital designs","year":2007,"lang":"en","type":"article","venue":"eScholarship@McGill (McGill)","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; SystemC; Software verification; Electronic system-level design and verification; Debugging; Functional verification; Abstraction; Formal verification; High-level verification; Embedded system; Software; Computer architecture; Programming language; Software system; Software construction","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.002138545,0.0009667063,0.0007389396,0.0009458155,0.0006198629,0.002125502,0.002015293,0.001061166,0.009026646],"category_scores_gemma":[0.004574602,0.0008460758,0.001463116,0.0004954842,0.0008898493,0.002360242,0.002202343,0.002396097,0.002940727],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00098347,"about_ca_system_score_gemma":0.00252968,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001402566,"about_ca_topic_score_gemma":0.001756435,"domain_scores_codex":[0.9980482,0.000462886,0.0001875045,0.000318196,0.0007930753,0.0001900788],"domain_scores_gemma":[0.9971604,0.0008290841,0.0002839488,0.001199682,0.0004140135,0.0001127517],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007794668,0.0003911791,0.003726618,0.001407876,0.0002101463,0.001052262,0.001234309,0.1672168,0.2864335,0.2210865,0.006408074,0.3100533],"study_design_scores_gemma":[0.0001754223,0.001005559,0.002022175,0.000437678,0.0002013446,0.0008734824,0.0001657776,0.6419154,0.1746059,0.05291716,0.1255414,0.0001387957],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01373735,0.0002213717,0.9752921,0.0000923238,0.00005199523,0.000199036,0.0001272246,0.006629026,0.003649666],"genre_scores_gemma":[0.1964829,0.0005295303,0.7912688,0.0001606074,0.0000398343,0.0006026775,0.0006073585,0.001021153,0.009287138],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009026646,"threshold_uncertainty_score":0.03019714,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.149889817317806,"score_gpt":0.3076418163698332,"score_spread":0.1577519990520272,"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."}}