{"id":"W2100201046","doi":"10.1109/icecs.2000.911590","title":"An efficient verification method for a class of multi-phase sequential circuits","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal; Université de Montréal","funders":"","keywords":"Retiming; Sequential logic; Computer science; Combinational logic; Correctness; Electronic circuit; Algorithm; Equivalence (formal languages); Logic gate; Mathematics; Engineering","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.001758529,0.0009925308,0.0007159877,0.00122177,0.0008278622,0.001075023,0.001389854,0.0009591258,0.005412554],"category_scores_gemma":[0.004809942,0.0006351041,0.001974233,0.0008659706,0.0009638967,0.002282467,0.001247163,0.001937132,0.001053425],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001119802,"about_ca_system_score_gemma":0.001654532,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001259234,"about_ca_topic_score_gemma":0.001581623,"domain_scores_codex":[0.9976907,0.0003695895,0.0002057407,0.0004015562,0.001179341,0.0001530505],"domain_scores_gemma":[0.997883,0.001040118,0.0001300249,0.0004753286,0.0004387955,0.00003263759],"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.0003153842,0.0002427909,0.0006969135,0.0008552804,0.0001624862,0.0007974106,0.0003915606,0.08360693,0.08776066,0.2876875,0.007916417,0.5295666],"study_design_scores_gemma":[0.0002802255,0.000216762,0.0003260443,0.0001277508,0.0001559357,0.001073111,0.00004602413,0.7232725,0.07002988,0.1573704,0.0470277,0.00007370159],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001618155,0.00006488879,0.9961907,0.00005715122,0.00003009533,0.0001018506,0.00005137734,0.0009942007,0.0008915103],"genre_scores_gemma":[0.1005304,0.0002350141,0.8954949,0.0001490142,0.00007392416,0.0004285075,0.000416145,0.0003076554,0.002364548],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005412554,"threshold_uncertainty_score":0.01810676,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1179627984722755,"score_gpt":0.402426506799508,"score_spread":0.2844637083272325,"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."}}