{"id":"W2144275718","doi":"10.5555/1266366.1266420","title":"A symbolic methodology for the verification of analog and mixed signal designs","year":2007,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":33,"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; Mixed-signal integrated circuit; Symbolic data analysis; SIGNAL (programming language); Theoretical computer science; 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.001679873,0.00004575896,0.00008789342,0.00005036567,0.00008513562,0.0000180929,0.0002540218,0.00002909404,0.000002814254],"category_scores_gemma":[0.0001662149,0.00003021466,0.00002777965,0.0001770953,0.0000473744,0.0000680634,0.00003064531,0.00003408815,7.421953e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004731982,"about_ca_system_score_gemma":0.0000211134,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003975374,"about_ca_topic_score_gemma":0.0000183032,"domain_scores_codex":[0.9994628,0.00005740206,0.0001447992,0.000139469,0.00005943219,0.000136047],"domain_scores_gemma":[0.997559,0.002126293,0.00006241207,0.0001628146,0.00006163901,0.0000278906],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[9.327617e-7,0.00001504783,0.002282656,0.00001126376,0.00001625214,6.738389e-7,0.000501883,0.00003388429,0.0790058,0.1923631,0.00007469031,0.7256938],"study_design_scores_gemma":[0.001011332,0.0005654396,0.2723415,0.00002892268,0.0000788695,0.0001047989,0.0008087109,0.2734727,0.3809089,0.06915802,0.001104758,0.0004160019],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02347377,0.0001375635,0.9755383,0.0002224251,0.00004916614,0.0001028358,3.78903e-7,0.00003055203,0.0004450014],"genre_scores_gemma":[0.9091318,0.000003885634,0.09066913,0.0001311549,0.00002768269,0.000004415733,4.059259e-7,0.000002076261,0.00002947791],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.885658,"threshold_uncertainty_score":0.1232118,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1786340036732575,"score_gpt":0.3365525164337212,"score_spread":0.1579185127604637,"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."}}