Xác minh là quá trình kiểm tra cho dù một thiết kế đáp ứng các mục tiêu đặc điểm kỹ thuật và hiệu suất. Nó liên quan đến tính chính xác của thiết kế ban đầu cũng như sự đúng đắn của các quá trình sàng lọc trong tổng hợp và thiết kế vật lý. Xác minh có hai khía cạnh: chức năng và pe$ omnce. Chức năng xác minh kiểm tra cho dù một hệ thống tạo ra phản ứng đầu ra mong muốn. Hiệu suất được thể hiện như những hạn chế thời gian nhất định. Tim-ing ven$ cation kiểm tra cho dù các phản ứng được tạo ra trong sự hạn chế thời gian nhất định. Xác minh được thực hiện trong giai đoạn khác nhau của thiết kế và ở các cấp độ khác nhau của trừu tượng
đang được dịch, vui lòng đợi..