HaTiDe
SystemC
ngôn ngữ và thư viện phát triển dựa trên C++ để mô hình hóa thiết kế phần cứng. Nó được sử dụng để mô phỏng các hệ thống phức tạp, để kiểm tra và xác minh thiết kế trước khi triển khai thực tế.
UVM (Universal Verification Methodology)
là một thư viện được xây dựng trên SystemVerilog hoặc SystemC. UVM cung cấp một tập hợp các khái niệm, lớp, và tiến trình để giúp kỹ sư kiểm tra xác minh chất lượng của thiết kế phần cứng trước khi sản xuất.
DPI-C (Direct Programming Interface for C)
tính năng trong ngôn ngữ SystemVerilog được sử dụng để kết nối giữa Verilog/SystemVerilog và C/C++.