{"id":"W1489478894","doi":"10.1007/978-3-540-72586-2_37","title":"Formal Verification of Analog and Mixed Signal Designs in Mathematica","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Correctness; Computer science; Formal verification; Stability (learning theory); SIGNAL (programming language); Theoretical computer science; Algorithm; Programming language","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.003317658,0.0007793197,0.0007225888,0.0009918564,0.0008630444,0.002434374,0.001903829,0.000844004,0.007972736],"category_scores_gemma":[0.009085093,0.0007981753,0.001934037,0.0007403102,0.002933031,0.004168916,0.001653016,0.002763661,0.001668115],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001552875,"about_ca_system_score_gemma":0.001216097,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001674141,"about_ca_topic_score_gemma":0.001708381,"domain_scores_codex":[0.9975265,0.0009693085,0.0002034887,0.0002700687,0.0008991437,0.0001316102],"domain_scores_gemma":[0.99563,0.002992768,0.0001871191,0.0006076095,0.0005249261,0.00005753752],"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.00005088832,0.00003216632,0.0001437775,0.0001908866,0.0000250204,0.00006993575,0.000169091,0.01891627,0.001875986,0.9503928,0.001931037,0.02620214],"study_design_scores_gemma":[0.00004351575,0.00002265176,0.00008475025,0.00006479945,0.00002347606,0.00005791494,0.00002803469,0.0835963,0.002833877,0.8985659,0.0146602,0.00001860548],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005704504,0.0005173818,0.9786347,0.0005908313,0.0001506745,0.00005399525,0.0001725207,0.0007363143,0.01343901],"genre_scores_gemma":[0.3774312,0.0009116589,0.6086617,0.0004373324,0.0002669851,0.0002789402,0.0004514963,0.0004483151,0.01111238],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007972736,"threshold_uncertainty_score":0.02667147,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02902523385306385,"score_gpt":0.2424952046416106,"score_spread":0.2134699707885467,"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."}}