RM鍏�鍙稿彂甯冧簡AMBA 3 AXI Assertions鐨勭敓浜х増鏈�锛屼互姝ゅ姞蹇�鍩轰簬AMBA 3 AXI鏋舵瀯鐨勭墖涓婄郴缁熺殑璁捐�″拰楠岃瘉銆備换浣曞叕鍙搁兘鍙�浠ヤ粠ARM鍏�鍙歌幏寰楄��Assertions鐨勬簮鏂囦欢锛屼笉鐢ㄦ敮浠樹换浣曠増绋庢垨鐗堟潈璐圭敤銆?

璇�Assertions 鎻愪緵浜嗗�笰MBA 3 AXI鍗忚��鐨勬潈濞佽〃杩帮紝浠庤�屼績杩涗簡瀵笰XI鐨勯噰鐢�锛屽苟鍔犲揩浜嗗�瑰熀浜嶢XI缁撴瀯IP鐨勮�捐�＄殑楠岃瘉銆傞�氳繃甯�鍔╃‘淇濆崗璁�鐨勫吋瀹癸紝瀹冧滑鎻愰珮浜嗗�逛簬AMBA 3 AXI IP鍗虫彃鍗崇敤鏁村悎鎬х殑淇″績銆傚悓鏃跺畠浠�杩樺府鍔╁缓绔嬩簡寮哄ぇ鐨勫寘鎷�绗�涓夋柟浠ュ強鍐呴儴AMBA 3 AXI楠岃瘉鏂规�堝湪鍐呯殑琛屼笟鐢熸�佺郴缁熴�傜洰鍓峉ystem Verilog Assertions锛圫VA锛夊拰寮�鏀惧紡楠岃瘉搴擄紙OVL锛夌増鏈�鍧囧凡涓婂競銆?

AMBA鍗忚��鐨勫競鍦洪�嗗厛鍦颁綅纭�淇濅簡璇ユ妧鏈�鐨勯噰鐢ㄨ�呭皢浼氫粠寮哄ぇ鐨勫伐鍏峰拰IP鏀�鎸佷骇涓氱敓鎬佺郴缁熶腑鑾风泭銆傚�硅繖涓�瑙勮寖鐨勯噰鐢ㄧ殑鎺ㄥ姩涓嶅崟鏉ヨ嚜瀹炵幇鏂规�堜笉鍐嶄緷璧栫増鏉冭В鍐虫柟妗堬紝杩樻潵鑷�鍦ㄦ寚瀹氭妧鏈�瑙勮寖鏃剁殑寮�鏀惧紡鍚堜綔妯″紡銆侫MBA 3 AXI鎶�鏈疉ssertions鐨勫彂甯冨皢杩涗竴姝ユ彁楂樿繖涓�瑙勮寖浣跨敤鑰呯殑浣跨敤绠�鏄撴�с�?

AMBA 3 AXI Assertions鍙�浠ュ湪浠ヤ笅缃戠珯涓嬭浇锛�
http://www.arm.com/products/solutions/amba_3_axi_pc.html