Our novel approach is to break down

Our novel approach is to break down generic
properties for system into stereotype properties in block
level and to define requirements for Verifiable RTL.
Consequently, each designer instead of verification
experts can describe properties of the design easily, and
formal model checking can be applied systematically and
thoroughly to all the leaf modules.

Kết quả (Việt) 1:

Cách tiếp cận mới của chúng tôi là để phá vỡ chungthuộc tính của hệ thống vào khuôn mẫu tài sản trong khốicấp và xác định các yêu cầu để kiểm chứng RTL.Do đó, mỗi nhà thiết kế thay vì xác minhCác chuyên gia có thể mô tả các tính chất của việc thiết kế một cách dễ dàng, vàchính thức mô hình kiểm tra có thể được áp dụng có hệ thống vàtriệt để cho tất cả các lá mô-đun.

Kết quả (Việt) 2:

Phương pháp mới của chúng tôi là để phá vỡ chung
thuộc tính cho hệ thống vào các thuộc tính khuôn mẫu trong khối
cấp để xác định các yêu cầu cho kiểm chứng RTL.
Do đó, mỗi nhà thiết kế thay vì xác minh
các chuyên gia có thể mô tả các thuộc tính của thiết kế dễ dàng, và
mô hình kiểm tra chính thức có thể được áp dụng một cách hệ thống và
triệt để tất cả các mô-đun lá.