During the development of a compone

During the development of a component chip for
server platforms, we focused on RAS (Reliability,
Availability, and Serviceability) features and described
more than 2000 properties in PSL. As a result of the
formal verification, we found several critical logic bugs
in a short time with limited resources, and successfully
verified all of them. This paper presents a study of the
functional verification methodology.

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

Trong quá trình phát triển của một thành phần chip chocác nền tảng máy chủ, chúng tôi tập trung vào RAS (độ tin cậy,Tình trạng sẵn có, và Serviceability) đặc trưng và mô tảhơn 2000 tài sản tại PSL. Như là kết quả của cácxác minh chính thức, chúng tôi tìm thấy một số nghiêm trọng logic lỗitrong ngắn hạn một thời gian với các nguồn lực hạn chế, và thành côngxác nhận tất cả chúng. Bài viết này trình bày một nghiên cứu của cácphương pháp xác minh chức năng.

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

Trong sự phát triển của một chip thành phần cho
nền tảng máy chủ, chúng tôi tập trung vào RAS (độ tin cậy,
tính sẵn sàng và bảo trì) tính năng và mô tả
nhiều hơn 2000 tài sản trong PSL. Như một kết quả của các
chính thức xác minh, chúng tôi thấy một số lỗi lôgic quan trọng
trong một thời gian ngắn với nguồn lực hạn chế, và thành công
xác minh tất cả trong số họ. Bài viết này trình bày một nghiên cứu về các
phương pháp chức năng xác minh.