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) 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.