{"id":"W2003255006","doi":"10.1145/2591513.2591578","title":"A semi-formal approach for analog circuits behavioral properties verification","year":2014,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Behavioral modeling; Analogue electronics; Computer science; State space; Formal verification; Electronic circuit; State (computer science); Electronic engineering; Tunnel diode; Diode; Algorithm; Electrical engineering; Mathematics; Engineering; Artificial intelligence","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.003491027,0.0009964738,0.0007603166,0.001156239,0.0007932289,0.001968927,0.002640786,0.0009229867,0.003681778],"category_scores_gemma":[0.007874646,0.0009424867,0.002323401,0.0004742122,0.003310492,0.00260749,0.002645224,0.002543176,0.0009613425],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001040902,"about_ca_system_score_gemma":0.002356407,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001295337,"about_ca_topic_score_gemma":0.001439189,"domain_scores_codex":[0.9964337,0.001197428,0.0002706088,0.000346636,0.001568131,0.0001834264],"domain_scores_gemma":[0.993669,0.003695857,0.0003387937,0.001488999,0.0006863374,0.0001210704],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001351064,0.0002187153,0.000586481,0.0006912748,0.0001279047,0.0005072622,0.0006059331,0.1961999,0.03971381,0.6789341,0.001520086,0.08075947],"study_design_scores_gemma":[0.0001179163,0.0001878287,0.0001656843,0.0001909385,0.0000731588,0.0003149309,0.00008697472,0.5744679,0.02885706,0.3744219,0.02104577,0.00007005204],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006194536,0.00002269697,0.9984498,0.00002862675,0.000009668113,0.00003692946,0.00002701583,0.0003631818,0.0004426053],"genre_scores_gemma":[0.07249189,0.0001584214,0.9253078,0.00007659848,0.00003255615,0.0004457992,0.0001810557,0.0002006319,0.001105304],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003681778,"threshold_uncertainty_score":0.01846254,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0851383693866395,"score_gpt":0.2992536539257084,"score_spread":0.2141152845390689,"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."}}