{"id":"W1842616663","doi":"10.1109/newcas.2004.1359015","title":"SynAbs: model reduction tool for verilog verification","year":2004,"lang":"en","type":"article","venue":"The 2nd Annual IEEE Northeast Workshop on Circuits and Systems, 2004. NEWCAS 2004.","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Model checking; Reduction (mathematics); Computer science; Partial order reduction; State space; Verilog; Formal verification; State (computer science); Programming language; Functional verification; Algorithm; Theoretical computer science; Computer engineering; Embedded system; Field-programmable gate array; Mathematics","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.001871352,0.001504951,0.0006940564,0.001673042,0.0004954528,0.001049636,0.00219324,0.0008675953,0.008910558],"category_scores_gemma":[0.005067539,0.00103489,0.001557995,0.0007072308,0.001046263,0.002359042,0.002142935,0.002595824,0.003628487],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005730199,"about_ca_system_score_gemma":0.001354799,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009208605,"about_ca_topic_score_gemma":0.001212565,"domain_scores_codex":[0.9974413,0.000711931,0.0001861352,0.000244215,0.001269352,0.0001471294],"domain_scores_gemma":[0.997021,0.001609804,0.000206416,0.0006703043,0.0004462247,0.00004618065],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001214415,0.0004799785,0.00251333,0.002044796,0.0002794853,0.001090401,0.0004663229,0.09921883,0.1109556,0.1447524,0.06175707,0.5752275],"study_design_scores_gemma":[0.0003214813,0.0004713573,0.0004657063,0.0002020317,0.0001182183,0.001259767,0.00008725063,0.6288943,0.1462261,0.1292737,0.09256906,0.0001108629],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002876582,0.0001006791,0.9679949,0.0000974616,0.00006304101,0.0001174369,0.000344642,0.02653348,0.001871676],"genre_scores_gemma":[0.1580541,0.0004155931,0.8255432,0.0004685926,0.0000901449,0.0009903742,0.002846603,0.006510351,0.005081185],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008910558,"threshold_uncertainty_score":0.02980882,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05677783964006631,"score_gpt":0.300821398439769,"score_spread":0.2440435587997027,"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."}}