{"id":"W1633038996","doi":"10.1109/glsv.1998.665311","title":"MDG-based verification by retiming and combinational transformations","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Retiming; Computer science; Representation (politics); Theoretical computer science; Sequential logic; Combinational logic; Logic synthesis; Symbol (formal); Algorithm; Parallel computing; Computer engineering; Logic gate; Programming language","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.003230951,0.0008171436,0.000777212,0.0009063758,0.0004088754,0.0008865589,0.001072344,0.0008658857,0.001508531],"category_scores_gemma":[0.006743396,0.0004700235,0.001051451,0.0007588309,0.002080907,0.001826696,0.0009827113,0.00142255,0.0002413966],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00107159,"about_ca_system_score_gemma":0.001251412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001760399,"about_ca_topic_score_gemma":0.002006526,"domain_scores_codex":[0.9975433,0.001044017,0.000167684,0.0003240159,0.0007725696,0.0001483305],"domain_scores_gemma":[0.9959289,0.002751908,0.0003246378,0.0006646465,0.0002800801,0.00004979394],"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.0002921271,0.00007326512,0.0007529929,0.000272439,0.00009302483,0.0003533514,0.0002055381,0.5842932,0.01766317,0.2381571,0.0008936109,0.1569501],"study_design_scores_gemma":[0.00006704236,0.0000826226,0.00007742357,0.00002266032,0.00003576967,0.00006799994,0.00001187602,0.9083081,0.017947,0.0703224,0.003038719,0.00001838843],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009943438,0.0001001755,0.9884371,0.000087288,0.00001582354,0.00004424325,0.00003448114,0.0005572924,0.0007800735],"genre_scores_gemma":[0.4170267,0.0003159983,0.5804635,0.0001377552,0.00002226926,0.0002900958,0.000132115,0.0001246667,0.001486911],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003230951,"threshold_uncertainty_score":0.01708704,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02545314960513891,"score_gpt":0.23846216383813,"score_spread":0.2130090142329911,"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."}}