{"id":"W2088473304","doi":"10.1109/hldvt.2006.319980","title":"EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation","year":2006,"lang":"en","type":"article","venue":"Proceedings","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Abstraction; Verilog; Heuristics; Programming language; Abstraction layer; Computer architecture; Embedded system; Software; Operating system; Field-programmable gate array","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.0009662844,0.0001407147,0.0001875236,0.00027423,0.0003081757,0.000382589,0.000323809,0.0001671462,0.0002382679],"category_scores_gemma":[0.001061201,0.0001194543,0.0001176168,0.0008284972,0.00003676892,0.0007457974,0.00003807999,0.0001166478,0.0001154674],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000749942,"about_ca_system_score_gemma":0.00004650644,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006056731,"about_ca_topic_score_gemma":0.000003281716,"domain_scores_codex":[0.9979505,0.000002804903,0.0007300751,0.0004267873,0.000656122,0.000233711],"domain_scores_gemma":[0.9978631,0.0006846629,0.0003876906,0.0001712264,0.0008256446,0.00006773517],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001861331,0.0004246292,0.04202171,0.00002462544,0.00002789893,3.654659e-7,0.0003982044,0.02101379,0.007051407,0.2703471,0.4649774,0.1935267],"study_design_scores_gemma":[0.0007160797,0.00005476826,0.004803916,0.00001305842,0.00001700484,0.000002751819,0.000176229,0.09595193,0.01736889,0.2594729,0.6211926,0.0002298321],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8069862,0.00003377756,0.08782222,0.00220217,0.0003404373,0.002582699,0.00008962731,0.001019766,0.09892315],"genre_scores_gemma":[0.9861708,0.000001138183,0.006076969,0.0001016952,0.0004877048,0.0001850366,0.00002562039,0.00001761609,0.00693346],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1932969,"threshold_uncertainty_score":0.4871207,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2718894933623922,"score_gpt":0.438657605692974,"score_spread":0.1667681123305818,"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."}}