{"id":1432,"date":"2006-11-29T15:30:49","date_gmt":"2006-11-29T06:30:49","guid":{"rendered":"http:\/\/yasu2.prosou.nu\/blog\/index.php\/2006\/11\/29\/system_verilog_tutorial\/"},"modified":"2006-11-29T15:30:49","modified_gmt":"2006-11-29T06:30:49","slug":"system_verilog_tutorial","status":"publish","type":"post","link":"https:\/\/yasu2.prosou.nu\/blog\/index.php\/2006\/11\/29\/1432\/","title":{"rendered":"System Verilog tutorial @ \u30c7\u30b6\u30a4\u30f3\u30ac\u30a4\u30a2"},"content":{"rendered":"<p>&#8211; \u8a18\u8ff0\u91cf\u524a\u6e1b: \u62bd\u8c61\u5ea6\u3092\u3042\u3052\u308b\u306e\u3067\u306f\u306a\u304f\u3001RTL \u306e\u8a18\u8ff0\u52b9\u7387\u3092\u524a\u6e1b (concise RTL)<br \/>\n&#8211; \u66d6\u6627\u306e\u306a\u3044\u8a00\u8a9e: Verilog \u306e\u4fe1\u53f7\u7af6\u5408\u306f\u5927\u554f\u984c<br \/>\n&#8211; \u691c\u8a3c\u3092\u52b9\u7387\u5316:<br \/>\n&#8212; advanced testbench \u69cb\u6587 (C++ like \u3067\u3001\u30af\u30e9\u30b9\u304c\u4f7f\u3048\u308b) \u3001assertion \/ coverage \u69cb\u6587<br \/>\n&#8211; \u9ad8\u5ea6\u62bd\u8c61\u5316:<br \/>\n&#8212; HDL \u306e\u30d4\u30f3\u30e2\u30c7\u30eb (in\/out\/inout + 0\/1\/X\/Z) \u3067\u306f\u62bd\u8c61\u5ea6\u304c\u3042\u304c\u3089\u306a\u3044<br \/>\n&#8212; TLM (Transaction Level Modeling) \u69cb\u9020\u306e\u30b5\u30dd\u30fc\u30c8 (interface \u69cb\u9020)<br \/>\n&#8212; PLI \u306b\u4ee3\u308f\u308b DPI (Direct Programming Interface) \u3067\u3001C\/C++ \u306e function \u3092\u305d\u306e\u307e\u307e verilog \u306e function \u3068\u3057\u3066\u547c\u3076\u3053\u3068\u304c\u53ef\u80fd<br \/>\n[ \u8a18\u8ff0\u7de8 ]<br \/>\nLogic \u578b (4\u5024: 0, 1, X, Z)<br \/>\n&#8211; reg, wire \u306e\u533a\u5225\u306a\u304f\u66f8\u3051\u308b<br \/>\n&#8211; wire \u3068\u3057\u3066\u4f7f\u7528\u3057\u305f\u5834\u5408\u306b\u306f\u30c9\u30e9\u30a4\u30d0\u304c\u3072\u3068\u3064\u306b\u9650\u5b9a\u3055\u308c\u3001race condition \u3092\u9632\u3050<br \/>\nBit \u578b (2\u5024: 0, 1)<br \/>\n&#8211; \u30b7\u30df\u30e5\u30ec\u30fc\u30b7\u30e7\u30f3\u306e\u9ad8\u901f\u5316<br \/>\n&#8211; \u521d\u671f\u5024\u306f 0<br \/>\ntypedef<br \/>\n&#8211; \u53ef\u8aad\u6027\u5411\u4e0a\u3002\u308f\u304a\u3002<br \/>\n&#8211; typedef logic[31:0] word_t;  word_t A, B; \u307f\u305f\u3044\u306a\u611f\u3058\u3002<br \/>\nstruct, enum<br \/>\n&#8211; C \u306e\u3068\u3044\u3063\u3057\u3087<br \/>\n\u591a\u6b21\u5143\u914d\u5217<br \/>\n&#8211; reg [3:0][7:0] mem [9:0] \u3068\u304b\u3059\u308b\u3068\u3001byte enable [3:0] \u3064\u304d\u30e1\u30e2\u30ea\u307f\u305f\u3044\u306b\u306a\u308b<br \/>\ninterface<br \/>\n&#8211; \u30a4\u30f3\u30bf\u30d5\u30a7\u30a4\u30b9\u3092\u5b9a\u7fa9\u3057\u3066\u304a\u3044\u3066\u3001\u5404\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u5ba3\u8a00\u3067\u306f\u305d\u306e\u540d\u524d\u3060\u3051\u304b\u3044\u3066\u3064\u306a\u3052\u308b<br \/>\nalways_comb \/ latch \/ ff<br \/>\n&#8211; \u7d44\u307f\u5408\u308f\u305b\u56de\u8def\u304b\u305d\u3046\u3058\u3083\u306a\u3044\u306e\u304b\u3092\u30ba\u30d0\u3063\u3068\u66f8\u3051\u308b\u3002<br \/>\n&#8211; always_comb \u306f sensitivity list \u304c\u3044\u3089\u306a\u3044!<br \/>\nunique\/priority, case\/if<br \/>\n&#8211; priority \u3064\u304d\u304b\u306a\u3057\u304b\u3092\u6307\u5b9a\u3067\u304d\u308b<br \/>\n[ \u691c\u8a3c\u7de8 ]<br \/>\nproperty<br \/>\n&#8211; \u3084\u3063\u3066\u3044\u3044\u3053\u3068\u60aa\u3044\u3053\u3068\uff08\u7981\u6b62\u72b6\u614b\uff09\u3001\u3092\u8a18\u8ff0<\/p>\n","protected":false},"excerpt":{"rendered":"<p>&#8211; \u66d6\u6627\u306e\u306a\u3044\u8a00\u8a9e:- \u691c\u8a3c\u3092\u52b9\u7387\u5316 &#8211; \u9ad8\u5ea6\u62bd\u8c61\u5316: TLM (Transaction Level Modeling) \u69cb\u9020\u306e\u30b5\u30dd\u30fc\u30c8\u3002<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"activitypub_content_warning":"","activitypub_content_visibility":"","activitypub_max_image_attachments":4,"activitypub_interaction_policy_quote":"anyone","activitypub_status":"","footnotes":""},"categories":[10],"tags":[],"class_list":["post-1432","post","type-post","status-publish","format-standard","hentry","category-conference-logs"],"_links":{"self":[{"href":"https:\/\/yasu2.prosou.nu\/blog\/index.php\/wp-json\/wp\/v2\/posts\/1432","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/yasu2.prosou.nu\/blog\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/yasu2.prosou.nu\/blog\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/yasu2.prosou.nu\/blog\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/yasu2.prosou.nu\/blog\/index.php\/wp-json\/wp\/v2\/comments?post=1432"}],"version-history":[{"count":0,"href":"https:\/\/yasu2.prosou.nu\/blog\/index.php\/wp-json\/wp\/v2\/posts\/1432\/revisions"}],"wp:attachment":[{"href":"https:\/\/yasu2.prosou.nu\/blog\/index.php\/wp-json\/wp\/v2\/media?parent=1432"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/yasu2.prosou.nu\/blog\/index.php\/wp-json\/wp\/v2\/categories?post=1432"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/yasu2.prosou.nu\/blog\/index.php\/wp-json\/wp\/v2\/tags?post=1432"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}