{"id":255,"date":"2025-01-02T16:15:58","date_gmt":"2025-01-02T08:15:58","guid":{"rendered":"https:\/\/www.yewpo.top\/?p=255"},"modified":"2025-01-02T16:15:58","modified_gmt":"2025-01-02T08:15:58","slug":"performance-interface-for-hardware-accelerators-%e7%ac%94%e8%ae%b0","status":"publish","type":"post","link":"https:\/\/www.yewpo.top\/index.php\/255\/","title":{"rendered":"Performance Interface for Hardware Accelerators \u7b14\u8bb0"},"content":{"rendered":"<blockquote>\n<p>\u4f5c\u8005\u90fd\u6765\u81ea EPFL\uff0c24\u5e74\u7684 OSDI\u3002<\/p>\n<p>\u4e3b\u8981\u4ecb\u7ecd\u4e86\u4e00\u5957\u5de5\u4f5c\u6d41\u548c\u5de5\u5177 (ltc)\uff0c\u7528\u4e8e\u5206\u6790\u5df2\u6709\u7684\u52a0\u901f\u5668 RTL \u4ee3\u7801\uff0c\u5f97\u5230\u76f8\u5e94\u7684\u529f\u80fd\u3001\u6027\u80fd\u53c2\u6570\uff0c\u4ee5\u53ca\u751f\u6210\u76f8\u5e94\u7684\u6027\u80fd\u63a5\u53e3\u548c\u4eff\u771f\u4ee3\u7801\u3002<\/p>\n<\/blockquote>\n<h2 class=\"atx\" id=\"1-\u80cc\u666f\">1 \u80cc\u666f<\/h2>\n<p>\u673a\u5668\u5b66\u4e60\u3001\u89c6\u9891\u89e3\u6790\u3001\u538b\u7f29\u3001\u52a0\u5bc6\u7b49\u590d\u6742\u5e94\u7528\u5e7f\u6cdb\u5728\u6570\u636e\u4e2d\u5fc3\u548c\u79fb\u52a8\u8bbe\u5907\u4e0a\u4f7f\u7528\u3002\u4e3a\u4e86\u63d0\u5347\u8fd9\u4e9b\u4e13\u6709\u5e94\u7528\u7684\u901f\u5ea6\uff0c\u73b0\u4ee3\u7cfb\u7edf\u591a\u5c06\u8fd9\u4e9b\u529f\u80fd\u4e0b\u653e\u52a0\u901f\u5668\uff0c\u901a\u8fc7\u786c\u4ef6\u7684\u65b9\u5f0f\u63d0\u5347\u6574\u4f53\u6027\u80fd\u3002<\/p>\n<p>\u7136\u800c\uff0c\u7cfb\u7edf\u5f00\u53d1\u8005\u4eec\u5f88\u96be\u5145\u5206\u5730\u6b63\u786e\u5730\u4f7f\u7528\u52a0\u901f\u5668\uff0c\u539f\u56e0\u662f\u4ed6\u4eec\u4e0d\u80fd\u51c6\u786e\u5730\u4e86\u89e3\u52a0\u901f\u5668\u7684\u529f\u80fd\u548c\u76f8\u5e94\u7684\u6027\u80fd\u63d0\u5347\uff0c\u5bfc\u81f4\u4e0d\u80fd\u5728\u8f6f\u4ef6\u548c\u786c\u4ef6\u4e4b\u95f4\u53d6\u5f97\u5e94\u6709\u7684\u6027\u80fd\u5e73\u8861\u3002\u7cfb\u7edf\u5f00\u53d1\u8005\u53ef\u80fd\u4f1a\u9047\u5230\u4ee5\u4e0b\u56f0\u5883\uff1a<\/p>\n<ul>\n<li>\u5728\u7cfb\u7edf\u8bbe\u8ba1\u9636\u6bb5\uff0c\u4e0d\u6e05\u695a\u90a3\u4e9b\u529f\u80fd\u53ef\u4ee5\u4e0b\u653e\u52a0\u901f\u5668\u3002<\/li>\n<li>\u5728\u7cfb\u7edf\u5b9e\u73b0\u9636\u6bb5\uff0c\u4e0d\u77e5\u9053\u5982\u4f55\u9488\u5bf9\u52a0\u901f\u5668\u6709\u76ee\u7684\u6027\u7684\u4f18\u5316\u4ee3\u7801\u3002<\/li>\n<li>\u5728\u7cfb\u7edf\u90e8\u7f72\u9636\u6bb5\uff0c\u5982\u4f55\u4fdd\u8bc1\u6574\u4e2a\u7cfb\u7edf\u7684\u6027\u80fd\u8fbe\u5230\u8981\u6c42\u3002<\/li>\n<\/ul>\n<p>\u4e3a\u4e86\u89e3\u51b3\u8fd9\u4e9b\u95ee\u9898\uff0c\u9700\u8981\u4e00\u4e2a\u5de5\u5177\uff0c\u53ef\u89c6\u5316\u5730\u5c55\u793a\u52a0\u901f\u5668\u7684\u529f\u80fd\u548c\u6027\u80fd\u3002<\/p>\n<h2 class=\"atx\" id=\"2-\u8d21\u732e\">2 \u8d21\u732e<\/h2>\n<p>\u4e00\u5957\u5de5\u5177\u94fe (ltc)\uff0c\u57fa\u4e8e\u52a0\u901f\u5668\u7684 LPN (Latency Petri Net)\uff0c\u901a\u8fc7 lpn2pi \u5de5\u5177\uff0c\u751f\u6210\u6613\u4e8e\u7a0b\u5e8f\u5458\u7406\u89e3\u7684\u6027\u80fd\u63a5\u53e3 Python \u4ee3\u7801\uff1b\u901a\u8fc7 lpn2sim \u5de5\u5177\uff0c\u751f\u6210\u52a0\u901f\u5668\u7684 C++ \u4eff\u771f\u4ee3\u7801\uff1b\u901a\u8fc7 lpn2smt\uff0c\u751f\u6210 Z3 \u7684\u5f62\u5f0f\u5316\u9a8c\u8bc1\u6761\u4ef6\u3002\u6574\u4e2a\u5de5\u5177\u94fe\u7684\u6d41\u7a0b\u56fe\u5982\u4e0b\u6240\u793a\u3002<\/p>\n<p><img decoding=\"async\" alt=\"image-20250102111436950\" src=\"https:\/\/raw.githubusercontent.com\/YEWPO\/yewpoblogonlinePic\/main\/image-20250102111436950.png\"><\/p>\n<h2 class=\"atx\" id=\"3-latency-petri-net\">3 Latency Petri Net<\/h2>\n<p>\u6574\u4e2a\u5de5\u5177\u7684\u524d\u671f\u5de5\u4f5c\uff0c\u4e5f\u662f\u6700\u91cd\u8981\u7684\u4e00\u73af\uff0c\u5c06 RTL \u4ee3\u7801\u751f\u6210 LPN\u3002\u4ee5\u4e0b\u56fe\u4e3a\u4f8b\u3002<\/p>\n<p><img decoding=\"async\" alt=\"image-20250102111846117\" src=\"https:\/\/raw.githubusercontent.com\/YEWPO\/yewpoblogonlinePic\/main\/image-20250102111846117.png\"><\/p>\n<p>\u4e0a\u65b9\u662f\u7b80\u6613\u7684 RTL \u63cf\u8ff0\u56fe\uff0c\u4e0b\u65b9\u662f\u6700\u7ec8\u5206\u6790\u5f97\u5230\u7684 LPN\u3002\u8be5 RTL \u4ec5\u662f\u4e00\u4e2a\u7b80\u5355\u7684\u53d6\u503c\u548c\u8ba1\u7b97\u7684\u8fc7\u7a0b\u3002\u53d6\u6307\u6a21\u5757 (Fetch Instr) \u4ece\u5185\u5b58\u4e2d\u53d6\u51fa\u8ba1\u7b97\u6307\u4ee4\uff0c\u5c06\u5176\u5b58\u50a8\u5728 <span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.8889em;vertical-align:-0.1944em;\" class=\"strut\"><\/span><span style=\"margin-right:0.05017em;\" class=\"mord mathnormal\">B<\/span><span class=\"mord mathnormal\">u<\/span><span class=\"mord\"><span style=\"margin-right:0.10764em;\" class=\"mord mathnormal\">f<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span style=\"height:0.3283em;\" class=\"vlist\"><span style=\"top:-2.55em;margin-left:-0.1076em;margin-right:0.05em;\"><span style=\"height:2.7em;\" class=\"pstrut\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span style=\"margin-right:0.07847em;\" class=\"mord mathnormal mtight\">I<\/span><span class=\"mord mathnormal mtight\">n<\/span><span class=\"mord mathnormal mtight\">s<\/span><span class=\"mord mathnormal mtight\">t<\/span><span style=\"margin-right:0.02778em;\" class=\"mord mathnormal mtight\">r<\/span><\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span style=\"height:0.15em;\" class=\"vlist\"><span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> \u961f\u5217\u4e2d\uff1b\u7136\u540e\uff0c\u5185\u5b58\u5355\u5143 (Mem) \u6216\u8005\u662f\u8ba1\u7b97\u5355\u5143 (Compute) \u4ece\u6307\u4ee4\u961f\u5217\u4e2d\u53d6\u51fa\u6307\u4ee4\u5e76\u5b58\u653e\u5728\u5185\u5b58\u6a21\u5757\u5bc4\u5b58\u5668 (<span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.8333em;vertical-align:-0.15em;\" class=\"strut\"><\/span><span class=\"mord\"><span style=\"margin-right:0.00773em;\" class=\"mord mathnormal\">R<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span style=\"height:0.1514em;\" class=\"vlist\"><span style=\"top:-2.55em;margin-left:-0.0077em;margin-right:0.05em;\"><span style=\"height:2.7em;\" class=\"pstrut\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mathnormal mtight\">m<\/span><span class=\"mord mathnormal mtight\">e<\/span><span class=\"mord mathnormal mtight\">m<\/span><\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span style=\"height:0.15em;\" class=\"vlist\"><span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span>) \u6216\u8005\u662f\u8ba1\u7b97\u6a21\u5757\u7684\u5bc4\u5b58\u5668 (<span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.9694em;vertical-align:-0.2861em;\" class=\"strut\"><\/span><span class=\"mord\"><span style=\"margin-right:0.00773em;\" class=\"mord mathnormal\">R<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span style=\"height:0.2806em;\" class=\"vlist\"><span style=\"top:-2.55em;margin-left:-0.0077em;margin-right:0.05em;\"><span style=\"height:2.7em;\" class=\"pstrut\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mathnormal mtight\">co<\/span><span class=\"mord mathnormal mtight\">m<\/span><span class=\"mord mathnormal mtight\">p<\/span><span class=\"mord mathnormal mtight\">u<\/span><span class=\"mord mathnormal mtight\">t<\/span><span class=\"mord mathnormal mtight\">e<\/span><\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span style=\"height:0.2861em;\" class=\"vlist\"><span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span>) \u4e2d\u3002<\/p>\n<p>\u8bba\u6587\u5047\u8bbe\uff0c\u5185\u5b58\u6a21\u5757\u548c\u8ba1\u7b97\u6a21\u5757\u7684\u53d8\u91cf\u5ef6\u8fdf\u5206\u522b\u4e3a <span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.8444em;vertical-align:-0.15em;\" class=\"strut\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\">d<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span style=\"height:0.1514em;\" class=\"vlist\"><span style=\"top:-2.55em;margin-left:0em;margin-right:0.05em;\"><span style=\"height:2.7em;\" class=\"pstrut\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mathnormal mtight\">m<\/span><span class=\"mord mathnormal mtight\">e<\/span><span class=\"mord mathnormal mtight\">m<\/span><\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span style=\"height:0.15em;\" class=\"vlist\"><span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> \u548c <span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.9805em;vertical-align:-0.2861em;\" class=\"strut\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\">d<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span style=\"height:0.1514em;\" class=\"vlist\"><span style=\"top:-2.55em;margin-left:0em;margin-right:0.05em;\"><span style=\"height:2.7em;\" class=\"pstrut\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mathnormal mtight\">co<\/span><span class=\"mord mathnormal mtight\">m<\/span><span class=\"mord mathnormal mtight\">p<\/span><\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span style=\"height:0.2861em;\" class=\"vlist\"><span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span>\uff0c\u5185\u5b58\u53d6\u6307\u7684\u5ef6\u8fdf\u4e3a20\u4e2a\u65f6\u949f\u5468\u671f\uff08\u540c\u65f6\u53d64\u6761\u6307\u4ee4\uff09\uff1b\u6307\u4ee4\u961f\u5217\u7684\u5927\u5c0f\u4e3a8\u3002LPN \u6709\u4e24\u4e2a\u5143\u7d20\uff0c\u8282\u70b9 (Places\uff0c\u5706\u5f62\u8868\u793a) \u548c\u8f6c\u6362 (transitions, \u77e9\u5f62\u8868\u793a)\uff0c\u6bcf\u6761\u8fb9\u53ea\u80fd\u8fde\u63a5\u4e00\u4e2a\u8282\u70b9\u548c\u4e00\u4e2a\u8f6c\u6362\u3002<strong>\u6bcf\u4e2a\u8f6c\u6362\u90fd\u6709\u4e00\u4e2a\u5b88\u536b (guard)\uff0c\u51b3\u5b9a\u662f\u5426\u89e6\u53d1\u8f6c\u6362<\/strong>\u3002<\/p>\n<h3 class=\"atx\" id=\"31-lpn-\u5b9a\u4e49\">3.1 LPN \u5b9a\u4e49<\/h3>\n<p>LPN \u5c06\u8282\u70b9 (places) \u5b9a\u4e49\u4e3a\u961f\u5217\uff0c\u5c06\u8f6c\u6362 (transitions) \u5b9a\u4e49\u4e3a\u903b\u8f91\u5355\u5143\u3002LPN \u6709\u4e09\u4e2a\u7c7b\u578b\u5b9a\u4e49\uff1a<\/p>\n<ul>\n<li>LPN \u72b6\u6001 (state)\uff1a<span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.6833em;\" class=\"strut\"><\/span><span style=\"margin-right:0.05764em;\" class=\"mord mathnormal\">S<\/span><span style=\"margin-right:0.2778em;\" class=\"mspace\"><\/span><span class=\"mrel\">=<\/span><span style=\"margin-right:0.2778em;\" class=\"mspace\"><\/span><\/span><span class=\"base\"><span style=\"height:1em;vertical-align:-0.25em;\" class=\"strut\"><\/span><span class=\"mopen\">((<\/span><span class=\"mord\"><span class=\"mord mathnormal\">s<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span style=\"height:0.3011em;\" class=\"vlist\"><span style=\"top:-2.55em;margin-left:0em;margin-right:0.05em;\"><span style=\"height:2.7em;\" class=\"pstrut\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">1<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span style=\"height:0.15em;\" class=\"vlist\"><span><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"mpunct\">,<\/span><span style=\"margin-right:0.1667em;\" class=\"mspace\"><\/span><span class=\"minner\">\u2026<\/span><span style=\"margin-right:0.1667em;\" class=\"mspace\"><\/span><span class=\"mpunct\">,<\/span><span style=\"margin-right:0.1667em;\" class=\"mspace\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\">s<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span style=\"height:0.1514em;\" class=\"vlist\"><span style=\"top:-2.55em;margin-left:0em;margin-right:0.05em;\"><span style=\"height:2.7em;\" class=\"pstrut\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathnormal mtight\">n<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span style=\"height:0.15em;\" class=\"vlist\"><span><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"mclose\">)<\/span><span class=\"mpunct\">,<\/span><span style=\"margin-right:0.1667em;\" class=\"mspace\"><\/span><span class=\"mord mathnormal\">t<\/span><span class=\"mclose\">)<\/span><\/span><\/span><\/span>\uff0c\u4e3a\u4e00\u4e2a\u5143\u7ec4\u3002<span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:1em;vertical-align:-0.25em;\" class=\"strut\"><\/span><span class=\"mopen\">(<\/span><span class=\"mord\"><span class=\"mord mathnormal\">s<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span style=\"height:0.3011em;\" class=\"vlist\"><span style=\"top:-2.55em;margin-left:0em;margin-right:0.05em;\"><span style=\"height:2.7em;\" class=\"pstrut\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">1<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span style=\"height:0.15em;\" class=\"vlist\"><span><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"mpunct\">,<\/span><span style=\"margin-right:0.1667em;\" class=\"mspace\"><\/span><span class=\"minner\">\u2026<\/span><span style=\"margin-right:0.1667em;\" class=\"mspace\"><\/span><span class=\"mpunct\">,<\/span><span style=\"margin-right:0.1667em;\" class=\"mspace\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\">s<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span style=\"height:0.1514em;\" class=\"vlist\"><span style=\"top:-2.55em;margin-left:0em;margin-right:0.05em;\"><span style=\"height:2.7em;\" class=\"pstrut\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathnormal mtight\">n<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span style=\"height:0.15em;\" class=\"vlist\"><span><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"mclose\">)<\/span><\/span><\/span><\/span> \u662f\u6240\u6709\u8282\u70b9 <span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:1em;vertical-align:-0.25em;\" class=\"strut\"><\/span><span class=\"mopen\">(<\/span><span class=\"mord\"><span style=\"margin-right:0.13889em;\" class=\"mord mathnormal\">P<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span style=\"height:0.3011em;\" class=\"vlist\"><span style=\"top:-2.55em;margin-left:-0.1389em;margin-right:0.05em;\"><span style=\"height:2.7em;\" class=\"pstrut\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">1<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span style=\"height:0.15em;\" class=\"vlist\"><span><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"mpunct\">,<\/span><span style=\"margin-right:0.1667em;\" class=\"mspace\"><\/span><span class=\"minner\">\u2026<\/span><span style=\"margin-right:0.1667em;\" class=\"mspace\"><\/span><span class=\"mpunct\">,<\/span><span style=\"margin-right:0.1667em;\" class=\"mspace\"><\/span><span class=\"mord\"><span style=\"margin-right:0.13889em;\" class=\"mord mathnormal\">P<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span style=\"height:0.1514em;\" class=\"vlist\"><span style=\"top:-2.55em;margin-left:-0.1389em;margin-right:0.05em;\"><span style=\"height:2.7em;\" class=\"pstrut\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathnormal mtight\">n<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span style=\"height:0.15em;\" class=\"vlist\"><span><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"mclose\">)<\/span><\/span><\/span><\/span> \u5728\u6267\u884c\u4e2d\u7684\u4fe1\u606f (tokens)\uff1bt \u8868\u793a\u5f53\u524d\u7684\u65f6\u949f\u503c (CLK)\u3002<\/li>\n<li>LPN \u4fe1\u606f (token): <span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.6833em;\" class=\"strut\"><\/span><span style=\"margin-right:0.07153em;\" class=\"mord mathnormal\">K<\/span><span style=\"margin-right:0.2778em;\" class=\"mspace\"><\/span><span class=\"mrel\">=<\/span><span style=\"margin-right:0.2778em;\" class=\"mspace\"><\/span><\/span><span class=\"base\"><span style=\"height:1em;vertical-align:-0.25em;\" class=\"strut\"><\/span><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\">p<\/span><span class=\"mpunct\">,<\/span><span style=\"margin-right:0.1667em;\" class=\"mspace\"><\/span><span class=\"mord mathnormal\">t<\/span><span class=\"mord mathnormal\">s<\/span><span class=\"mclose\">)<\/span><\/span><\/span><\/span>\uff0c\u662f\u4e00\u7ec4\u952e\u503c\u5bf9\u6620\u5c04\uff0cp \u4e3a\u5c5e\u6027\u503c\u6216\u8005\u7406\u89e3\u4e3a\u53c2\u6570\uff0cts \u8868\u793a\u4e00\u4e2a\u65f6\u95f4\u6233\u3002<\/li>\n<li>LPN \u8f6c\u6362 (transition)\uff1a<span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.6833em;\" class=\"strut\"><\/span><span style=\"margin-right:0.13889em;\" class=\"mord mathnormal\">T<\/span><span style=\"margin-right:0.2778em;\" class=\"mspace\"><\/span><span class=\"mrel\">=<\/span><span style=\"margin-right:0.2778em;\" class=\"mspace\"><\/span><\/span><span class=\"base\"><span style=\"height:1em;vertical-align:-0.25em;\" class=\"strut\"><\/span><span class=\"mopen\">(<\/span><span style=\"margin-right:0.05556em;\" class=\"mord mathnormal\">\u03b3<\/span><span class=\"mpunct\">,<\/span><span style=\"margin-right:0.1667em;\" class=\"mspace\"><\/span><span style=\"margin-right:0.03785em;\" class=\"mord mathnormal\">\u03b4<\/span><span class=\"mpunct\">,<\/span><span style=\"margin-right:0.1667em;\" class=\"mspace\"><\/span><span style=\"margin-right:0.03588em;\" class=\"mord mathnormal\">\u03c0<\/span><span class=\"mclose\">)<\/span><\/span><\/span><\/span>\uff0c\u662f\u4e00\u4e2a\u5143\u7ec4\u3002<span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.625em;vertical-align:-0.1944em;\" class=\"strut\"><\/span><span style=\"margin-right:0.05556em;\" class=\"mord mathnormal\">\u03b3<\/span><\/span><\/span><\/span> \u8868\u793a\u8f6c\u6362\u7684\u5b88\u536b\uff1b<span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.6944em;\" class=\"strut\"><\/span><span style=\"margin-right:0.03785em;\" class=\"mord mathnormal\">\u03b4<\/span><\/span><\/span><\/span> \u8868\u793a\u8f6c\u6362\u7684\u5ef6\u8fdf\uff1b<span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.4306em;\" class=\"strut\"><\/span><span style=\"margin-right:0.03588em;\" class=\"mord mathnormal\">\u03c0<\/span><\/span><\/span><\/span> \u8868\u793a\u8868\u793a\u8f6c\u6362\u7684\u529f\u80fd\u3002<\/li>\n<\/ul>\n<p><span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.8778em;vertical-align:-0.1944em;\" class=\"strut\"><\/span><span style=\"margin-right:0.13889em;\" class=\"mord mathnormal\">T<\/span><span class=\"mord\">.<\/span><span style=\"margin-right:0.05556em;\" class=\"mord mathnormal\">\u03b3<\/span><\/span><\/span><\/span> \u4f1a\u8bfb\u53d6\u8f93\u5165\u8282\u70b9 (Places) \u4fe1\u606f\uff0c\u5982\u679c\u6ca1\u6709\u8fbe\u5230\u8fd0\u884c\u6761\u4ef6\uff0c\u5c31\u4f1a\u8fd4\u56de\u672a\u51c6\u5907\u597d (NotReady)\uff1b\u5982\u679c\u8fbe\u5230\u4e86\u8fd0\u884c\u6761\u4ef6\uff0c\u5c31\u4f1a\u8fd4\u56de\u4f7f\u80fd (Enable)\uff08\u4e3a\u4e86\u9632\u6b62\u6761\u4ef6\u7ade\u4e89\uff0c\u4e0d\u4f1a\u540c\u65f6\u6709\u4e24\u4e2a\u8f6c\u6362\u88ab\u4f7f\u80fd\uff09\u3002\u5373\u4f7f\u8fdb\u5165\u4e86\u4f7f\u80fd\uff0c\u4e5f\u4e0d\u80fd\u7acb\u523b\u6267\u884c\u8f6c\u6362\uff0c\u9700\u8981\u7b49\u5f85\u4e00\u5b9a\u7684\u5ef6\u8fdf\u5468\u671f (<span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.6944em;\" class=\"strut\"><\/span><span style=\"margin-right:0.13889em;\" class=\"mord mathnormal\">T<\/span><span class=\"mord\">.<\/span><span style=\"margin-right:0.03785em;\" class=\"mord mathnormal\">\u03b4<\/span><\/span><\/span><\/span>)\u3002<span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.6833em;\" class=\"strut\"><\/span><span style=\"margin-right:0.13889em;\" class=\"mord mathnormal\">T<\/span><span class=\"mord\">.<\/span><span style=\"margin-right:0.03588em;\" class=\"mord mathnormal\">\u03c0<\/span><\/span><\/span><\/span> \u5c06\u8f93\u5165\u8282\u70b9 (input place) \u7684\u4fe1\u606f (token) \u8fdb\u884c\u529f\u80fd\u5904\u7406\uff0c\u4ea7\u751f\u65b0\u7684\u4fe1\u606f (token) \u5e76\u4f20\u9012\u7ed9\u8f93\u51fa\u8282\u70b9 (output place)\uff0c\u5373 <span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.6833em;\" class=\"strut\"><\/span><span style=\"margin-right:0.05764em;\" class=\"mord mathnormal\">S<\/span><span style=\"margin-right:0.2778em;\" class=\"mspace\"><\/span><span class=\"mrel\">\u2192<\/span><span style=\"margin-right:0.2778em;\" class=\"mspace\"><\/span><\/span><span class=\"base\"><span style=\"height:0.7519em;\" class=\"strut\"><\/span><span class=\"mord\"><span style=\"margin-right:0.05764em;\" class=\"mord mathnormal\">S<\/span><span class=\"msupsub\"><span class=\"vlist-t\"><span class=\"vlist-r\"><span style=\"height:0.7519em;\" class=\"vlist\"><span style=\"top:-3.063em;margin-right:0.05em;\"><span style=\"height:2.7em;\" class=\"pstrut\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mtight\">\u2032<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span>\u3002<\/p>\n<h3 class=\"atx\" id=\"32-rtl-\u8f6c\u6362\u4e3a-lpn\">3.2 RTL \u8f6c\u6362\u4e3a LPN<\/h3>\n<p>\u5c06 RTL \u8f6c\u6362\u4e3a LPN\uff0c\u9700\u8981\u8fdb\u884c\u4ee5\u4e0b5\u4e2a\u6b65\u9aa4\uff1a<\/p>\n<ul>\n<li>\n<p>\u5c06\u5185\u5b58\u548c\u5bc4\u5b58\u5668\u90fd\u66ff\u6362\u6210\u8282\u70b9 (place)\uff0c\u5c06\u903b\u8f91\u5355\u5143\u66ff\u6362\u6210\u8f6c\u6362 (transition)\u3002<\/p>\n<\/li>\n<li>\n<p>\u5b9a\u4e49\u5b88\u536b (guard) \u548c\u76f8\u5e94\u7684\u8fdb\u5165\u6761\u4ef6 <span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.625em;vertical-align:-0.1944em;\" class=\"strut\"><\/span><span style=\"margin-right:0.05556em;\" class=\"mord mathnormal\">\u03b3<\/span><\/span><\/span><\/span>\u3002<\/p>\n<\/li>\n<li>\n<p>\u89c4\u5b9a\u6bcf\u4e2a\u8f6c\u6362\u7684\u5ef6\u8fdf <span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.6944em;\" class=\"strut\"><\/span><span style=\"margin-right:0.03785em;\" class=\"mord mathnormal\">\u03b4<\/span><\/span><\/span><\/span> \u548c\u751f\u4ea7\u8005\u529f\u80fd <span class=\"katex\"><span class=\"katex-mathml\"><\/span><span aria-hidden=\"true\" class=\"katex-html\"><span class=\"base\"><span style=\"height:0.4306em;\" class=\"strut\"><\/span><span style=\"margin-right:0.03588em;\" class=\"mord mathnormal\">\u03c0<\/span><\/span><\/span><\/span>\u3002<\/p>\n<\/li>\n<li>\n<p>\u5904\u7406\u4e00\u4e9b\u7279\u6b8a\u7684\u5355\u5143\u6a21\u5757\uff0c\u4f8b\u5982\u5185\u5b58\u3002<\/p>\n<\/li>\n<li>\n<p>\u6dfb\u52a0\u8d77\u59cb\u548c\u7ed3\u675f\u8282\u70b9\uff0c\u5e76\u8bbe\u7f6e\u76f8\u5e94\u7684\u8d77\u59cb\u4fe1\u606f (token)\u3002<\/p>\n<\/li>\n<\/ul>\n<h2 class=\"atx\" id=\"4-\u603b\u7ed3\">4 \u603b\u7ed3<\/h2>\n<p>\u8be5\u8bba\u6587\u91cd\u70b9\u4ecb\u7ecd\u4e86\u53d7 Petri Net \u542f\u53d1\u800c\u8bbe\u8ba1\u7684 Latency Petri Net\uff0c\u53ef\u4ee5\u5c06\u52a0\u901f\u5668\u7684 RTL \u7684\u4ee3\u7801\u8f6c\u5316\u6210\u51e0\u4e4e\u7b49\u4ef7\u7684\u4e2d\u95f4\u8868\u793a\u5f62\u5f0f LPN\uff0c\u5e76\u53ef\u4ee5\u901a\u8fc73\u4e2a\u5de5\u5177 lpn2pi \/ lpn2sim \/ lpn2smt \u5c06 LPN \u89e3\u6790\u6210\u7cfb\u7edf\u5f00\u53d1\u8005\u6613\u4e8e\u7406\u89e3\u7684\u5f62\u5f0f\u3002\u867d\u7136\u8be5\u5de5\u5177\u4e0d\u80fd\u5e94\u7528\u4e8e\u590d\u6742\u7684\u5185\u5b58\u7cfb\u7edf\u548c\u7f13\u5b58\u673a\u5236\u7684\u76f8\u5173\u786c\u4ef6\u7cfb\u7edf\uff0c\u4f46\u5bf9\u4e8e\u52a0\u901f\u5668\u7684\u5206\u6790\u8fd8\u662f\u8db3\u591f\u4f7f\u7528\u7684\u3002\u901a\u8fc7\u5b9e\u9a8c\uff0c\u4e5f\u8bc1\u660e\u4e86\u8be5\u5de5\u5177\u53ef\u4ee5\u6781\u5927\u5730\u63d0\u9ad8\u7cfb\u7edf\u5f00\u53d1\u8005\u7684\u5f00\u53d1\u548c\u8bbe\u8ba1\u6548\u7387\uff0c\u5145\u5206\u5730\u5229\u7528\u52a0\u901f\u5668\u6240\u5e26\u6765\u7684\u4f18\u52bf\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Performance Interface for Hardware Accelerators \u8bba\u6587\u9605\u8bfb\u7b14\u8bb0\u3002<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6],"tags":[],"class_list":["post-255","post","type-post","status-publish","format-standard","hentry","category-paper"],"_links":{"self":[{"href":"https:\/\/www.yewpo.top\/index.php\/wp-json\/wp\/v2\/posts\/255","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.yewpo.top\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.yewpo.top\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.yewpo.top\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.yewpo.top\/index.php\/wp-json\/wp\/v2\/comments?post=255"}],"version-history":[{"count":0,"href":"https:\/\/www.yewpo.top\/index.php\/wp-json\/wp\/v2\/posts\/255\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.yewpo.top\/index.php\/wp-json\/wp\/v2\/media?parent=255"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.yewpo.top\/index.php\/wp-json\/wp\/v2\/categories?post=255"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.yewpo.top\/index.php\/wp-json\/wp\/v2\/tags?post=255"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}