PSL tương đương cho khối hành động SVA

[Arturi]

Xin chào tất cả, testbench Verilog của tôi có một biến toàn cầu đếm số lỗi trong quá trình mô phỏng. Mỗi khi một lỗi được phát hiện trong quá trình mô phỏng các biến toàn cầu được tăng lên. Vào cuối mô phỏng, kiểm tra testbench biến này để quyết định mô phỏng là một PASS hoặc KHÔNG một. Điều này làm việc tốt cho người kiểm tra HDL nhưng không khẳng định PSL. Làm thế nào tôi có thể tăng biến này trên toàn cầu khi một PSL cháy khẳng định? SVA hỗ trợ này với các khối hành động. Có PSL đã tương đương với cái gì? Tôi đọc một cái gì đó về một kết thúc () xây dựng nhưng vẫn không chắc chắn làm thế nào để sử dụng nó. Bất kỳ phản hồi được chào đón. cheers

 

[ljxpjpjljx]

thiết kế của bạn được phân cấp?

 

[Arturi]

Vâng thưa ngài! Vì vậy, tôi sử dụng Verilog dò phân cấp để khai thác các mạng không có vấn đề nơi tôi trong thiết kế.