{"id":"W1976720449","doi":"10.1145/2591513.2591593","title":"A qualitative simulation approach for verifying PLL locking property","year":2014,"lang":"en","type":"article","venue":"","topic":"Advancements in PLL and VCO Technologies","field":"Engineering","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Jitter; Phase-locked loop; PLL multibit; Computer science; Process (computing); Property (philosophy); Control theory (sociology); Modeling and simulation; Electronic engineering; Simulation; Engineering; Control (management); Telecommunications","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.0008268475,0.0004820334,0.0003740585,0.000710409,0.0003211238,0.0004808632,0.0007111795,0.0004996546,0.002172616],"category_scores_gemma":[0.002865429,0.000285549,0.0007001207,0.0003184376,0.0006914664,0.0006689022,0.0004707409,0.0005415931,0.0002313549],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007713075,"about_ca_system_score_gemma":0.001034128,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002741918,"about_ca_topic_score_gemma":0.001750258,"domain_scores_codex":[0.999461,0.0001781646,0.00003295341,0.0000547653,0.0002298848,0.00004327759],"domain_scores_gemma":[0.9984315,0.001007075,0.0001216421,0.0001907801,0.0002276643,0.00002132048],"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.00004206826,0.00004176163,0.001235067,0.000102051,0.00003036607,0.00008140312,0.0001017905,0.9171553,0.01867442,0.04635576,0.0001931677,0.01598681],"study_design_scores_gemma":[0.000004249557,0.00001953385,0.00005592443,0.00000532987,0.000004578228,0.00001689689,0.000008937887,0.9896781,0.004305408,0.005233167,0.0006634756,0.000004316832],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01196633,0.00002468136,0.9859993,0.00003277919,0.000008088913,0.00003447367,0.00004924133,0.0004367759,0.001448301],"genre_scores_gemma":[0.6392604,0.000143083,0.3585165,0.00005200109,0.000009050604,0.0003317648,0.0001866126,0.0001359064,0.001364646],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002741918,"threshold_uncertainty_score":0.007268131,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0795289842928147,"score_gpt":0.3509140126935966,"score_spread":0.2713850284007819,"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."}}