{"id":"W4256429711","doi":"10.1109/date.2007.364599","title":"A Symbolic Methodology for the Verification of Analog and Mixed Signal Designs","year":2007,"lang":"en","type":"article","venue":"","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Correctness; Symbolic computation; Symbolic trajectory evaluation; Computer science; Representation (politics); Set (abstract data type); Computation; SIGNAL (programming language); Theoretical computer science; Mixed-signal integrated circuit; Symbolic data analysis; Algebra over a field; Algorithm; Programming language; Mathematics; Integrated circuit; Model checking","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.0007613419,0.00005063518,0.00009134147,0.00005069673,0.00002277049,0.000004114442,0.0000601333,0.00005500685,0.00001418063],"category_scores_gemma":[0.00002800785,0.00003523212,0.00002424685,0.00007051139,0.00003206126,0.00002320323,0.000004864949,0.00003595618,5.053963e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006692531,"about_ca_system_score_gemma":0.000003439685,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001258683,"about_ca_topic_score_gemma":0.00000975009,"domain_scores_codex":[0.9996676,0.00002073251,0.000123044,0.00005810921,0.00003124853,0.00009927031],"domain_scores_gemma":[0.9992011,0.0006504655,0.00001580386,0.00009016669,0.00002450451,0.00001800594],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0000228521,0.000009199597,0.0002881301,0.00004901211,0.00005257571,3.335124e-7,0.0002949812,0.0001297289,0.8101977,0.02070176,0.001323688,0.16693],"study_design_scores_gemma":[0.0001182917,0.00007502944,0.006155371,0.000003745421,0.00002786388,0.000004768226,0.0001216552,0.009678791,0.9786556,0.00399088,0.001097197,0.00007083398],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02224005,0.0003504386,0.9761674,0.00002257336,0.00003146181,0.0001930728,0.000001919356,0.0001189319,0.0008741398],"genre_scores_gemma":[0.9051856,0.00005277518,0.09466208,0.00002054045,0.00002315232,0.00001980534,0.000001507873,0.000008199834,0.00002627325],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8829456,"threshold_uncertainty_score":0.1436724,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1097579856804067,"score_gpt":0.3126082362462768,"score_spread":0.2028502505658701,"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."}}