{"id":45109,"date":"2015-09-16T15:59:23","date_gmt":"2015-09-16T01:59:23","guid":{"rendered":"http:\/\/www.irantahgig.ir\/?p=45109"},"modified":"2015-09-16T15:59:23","modified_gmt":"2015-09-16T01:59:23","slug":"%d9%85%d8%b3%d8%a7%d8%a6%d9%84-%d9%85%d8%b1%d8%aa%d8%a8%d8%b7-%d8%a8%d9%87-%d9%85%d8%af%d9%84-%d8%b3%d8%a7%d8%b2%db%8c-%d8%aa%d8%a7%db%8c%db%8c%d8%af-%d8%b3%d8%ae%d8%aa-%d8%a7%d9%81%d8%b2%d8%a7%d8%b1","status":"publish","type":"post","link":"http:\/\/www.irantahgig.ir\/?p=45109","title":{"rendered":"\u0645\u0633\u0627\u0626\u0644 \u0645\u0631\u062a\u0628\u0637 \u0628\u0647 \u0645\u062f\u0644 \u0633\u0627\u0632\u06cc \u062a\u0627\u06cc\u06cc\u062f \u0633\u062e\u062a \u0627\u0641\u0632\u0627\u0631\u06cc \u062f\u0631 \u0632\u0628\u0627\u0646 \u0628\u0631\u0646\u0627\u0645\u0647 \u0646\u0648\u06cc\u0633\u06cc \u0627\u0644\u06a9\u062a\u0631\u0648\u0646\u06cc\u06a9"},"content":{"rendered":"

Modelling hardware verification concerns specified in the e language: an experience report<\/span><\/p>\n

\u062a\u0627\u0631\u06cc\u062e:<\/strong> \u06f2\u06f0\u06f0\u06f9<\/span><\/p>\n

\u067e\u0627\u06cc\u06af\u0627\u0647:<\/strong> ACM<\/span><\/span><\/p>\n

\u0644\u06cc\u0646\u06a9 \u062f\u0627\u0646\u0644\u0648\u062f \u0627\u0635\u0644 \u0645\u0642\u0627\u0644\u0647<\/a><\/span><\/p>\n

\"OK\"<\/span><\/p>\n

\t

\n\n\t\t\n\t\t
\n\t\t\t150,000 \u0631\u06cc\u0627\u0644 – \u0627\u0636\u0627\u0641\u0647 \u06a9\u0631\u062f\u0646 \u0628\u0647 \u0633\u0628\u062f \u062e\u0631\u06cc\u062f<\/span> <\/span><\/a>\u0646\u0647\u0627\u06cc\u06cc \u06a9\u0631\u062f\u0646 \u062e\u0631\u06cc\u062f<\/a>\n\t\t\t\t\t\t\t\n\t\t\t\t\t\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t\n\t\t\t\t\t\t<\/svg>\n\t\t\t\t\t\t\u0645\u0648\u0631\u062f \u0628\u0647 \u0633\u0628\u062f \u062e\u0631\u06cc\u062f \u0627\u0636\u0627\u0641\u0647 \u0634\u062f\t\t\t\t\t<\/span>\n\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\n\t\t

<\/span><\/p>\n

\u0646\u0627\u0645 \u0645\u062c\u0644\u0647:\u00a0<\/strong>In Proceedings of the 8th ACM international conference on Aspect-oriented software development<\/span><\/span><\/p>\n

\u0642\u06cc\u0645\u062a:<\/strong> \u06f1\u06f5\u06f0,\u06f0\u06f0\u06f0 \u0631\u06cc\u0627\u0644<\/span><\/p>\n

\u062a\u0639\u062f\u0627\u062f \u0635\u0641\u062d\u0627\u062a \u0627\u0646\u06af\u0644\u06cc\u0633\u06cc:<\/strong> \u06f6<\/span><\/p>\n

\u062a\u0639\u062f\u0627\u062f \u0635\u0641\u062d\u0627\u062a \u0641\u0627\u0631\u0633\u06cc:<\/strong> \u06f1\u06f5<\/span><\/p>\n

\u06a9\u062f: <\/strong>\u06f5\u06f5\u06f0\u06f4\u06f1<\/span><\/p>\n

\u0686\u06a9\u06cc\u062f\u0647 \u0641\u0627\u0631\u0633\u06cc<\/span><\/h3>\n

\u0632\u0628\u0627\u0646 \u0627\u0644\u06a9\u062a\u0631\u0648\u0646\u06cc\u06a9 (\u0632\u0628\u0627\u0646 \u0628\u0631\u0646\u0627\u0645\u0647 \u0646\u0648\u06cc\u0633\u06cc e) \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0632\u0628\u0627\u0646 \u0627\u062b\u0628\u0627\u062a \u0634\u062f\u0647 \u0633\u062e\u062a\u200c\u0627\u0641\u0632\u0627\u0631\u06cc \u0645\u06cc\u200c\u0628\u0627\u0634\u062f \u06a9\u0647 \u0628\u0647 \u0635\u0648\u0631\u062a \u06af\u0633\u062a\u0631\u062f\u0647\u200c\u0627\u06cc \u0628\u0631\u0627\u06cc \u0645\u0634\u062e\u0635 \u06a9\u0631\u062f\u0646 \u0637\u0631\u062d\u200c\u0647\u0627\u06cc \u062c\u0631\u06cc\u0627\u0646\u0627\u062a \u0627\u0644\u06a9\u062a\u0631\u0648\u0646\u06cc\u06a9\u06cc \u0627\u0632 \u0637\u0631\u06cc\u0642 \u062a\u0648\u0633\u0639\u0647 \u0648 \u0627\u062c\u0631\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u060c \u0645\u0648\u0631\u062f \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0642\u0631\u0627\u0631 \u0645\u06cc\u200c\u06af\u06cc\u0631\u062f. \u062f\u0631 \u0633\u0627\u0644\u200c\u0647\u0627\u06cc \u0627\u062e\u06cc\u0631\u060c \u0631\u0634\u062f \u0645\u0633\u062a\u0645\u0631 \u0627\u06cc\u0646 \u062a\u0633\u062a\u200c\u0647\u0627 \u062f\u0631 \u0641\u0646\u0627\u0648\u0631\u06cc \u0627\u0637\u0644\u0627\u0639\u0627\u062a \u0628\u0627\u0639\u062b \u0627\u06cc\u062c\u0627\u062f \u0645\u0634\u06a9\u0644\u0627\u062a\u06cc \u062f\u0631 \u062f\u0631\u06a9\u060c \u062d\u0641\u0638 \u0648 \u06af\u0633\u062a\u0631\u0634 \u0622\u0646\u200c\u0647\u0627 \u0634\u062f\u0647 \u0627\u0633\u062a. \u062f\u0631 \u0646\u062a\u06cc\u062c\u0647 \u062a\u0635\u0645\u06cc\u0645\u0627\u062a\u06cc \u0628\u0631\u0627\u06cc \u0645\u0633\u062a\u0646\u062f \u0633\u0627\u062e\u062a\u0646 \u0627\u06cc\u0646 \u062a\u0633\u062a\u200c\u0647\u0627 \u062f\u0631 \u0633\u0637\u062d \u0628\u0627\u0644\u0627\u062a\u0631 \u06af\u0631\u0641\u062a\u0647 \u0634\u062f\u0647 \u0627\u0633\u062a. \u0628\u0631 \u0627\u06cc\u0646 \u0627\u0633\u0627\u0633\u060c \u062a\u0644\u0627\u0634\u06cc \u0631\u0627 \u0628\u0647 \u0645\u0646\u0638\u0648\u0631 \u0627\u06cc\u062c\u0627\u062f \u062a\u0637\u0628\u06cc\u0642 \u0628\u0627 \u0631\u0648\u06cc\u06a9\u0631\u062f\u0647\u0627\u06cc \u0645\u062f\u0644\u200c\u0633\u0627\u0632\u06cc \u062c\u0646\u0628\u0647\u200c\u06af\u0631\u0627 \u06a9\u0646\u0648\u0646\u06cc\u060c \u0627\u0646\u062c\u0627\u0645 \u0645\u06cc\u200c\u062f\u0647\u06cc\u0645. \u062f\u0631 \u0627\u06cc\u0646 \u0645\u0642\u0627\u0644\u0647\u060c \u062a\u062c\u0627\u0631\u0628 \u062e\u0648\u062f \u0631\u0627 \u062f\u0631 \u0627\u0631\u062a\u0628\u0627\u0637 \u0628\u0627 \u06a9\u0627\u0631\u0628\u0631\u062f \u0627\u06cc\u0646 \u062f\u0631\u0648\u0646 \u0645\u0627\u06cc\u0647\/ \u0632\u0628\u0627\u0646\u200c\u0647\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u06cc\u06a9\u067e\u0627\u0631\u0686\u0647 \u06a9\u0647 \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u06cc\u06a9 \u0631\u0648\u06cc\u06a9\u0631\u062f \u062c\u0646\u0628\u0647\u200c\u06af\u0631\u0627 \u0645\u06cc\u200c\u0628\u0627\u0634\u062f\u060c \u062f\u0631 \u0627\u0631\u0627\u0626\u0647 \u062a\u0633\u062a\u200c\u0647\u0627\u06cc \u062c\u0646\u0628\u0647\u200c\u06af\u0631\u0627 \u06a9\u0647 \u062f\u0631 \u0632\u0628\u0627\u0646 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc e\u060c \u0645\u062f \u0646\u0638\u0631 \u0642\u0631\u0627\u0631 \u0645\u06cc\u200c\u062f\u0647\u06cc\u0645. \u0645\u0634\u062e\u0635 \u0634\u062f\u0647 \u0627\u0633\u062a \u06a9\u0647 \u0645\u0641\u0627\u0647\u06cc\u0645 \u062c\u0646\u0628\u0647\u200c\u06af\u0631\u0627 \u06a9\u0647 \u062a\u0648\u0633\u0637 \u0645\u0648\u0636\u0648\u0639\u0627\u062a\/\u0632\u0628\u0627\u0646\u200c\u0647\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u06cc\u06a9\u067e\u0627\u0631\u0686\u0647 \u0645\u0648\u0631\u062f \u062d\u0645\u0627\u06cc\u062a \u0642\u0631\u0627\u0631 \u0645\u06cc\u200c\u06af\u06cc\u0631\u0646\u062f\u060c \u0628\u0631\u0627\u06cc \u0628\u0647 \u0627\u0631\u0627\u0626\u0647 \u0632\u0628\u0627\u0646 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc e \u0628\u0647 \u062f\u0644\u06cc\u0644 \u067e\u0648\u06cc\u0627 \u0628\u0648\u062f\u0646 \u0627\u06cc\u0646 \u0632\u0628\u0627\u0646 \u0648 \u0645\u0627\u0647\u06cc\u062a \u0632\u0645\u0627\u0646\u06cc \u0622\u0646\u060c \u0645\u0646\u0627\u0633\u0628 \u0646\u0645\u06cc\u200c\u0628\u0627\u0634\u0646\u062f. \u0628\u0631 \u0645\u0628\u0646\u0627\u06cc \u0686\u0646\u06cc\u0646 \u062a\u062c\u0631\u0628\u06cc\u0627\u062a\u06cc\u060c \u0645\u0627 \u0645\u062c\u0645\u0648\u0639\u0647\u200c\u0627\u06cc \u0627\u0632 \u0634\u0631\u0627\u06cc\u0637\u06cc \u0631\u0627 \u0645\u0637\u0631\u062d \u0645\u06cc\u200c\u06a9\u0646\u06cc\u0645 \u06a9\u0647 \u0645\u06cc\u200c\u0628\u0627\u06cc\u0633\u062a \u0642\u0628\u0644 \u0627\u0632 \u0631\u0648\u06cc\u06a9\u0631\u062f\u0647\u0627\u06cc \u0637\u0631\u0627\u062d\u06cc \u062c\u0646\u0628\u0647\u200c\u06af\u0631\u0627 \u0647\u0645\u0627\u0646\u0646\u062f \u0645\u0648\u0636\u0648\u0639\u0627\u062a \u0648 \u0632\u0628\u0627\u0646\u200c\u0647\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u06cc\u06a9\u067e\u0627\u0631\u0686\u0647 \u06a9\u0647 \u062f\u0627\u0631\u0627\u06cc \u0642\u0627\u0628\u0644\u06cc\u062a \u0639\u0631\u0636\u0647 \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u062c\u0646\u0628\u0647 \u06af\u0631\u0627 \u062f\u0631 \u0632\u0628\u0627\u0646 e \u0645\u06cc\u200c\u0628\u0627\u0634\u0646\u062f\u060c \u0645\u062f \u0646\u0638\u0631 \u0642\u0631\u0627\u0631 \u0645\u06cc\u200c\u062f\u0647\u06cc\u0645.<\/span><\/p>\n

\u0686\u06a9\u06cc\u062f\u0647 \u0627\u0646\u06af\u0644\u06cc\u0633\u06cc<\/span><\/h3>\n

e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In recent years, the continued growth of the testbenches developed at Infineon Technologies has resulted in their becoming difficult to understand, maintain and extend. Consequently, a decision was taken to document the testbenches at a higher level of abstraction. Accordingly, we attempted to model our legacy test suites with an existing aspect-oriented modelling approach. In this paper we describe our experience of applying Theme\/UML, an aspect-oriented modelling approach, to the representation of aspect-oriented testbenches implemented in e. It emerged that the common aspect-oriented concepts supported by Theme\/UML were not sufficient to adequately represent the e language, primarily due to e’s dynamic, temporal nature. Based on this experience we propose a number of requirements that must be addressed before aspect-oriented modelling approaches such as Theme\/UML are capable of representing aspect-oriented systems implemented in e<\/span><\/p>\n

\u0645\u0634\u062e\u0635\u0627\u062a \u0627\u0633\u062a\u0646\u0627\u062f\u06cc<\/strong><\/span><\/h3>\n

Galpin, D., Driver, C., & Clarke, S. (2009, March). Modelling hardware verification concerns specified in the e language: an experience report. In Proceedings of the 8th ACM international conference on Aspect-oriented software development (pp. 207-212). ACM<\/span><\/p>\n

\u062f\u0627\u0646\u0644\u0648\u062f \u0627\u0635\u0644 \u0645\u0642\u0627\u0644\u0647<\/span><\/h3>\n

\"10002icon\"<\/a>\u0648\u06cc\u0698\u06af\u06cc\u200c\u0647\u0627\u06cc \u0645\u0642\u0627\u0644\u0647 \u0645\u0633\u0627\u0626\u0644 \u0645\u0631\u062a\u0628\u0637 \u0628\u0647 \u0645\u062f\u0644 \u0633\u0627\u0632\u06cc \u062a\u0627\u06cc\u06cc\u062f \u0633\u062e\u062a \u0627\u0641\u0632\u0627\u0631\u06cc \u062f\u0631 \u0632\u0628\u0627\u0646 \u0628\u0631\u0646\u0627\u0645\u0647 \u0646\u0648\u06cc\u0633\u06cc \u0627\u0644\u06a9\u062a\u0631\u0648\u0646\u06cc\u06a9<\/span><\/h1>\n

\u0645\u0642\u0627\u0644\u0647 “\u0645\u0633\u0627\u0626\u0644 \u0645\u0631\u062a\u0628\u0637 \u0628\u0647 \u0645\u062f\u0644 \u0633\u0627\u0632\u06cc \u062a\u0627\u06cc\u06cc\u062f \u0633\u062e\u062a \u0627\u0641\u0632\u0627\u0631\u06cc \u062f\u0631 \u0632\u0628\u0627\u0646 \u0628\u0631\u0646\u0627\u0645\u0647 \u0646\u0648\u06cc\u0633\u06cc \u0627\u0644\u06a9\u062a\u0631\u0648\u0646\u06cc\u06a9” \u062f\u0631 \u0633\u0627\u0644 \u06f2\u06f0\u06f1\u06f2 \u062f\u0631 \u0645\u062c\u0644\u0647 In Proceedings of the 8th ACM international conference on Aspect-oriented software development \u0686\u0627\u067e \u0634\u062f\u0647 \u0648 \u062f\u0631 \u067e\u0627\u06cc\u06af\u0627\u0647 \u0627\u0637\u0644\u0627\u0639\u0627\u062a\u06cc ACM<\/span> \u0646\u0645\u0627\u06cc\u0647 \u0634\u062f\u0647 \u0627\u0633\u062a. \u0627\u06cc\u0646 \u0645\u0642\u0627\u0644\u0647 \u0628\u0647 \u0628\u0631\u0631\u0633\u06cc\u00a0\u0632\u0628\u0627\u0646 \u0627\u0644\u06a9\u062a\u0631\u0648\u0646\u06cc\u06a9 (\u0632\u0628\u0627\u0646 \u0628\u0631\u0646\u0627\u0645\u0647 \u0646\u0648\u06cc\u0633\u06cc e)\u060c \u0631\u0648\u06cc\u06a9\u0631\u062f\u0647\u0627\u06cc \u0645\u062f\u0644\u200c\u0633\u0627\u0632\u06cc \u062c\u0646\u0628\u0647\u200c\u06af\u0631\u0627\u060c \u0632\u0628\u0627\u0646\u200c\u0647\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u06cc\u06a9\u067e\u0627\u0631\u0686\u0647 \u0648 \u062a\u0648\u0633\u0639\u0647 \u0622\u0646\u200c\u0647\u0627 \u067e\u0631\u062f\u0627\u062e\u062a\u0647 \u0627\u0633\u062a. \u0647\u0645\u0686\u0646\u06cc\u0646 \u0628\u0631\u0627\u0633\u0627\u0633 \u0627\u0637\u0644\u0627\u0639\u0627\u062a \u067e\u0627\u06cc\u06af\u0627\u0647 \u0627\u0637\u0644\u0627\u0639\u0627\u062a\u06cc \u06af\u0648\u06af\u0644 \u0627\u0633\u06a9\u0648\u0644\u0627\u0631 \u0627\u06cc\u0646 \u0645\u0642\u0627\u0644\u0647 \u06f5 \u0628\u0627\u0631 \u0645\u0648\u0631\u062f \u0627\u0633\u062a\u0646\u0627\u062f \u0642\u0631\u0627\u0631 \u06af\u0631\u0641\u062a\u0647 \u0627\u0633\u062a.<\/span><\/p>\n

\t\n\n\t\t\n\t\t

\n\t\t\t150,000 \u0631\u06cc\u0627\u0644 – \u0627\u0636\u0627\u0641\u0647 \u06a9\u0631\u062f\u0646 \u0628\u0647 \u0633\u0628\u062f \u062e\u0631\u06cc\u062f<\/span> <\/span><\/a>\u0646\u0647\u0627\u06cc\u06cc \u06a9\u0631\u062f\u0646 \u062e\u0631\u06cc\u062f<\/a>\n\t\t\t\t\t\t\t\n\t\t\t\t\t\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t\n\t\t\t\t\t\t<\/svg>\n\t\t\t\t\t\t\u0645\u0648\u0631\u062f \u0628\u0647 \u0633\u0628\u062f \u062e\u0631\u06cc\u062f \u0627\u0636\u0627\u0641\u0647 \u0634\u062f\t\t\t\t\t<\/span>\n\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\n\t\t

Modelling hardware verification concerns specified in the e language: an experience report \u062a\u0627\u0631\u06cc\u062e: \u06f2\u06f0\u06f0\u06f9 \u067e\u0627\u06cc\u06af\u0627\u0647: ACM \u0644\u06cc\u0646\u06a9 \u062f\u0627\u0646\u0644\u0648\u062f \u0627\u0635\u0644 \u0645\u0642\u0627\u0644\u0647<\/p>\n","protected":false},"author":5,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[84,127,316,515],"tags":[],"_links":{"self":[{"href":"http:\/\/www.irantahgig.ir\/index.php?rest_route=\/wp\/v2\/posts\/45109"}],"collection":[{"href":"http:\/\/www.irantahgig.ir\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.irantahgig.ir\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.irantahgig.ir\/index.php?rest_route=\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"http:\/\/www.irantahgig.ir\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=45109"}],"version-history":[{"count":1,"href":"http:\/\/www.irantahgig.ir\/index.php?rest_route=\/wp\/v2\/posts\/45109\/revisions"}],"predecessor-version":[{"id":45131,"href":"http:\/\/www.irantahgig.ir\/index.php?rest_route=\/wp\/v2\/posts\/45109\/revisions\/45131"}],"wp:attachment":[{"href":"http:\/\/www.irantahgig.ir\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=45109"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.irantahgig.ir\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=45109"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.irantahgig.ir\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=45109"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}