{"id":"W2208700254","doi":"10.1007/978-1-4757-3281-8_8","title":"Improved Design Verification by Random Simulation Guided by Genetic Algorithms","year":2001,"lang":"en","type":"book-chapter","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Verilog; Computer science; Algorithm; Property (philosophy); Function (biology); Genetic algorithm; Random number generation; Computer hardware","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003018697,0.0003478529,0.0003297743,0.0001038733,0.0001550804,0.000225768,0.0007122497,0.0002913511,0.0001195543],"category_scores_gemma":[0.00005397661,0.0003374224,0.0001139223,0.00007650993,0.00003541958,0.0002365896,0.00006866536,0.0001959734,0.0001110131],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009038163,"about_ca_system_score_gemma":0.00007936182,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004733635,"about_ca_topic_score_gemma":9.062717e-7,"domain_scores_codex":[0.9980729,0.00004362385,0.0005340032,0.0007258995,0.0003298006,0.0002938168],"domain_scores_gemma":[0.9984478,0.0002667651,0.0003238547,0.0006602841,0.0001816568,0.0001196498],"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.000001617201,0.00003079311,0.000004186835,0.00001783818,0.00005729802,0.00001074998,0.00006890941,0.005755799,0.005984084,0.00332377,0.02962781,0.9551172],"study_design_scores_gemma":[0.0008201721,0.00006868491,0.000003005654,0.00003453164,0.00002779105,0.00001179328,8.581416e-7,0.9477946,0.0004161778,0.004555183,0.04579274,0.0004745281],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.000001904274,0.0007069872,0.8976246,0.00007968098,0.0001692751,0.0004425094,0.000007312326,0.0003250016,0.1006428],"genre_scores_gemma":[0.02583791,0.0005315591,0.08400191,0.001162773,0.0005852402,0.00006106369,0.0003526123,0.0001687302,0.8872982],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.9546426,"threshold_uncertainty_score":0.9999078,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04316845898109959,"score_gpt":0.2535732224917012,"score_spread":0.2104047635106016,"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."}}