{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009688875,0.0001188761,0.0001275829,0.0000879935,0.0001730181,0.0001449752,0.0007348193,0.00007991927,0.000003457998],"category_scores_gemma":[0.00007958781,0.00009782358,0.0000581414,0.0002381598,0.00004923086,0.001188163,0.00008524453,0.00007755419,0.00001775651],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004592216,"about_ca_system_score_gemma":0.00003430995,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001625228,"about_ca_topic_score_gemma":0.000001040656,"domain_scores_codex":[0.9988223,0.00008228711,0.0002460578,0.0003513897,0.0002019782,0.0002959294],"domain_scores_gemma":[0.9990472,0.00001885134,0.00009379809,0.0006375008,0.0001365397,0.00006614318],"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.00001197171,0.0002074546,0.0002881248,0.00008652881,0.00000814459,7.238533e-8,0.001018897,0.0004497338,0.02486131,0.6152984,0.0003676947,0.3574017],"study_design_scores_gemma":[0.0002689607,0.0002140919,0.002309407,0.000005814812,0.000008666537,0.000008513803,0.00005256308,0.9453252,0.04784849,0.0007219725,0.003017938,0.0002183692],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01279273,0.00001654698,0.9784445,0.00005543993,0.0001983305,0.0004411146,0.000001108446,0.0002672891,0.007782935],"genre_scores_gemma":[0.5117676,9.856288e-7,0.4877101,0.00007820924,0.00004557575,0.000157963,0.00000855526,0.000006107084,0.0002248748],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9448755,"threshold_uncertainty_score":0.398913,"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."}}