{"id":"W1989709885","doi":"10.1109/fmcad.2013.6679399","title":"Verifying global convergence for a digital phase-locked loop","year":2013,"lang":"en","type":"article","venue":"","topic":"Advancements in PLL and VCO Technologies","field":"Engineering","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Phase-locked loop; Computer science; Control theory (sociology); Convergence (economics); Quantization (signal processing); Solver; Lock (firearm); Transfer function; Algorithm; Jitter; Engineering; Telecommunications","routes":{"ca_aff":true,"ca_fund":true,"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.004973198,0.0008701593,0.0007765042,0.0007028074,0.0006924489,0.001671544,0.0009588174,0.001111355,0.004550067],"category_scores_gemma":[0.02202422,0.0004040801,0.001463186,0.0002719616,0.002613494,0.001792483,0.002307966,0.001570333,0.0007539145],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007890568,"about_ca_system_score_gemma":0.00170205,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001491745,"about_ca_topic_score_gemma":0.001011624,"domain_scores_codex":[0.9954473,0.001292005,0.0002707036,0.0006571142,0.001885088,0.0004477114],"domain_scores_gemma":[0.9833012,0.01246432,0.0006631261,0.001185885,0.002213667,0.0001718181],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000693053,0.0001369046,0.004010316,0.0004521297,0.0001653236,0.001447808,0.001136833,0.6396891,0.0739913,0.2241874,0.001735321,0.05235449],"study_design_scores_gemma":[0.00007633355,0.0002624195,0.0002220368,0.00006288027,0.0000293369,0.0001918846,0.000101276,0.9022126,0.0475281,0.04700066,0.002277289,0.00003513532],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03465785,0.00003941716,0.9611372,0.0001144952,0.00003673014,0.00005894304,0.00009336863,0.0009001629,0.002961822],"genre_scores_gemma":[0.8657969,0.00006599398,0.1310817,0.0001291493,0.00002066247,0.0001479676,0.0001608169,0.0003233012,0.002273496],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004973198,"threshold_uncertainty_score":0.02630115,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01557113964846549,"score_gpt":0.2673650757260698,"score_spread":0.2517939360776043,"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."}}