{"id":"W4408662702","doi":"10.12737/2219-0767-2025-44-51","title":"A set-theoretic model of a test structure for verifying in silicon libraries of standard digital elements","year":2025,"lang":"en","type":"article","venue":"Modeling of systems and processes","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Mitel (Canada)","funders":"","keywords":"Set (abstract data type); Computer science; Test (biology); Programming language; Geology","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.00127938,0.0008243053,0.0008731917,0.001235217,0.0006808765,0.002292777,0.001969693,0.001543285,0.003264517],"category_scores_gemma":[0.004379683,0.0005863358,0.001573801,0.0007169443,0.002492079,0.002375478,0.0009868705,0.001613087,0.0008704442],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002157298,"about_ca_system_score_gemma":0.002196388,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003894486,"about_ca_topic_score_gemma":0.002812926,"domain_scores_codex":[0.9985967,0.0003963062,0.00007771324,0.0002232327,0.0005682915,0.0001376977],"domain_scores_gemma":[0.9975373,0.001587599,0.0002368103,0.0002612282,0.0003121089,0.0000650158],"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.00008279871,0.00005485012,0.0004718338,0.0001107218,0.00003126968,0.0001564706,0.0001099795,0.76337,0.005363809,0.221296,0.00041826,0.008533966],"study_design_scores_gemma":[0.00001728315,0.00006582771,0.00007591131,0.0000134142,0.00001166628,0.00005040769,0.00001087017,0.9591945,0.001519238,0.03827861,0.0007529058,0.000009344843],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01675882,0.0001194991,0.9771073,0.0001582786,0.00001834815,0.00008749581,0.0001647426,0.0002209964,0.005364606],"genre_scores_gemma":[0.7079823,0.0003893004,0.283502,0.0002147969,0.00007249436,0.0008391055,0.0005464638,0.0001217611,0.006331733],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003894486,"threshold_uncertainty_score":0.01565236,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02561653560717215,"score_gpt":0.2522305017189199,"score_spread":0.2266139661117477,"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."}}