{"id":"W224742612","doi":"","title":"Modeling and verification of DSP designs in HOL","year":2005,"lang":"en","type":"dissertation","venue":"Spectrum Research Repository (Concordia University)","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"HOL; Computer science; Netlist; Digital signal processing; Formal verification; Abstraction; Theoretical computer science; Computer engineering; Parallel computing; Algorithm; Programming language; Embedded system; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002470688,0.000649264,0.0004134442,0.0008319594,0.000522598,0.002016702,0.001804855,0.0007401299,0.003045445],"category_scores_gemma":[0.003795528,0.0005572925,0.001286255,0.0004318165,0.002091804,0.002453139,0.001179953,0.001770158,0.0008181928],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009151053,"about_ca_system_score_gemma":0.001792338,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00155351,"about_ca_topic_score_gemma":0.001747532,"domain_scores_codex":[0.9980454,0.0005831734,0.0001766197,0.000183055,0.0008425,0.0001693279],"domain_scores_gemma":[0.9973394,0.001535571,0.0002493447,0.0005484382,0.0002917872,0.00003552217],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001010566,0.00008983033,0.0007321672,0.0005952358,0.00005695209,0.0004595908,0.0005931768,0.2513013,0.01789279,0.6747941,0.001340901,0.05204291],"study_design_scores_gemma":[0.000107603,0.0001779679,0.0003309844,0.0001818606,0.0000803049,0.0002372959,0.0001200395,0.6083532,0.04322506,0.3025066,0.04463226,0.00004682786],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003960598,0.00007775112,0.99265,0.00007861618,0.00002111781,0.0000534685,0.00005359072,0.0006632232,0.002441678],"genre_scores_gemma":[0.2370994,0.0008361654,0.7521049,0.0002324538,0.0000936297,0.0004209895,0.0004758696,0.0004231326,0.008313344],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003045445,"threshold_uncertainty_score":0.01306641,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05301140315290406,"score_gpt":0.3064169645128714,"score_spread":0.2534055613599673,"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."}}