{"id":"W1937018809","doi":"10.1109/ccece.2000.849696","title":"System design based on interface specifications","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; VHDL; Interface (matter); Programming language; Finite-state machine; Hardware description language; Set (abstract data type); Event (particle physics); State diagram; Computer architecture; Theoretical computer science; Embedded system; Parallel computing; Field-programmable gate array","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.002988066,0.0006958944,0.0004527589,0.0009034657,0.000462868,0.00203556,0.001304105,0.0008816944,0.004944686],"category_scores_gemma":[0.004841884,0.0004614928,0.0009249552,0.0004276465,0.001215045,0.001618731,0.00117493,0.0009392376,0.001339359],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006313836,"about_ca_system_score_gemma":0.001840913,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001120297,"about_ca_topic_score_gemma":0.001184786,"domain_scores_codex":[0.9970471,0.001024642,0.0002690533,0.0002832251,0.00115475,0.0002212368],"domain_scores_gemma":[0.9974918,0.001082796,0.0001620933,0.0004827298,0.0007113701,0.00006923849],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001448387,0.0001041297,0.0008978685,0.0008574706,0.00008646232,0.0004283734,0.0009149489,0.09769213,0.03688584,0.7336228,0.002987314,0.1253778],"study_design_scores_gemma":[0.0002531269,0.0007446742,0.0005515537,0.0004729814,0.0001973382,0.0005309182,0.0002369959,0.5538224,0.07234981,0.2034051,0.1673508,0.00008440216],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002435219,0.00006956219,0.9927258,0.00006849464,0.00002474851,0.000140627,0.00004537939,0.0006569737,0.003833286],"genre_scores_gemma":[0.117423,0.0004301016,0.8751577,0.0001433167,0.00003541646,0.0007465284,0.0003660741,0.0002950695,0.005402884],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004944686,"threshold_uncertainty_score":0.0165416,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.176636771436811,"score_gpt":0.2980599967756002,"score_spread":0.1214232253387893,"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."}}