{"id":"W2541480683","doi":"10.1109/icm.2007.4497706","title":"Automatic generation of systemc transactors from graphical FSM","year":2007,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"SystemC; Computer science; Transaction-level modeling; Finite-state machine; Abstraction; Embedded system; Formal verification; Protocol (science); State (computer science); Abstract state machines; Abstraction layer; Computer architecture; Programming language; Software","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008249107,0.00006585332,0.0001133412,0.00009933954,0.00003219205,0.00002642765,0.0003677284,0.0000684155,0.00003599399],"category_scores_gemma":[0.00003896339,0.00005508356,0.00004651908,0.0003219542,0.00002811423,0.000316953,0.00001552152,0.00005552362,0.00001180007],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002120207,"about_ca_system_score_gemma":0.0000173669,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006759263,"about_ca_topic_score_gemma":0.00001984112,"domain_scores_codex":[0.9990442,0.00008088297,0.0003415523,0.0001702081,0.000245328,0.0001178522],"domain_scores_gemma":[0.9993302,0.00009321334,0.00008895178,0.0003866336,0.00005208977,0.00004895064],"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.000004694461,0.0001095251,0.001130943,0.00006459407,0.00003289551,0.000002909632,0.00175414,0.0000591112,0.1588629,0.6503783,0.0001247737,0.1874751],"study_design_scores_gemma":[0.0001305928,0.00004726196,0.01495634,0.00001682387,0.000006243813,0.000002806148,0.00003360444,0.730105,0.2530852,0.001460241,0.00005778178,0.00009807479],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2984463,0.00002191571,0.7002721,0.00003146386,0.0003185901,0.0000749626,6.407182e-7,0.00009965793,0.0007343576],"genre_scores_gemma":[0.5420802,9.915311e-7,0.4578548,0.00002480718,0.00002478882,0.000001666178,0.000001161968,0.000002033983,0.000009572866],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7300459,"threshold_uncertainty_score":0.2246242,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04836902409141298,"score_gpt":0.2962043814315525,"score_spread":0.2478353573401395,"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."}}