2013-02-22 26 views
6

Tôi đã thiết kế một hệ số điểm nổi chính xác đơn 32 bit và cũng là một đơn vị cộng/trừ riêng biệt trong Verilog.Các vectơ thử nghiệm cho đơn vị dấu chấm động

Tôi có một tập lệnh trong MATLAB mà tôi đã viết tạo ra một loạt các số dấu chấm động ngẫu nhiên và tạo ra một băng ghế thử nghiệm trong Verilog.

Tôi đã so sánh kết quả từ mô phỏng ncverilog với những người từ MATLAB và xác minh rằng hệ số của tôi hoạt động chính xác và tính năng thêm/subtracter của tôi hoạt động chính xác.

Tuy nhiên, tôi muốn biết danh sách các trường hợp kiểm tra căng thẳng kiểm tra đơn vị dấu chấm động của tôi. Có danh sách như vậy không? Tôi biết một số chương trình như Softfloat, nhưng điều đó kiểm tra một điểm nổi của một máy tính, thay vì có thể hợp nhất với một băng ghế thử nghiệm verilog.

Tôi cũng nên đề cập đến đơn vị của mình không hỗ trợ các ngoại lệ như tràn, tràn và không hỗ trợ các giá trị không chuẩn hóa. Chế độ làm tròn tròn đến gần nhất.

Cảm ơn bạn!

+1

này sẽ hứa hẹn: https://www.research.ibm.com/cgi-bin/haifa/test_suite_download.pl?first=elenag&second= webmaster – Tim

+0

Vâng, bây giờ đến phần khó chịu khi phân tích các tệp đó. Cảm ơn bạn. – Veridian

+0

Khi tôi làm việc với FPU nhiều năm trước, tôi đã sử dụng bài báo sau để xây dựng các vectơ thử nghiệm của riêng mình cho phạm vi bảo hiểm ban đầu và thấy hữu ích trong việc loại bỏ các lỗi: N. L. Schryer. Kiểm tra đơn vị số học dấu phẩy động của máy tính. Báo cáo kỹ thuật 89, Phòng thí nghiệm AT & T Bell, 1981. – njuffa

Trả lời

2

câu trả lời của Tim được, các bộ fpgen tốt nhất:
https://www.research.ibm.com/cgi-bin/haifa/test_suite_download.pl?first=elenag&second=webmaster

+1

Phân tích cú pháp bằng ngôn ngữ thích hợp và viết ra một số Verilog ... không tìm cách phân tích cú pháp trong Verilog :) –

+0

@MartinThompson, lol, vâng tôi đã phân tích cú pháp trong MATLAB. Cảm ơn bạn cho người đứng đầu mặc dù. – Veridian

+0

@ starbox, @ Martin Thompson hiện "Floating-Point Test Generator - FPgen" có 64 điểm thử nghiệm vector nổi? Ngoài ra làm thế nào để tôi phân tích cú pháp nó để có được trong 32 nhưng giá trị nhị phân? – chitranna

1

Tập hợp các vectơ thử nghiệm được xuất bản chính thức cho FP là những nghiên cứu từ luận án tiến sĩ của Jerome Coonen. Chúng có sẵn (trên băng!) Từ IEEE, nhưng tôi nghi ngờ bạn có thể tìm thấy chúng ở định dạng thuận tiện hơn với một chút tìm kiếm.

+0

Tìm thấy nó, không dễ dàng dịch vào một cái gì đó hữu ích. Tôi nghĩ việc phân tích cú pháp tệp IBM được tham chiếu ở trên sẽ dễ dàng hơn. – Veridian

+0

@starbox Bạn đã tìm thấy các vectơ thử nghiệm được đề cập ở trên ở đâu? Nếu nó không phải là một rắc rối, bạn có thể xin vui lòng gửi liên kết? – Gautam