{"id":"W1824289952","doi":"10.1109/glsv.1998.665319","title":"Practical approaches to the automatic verification of an ATM switch fabric using VIS","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"Scheme for Promotion of Academic and Research Collaboration","keywords":"Netlist; Computer science; Liveness; Formal equivalence checking; Asynchronous Transfer Mode; Formal verification; Model checking; Equivalence (formal languages); Verilog; Hierarchy; Functional verification; Programming language; Embedded system; Theoretical computer science; Computer network","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.002104121,0.0009216053,0.0003257854,0.0006182215,0.0005643914,0.001032737,0.001109092,0.0006120694,0.004743414],"category_scores_gemma":[0.005119127,0.0006492532,0.000977823,0.0002229552,0.001741183,0.001200444,0.001251223,0.00119188,0.0005818357],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007417921,"about_ca_system_score_gemma":0.001277793,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008711531,"about_ca_topic_score_gemma":0.001504659,"domain_scores_codex":[0.9981499,0.0008243245,0.0001222301,0.0001831768,0.00061367,0.0001068263],"domain_scores_gemma":[0.9963688,0.002482196,0.0002594305,0.0006384575,0.0002139744,0.00003728779],"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.0003947503,0.0001786486,0.002909553,0.001060011,0.0001633842,0.0006270342,0.0009525753,0.3686034,0.1139178,0.2962899,0.001206137,0.2136967],"study_design_scores_gemma":[0.0001843183,0.0004843306,0.0004767199,0.0001920792,0.000101838,0.0005191784,0.0003069632,0.7397444,0.1078251,0.1314776,0.01864174,0.00004567222],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007714835,0.00004311217,0.9903415,0.00004438142,0.000007361273,0.00005251634,0.00002596489,0.0006870527,0.001083143],"genre_scores_gemma":[0.2910772,0.0002059369,0.7066658,0.00006584449,0.0000211774,0.0002052925,0.0002017547,0.0001756211,0.001381371],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004743414,"threshold_uncertainty_score":0.01586837,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3882309407775345,"score_gpt":0.358978774501153,"score_spread":0.02925216627638144,"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."}}