{"id":"W2148261726","doi":"10.1109/asic.1997.617033","title":"AHDL models to detect verification problems early in the design process","year":2002,"lang":"en","type":"article","venue":"","topic":"Electrostatic Discharge in Electronics","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Suite; Functional verification; Simple (philosophy); Process (computing); Verification; Formal verification; Verification and validation of computer simulation models; Process design; Software engineering; Computer architecture; Reliability engineering; Programming language; Work in process; Software; Engineering; Software construction; Software development; Mathematics","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.0002431921,0.0001123112,0.00008411445,0.00007095387,0.00002895315,0.00005439375,0.0002632897,0.00004205707,0.00004126781],"category_scores_gemma":[0.00001406124,0.00008541681,0.00001593472,0.0004453238,0.000007190726,0.000196727,0.000004231194,0.0001641647,0.000113835],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000067968,"about_ca_system_score_gemma":0.000008937758,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001642298,"about_ca_topic_score_gemma":0.00004953648,"domain_scores_codex":[0.9991372,0.00003360311,0.0001679332,0.0001390659,0.000175203,0.0003469651],"domain_scores_gemma":[0.9996562,0.00005321674,0.00001187628,0.0002206153,0.00002540732,0.00003268976],"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.00000357254,0.00002659676,0.00001114516,0.00003403739,0.000009743046,0.000001171687,0.008485415,0.9727243,0.006391066,0.002632534,0.001339702,0.008340701],"study_design_scores_gemma":[0.0001426422,0.0001289406,0.00005854625,0.00001507512,0.000005154457,0.000004516934,0.00007517488,0.9710963,0.0130585,0.01493929,0.0002978439,0.0001779504],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1914853,0.0004730049,0.7915495,0.0003670109,0.00003843148,0.001166705,0.00000108383,0.0003386377,0.01458031],"genre_scores_gemma":[0.9955758,0.00004707478,0.003726661,0.000115656,0.00001418043,0.0003265698,9.592891e-7,0.0000285077,0.0001645526],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8040906,"threshold_uncertainty_score":0.3483196,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03927185837079162,"score_gpt":0.2207695387802045,"score_spread":0.1814976804094129,"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."}}