Formal verification techniques have

Formal verification techniques have been playing an
important role in pre-silicon validation processes. One of the most important points considered in performing formal verification is to define good verification scopes; we should define clearly what to be verified formally upon designs under tests. We considered the following
three practical requirements when we defined the scope of formal verification. They are (a) hard to verify (b) small to handle, and (c) easy to understand.

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

Kỹ thuật chính thức xác minh đã được chơi một
vai trò quan trọng trong quá trình xác nhận trước silicon. Một trong những điểm quan trọng nhất xem xét trong thực hiện xác minh chính thức là xác định phạm vi kiểm tốt; chúng ta nên xác định rõ ràng những gì để được xác nhận chính thức khi thiết kế dưới kiểm tra. Chúng tôi xem xét sau
ba yêu cầu thực tế khi chúng ta định nghĩa phạm vi xác minh chính thức. Chúng là (a) khó để xác minh (b) nhỏ để xử lý, và (c) dễ hiểu.