{"id":"W2114139508","doi":"10.1109/async.2004.1299293","title":"Bolstering faith in GasP circuits through formal verification","year":2004,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Handshake; Correctness; Modular design; Electronic circuit; Formal verification; Debugging; Set (abstract data type); Exploit; Algorithm; Programming language; Overhead (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.005518564,0.0007942512,0.0005243056,0.0009363907,0.0007779247,0.001452233,0.001857059,0.0009306942,0.002296408],"category_scores_gemma":[0.02208025,0.0008586739,0.001745346,0.0005193645,0.00551577,0.004053302,0.003106975,0.002810686,0.0004419282],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00121897,"about_ca_system_score_gemma":0.002050329,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002566924,"about_ca_topic_score_gemma":0.002282014,"domain_scores_codex":[0.9946343,0.001893252,0.0002770947,0.0005986362,0.002183584,0.0004132033],"domain_scores_gemma":[0.9806883,0.01229989,0.000908097,0.004778458,0.001172176,0.0001528895],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002436052,0.0001159879,0.001681165,0.0003817653,0.00009054457,0.0005174277,0.001067555,0.2269644,0.03199748,0.6588937,0.00125928,0.07678709],"study_design_scores_gemma":[0.0001494726,0.0001895022,0.0002378459,0.00007227402,0.0000706524,0.000220066,0.0001009096,0.6437131,0.04606343,0.3013155,0.007823041,0.00004415596],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01007604,0.00002163627,0.9882713,0.0001164314,0.00001198258,0.00004544944,0.00002609842,0.0007337746,0.0006972686],"genre_scores_gemma":[0.4206512,0.0001642282,0.5767779,0.000177441,0.00003917433,0.0002829443,0.000164379,0.0002956829,0.001447032],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005518564,"threshold_uncertainty_score":0.02918535,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04435762094354133,"score_gpt":0.2985641179535366,"score_spread":0.2542064970099953,"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."}}