Our novel approach is to break down generic properties for system into stereotype properties in block level and to define requirements for Verifiable RTL.
Cách tiếp cận mới của chúng tôi là để phá vỡ các thuộc tính chung cho hệ thống vào khuôn mẫu tài sản trong khối cấp để xác định các yêu cầu để kiểm chứng RTL.
phương pháp mới của chúng tôi là để phá vỡ tính chung cho hệ thống vào các thuộc tính khuôn mẫu trong khối cấp và xác định các yêu cầu cho RTL kiểm chứng.