{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001979527,0.0002387899,0.0002427235,0.0001987878,0.00059311,0.0002379641,0.0006911562,0.0001859158,0.000003311126],"category_scores_gemma":[0.000494239,0.0002055493,0.0001099241,0.0003721614,0.00008396558,0.00280264,0.0001382314,0.0002479595,0.0000135539],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002293678,"about_ca_system_score_gemma":0.00001955605,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005925977,"about_ca_topic_score_gemma":0.00003412773,"domain_scores_codex":[0.998011,0.00005397057,0.0006733169,0.0005015345,0.0004135746,0.0003466273],"domain_scores_gemma":[0.9974647,0.0009007968,0.0004841127,0.0006783815,0.0003597738,0.0001122477],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00005986842,0.000145337,0.0001025743,0.00007902629,0.0000540004,0.000002022713,0.00003054607,0.00003378022,0.4212166,0.156523,0.00000642882,0.4217468],"study_design_scores_gemma":[0.001384459,0.0003974531,0.01442923,0.0001146844,0.00004856609,0.0001159405,0.0002268533,0.01309311,0.9268813,0.02881897,0.01380937,0.0006800501],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3595342,0.00006925607,0.6334838,0.00005332719,0.0003848469,0.002350469,0.0005074575,0.0006312339,0.002985407],"genre_scores_gemma":[0.9199667,0.00001089744,0.07970913,0.00004330196,0.00001818386,0.00006625101,0.00003028778,0.00002830275,0.0001269617],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5604325,"threshold_uncertainty_score":0.8382057,"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."}}