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) 1:

Kỹ thuật chính thức xác nhận đã chơi mộtvai trò quan trọng trong quá trình xác nhận tiền silicon. Một trong những điểm quan trọng nhất là trong việc thực hiện quy trình xác minh chính thức là để xác định phạm vi tốt xác minh; 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ế bên dưới kiểm tra. Chúng tôi xem xét những điều sau đâyba thiết thực yêu cầu khi chúng tôi xác định phạm vi của chính thức xác nhận. Họ là (a) khó có thể xác minh (b) nhỏ để xử lý, và (c) dễ hiểu.

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.