{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003701982,0.00186829,0.0007339417,0.001909058,0.0006805485,0.001806341,0.002151145,0.001184796,0.008214719],"category_scores_gemma":[0.01150948,0.00133754,0.001674566,0.000679656,0.0009367089,0.002909541,0.001624879,0.002924729,0.002546494],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001025824,"about_ca_system_score_gemma":0.00222379,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002594397,"about_ca_topic_score_gemma":0.004343106,"domain_scores_codex":[0.9950052,0.001619549,0.0005040428,0.0003017908,0.002209017,0.0003604365],"domain_scores_gemma":[0.9885357,0.005733557,0.0009520884,0.002960314,0.001688938,0.0001294574],"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.0009082364,0.000636505,0.003977032,0.002047904,0.0003815515,0.001151442,0.0009450464,0.4373249,0.0913858,0.2753388,0.01786351,0.1680393],"study_design_scores_gemma":[0.0002009951,0.000313628,0.0003123126,0.0002188589,0.000180383,0.0005442913,0.0001015994,0.7448801,0.1235088,0.06280219,0.06685964,0.00007731201],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004753676,0.0001141951,0.9800163,0.0001418179,0.00005956116,0.0003410283,0.0006885605,0.009874021,0.00401078],"genre_scores_gemma":[0.1643207,0.0005070548,0.8224558,0.0004102149,0.0000554649,0.001097929,0.002223526,0.00161754,0.00731176],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008214719,"threshold_uncertainty_score":0.02748096,"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."}}