{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001058785,0.0008490357,0.0005326386,0.0007288848,0.000341097,0.000873319,0.002058517,0.0006714435,0.008831592],"category_scores_gemma":[0.002550624,0.0006648071,0.0008786057,0.0003642704,0.0006830378,0.001125774,0.001609967,0.001532742,0.002283754],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005121598,"about_ca_system_score_gemma":0.001263841,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001413693,"about_ca_topic_score_gemma":0.001569454,"domain_scores_codex":[0.9992123,0.000148942,0.00006080953,0.00009335449,0.000392305,0.00009233518],"domain_scores_gemma":[0.9989297,0.0003695208,0.00009416149,0.0003766578,0.0001671631,0.0000627124],"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.001093487,0.0002653585,0.002917502,0.0005891231,0.0001883913,0.0006577994,0.0003578188,0.6093571,0.08261207,0.08774334,0.03132313,0.1828948],"study_design_scores_gemma":[0.0002229611,0.0002088362,0.0003691496,0.00005578521,0.00003696144,0.0002226967,0.00001898215,0.8657357,0.05593444,0.02218427,0.05494919,0.00006113236],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.01086302,0.0001066047,0.9518165,0.00008984962,0.0000642959,0.0001305321,0.0004785497,0.03082465,0.005626041],"genre_scores_gemma":[0.3299383,0.0003655483,0.6509626,0.000240704,0.00004998219,0.0008133478,0.002685026,0.007201592,0.007742918],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.008831592,"threshold_uncertainty_score":0.02954459,"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."}}