นี่คือคำสั่ง verilator_coverage ที่สามารถเรียกใช้ในผู้ให้บริการโฮสติ้งฟรีของ OnWorks โดยใช้หนึ่งในเวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
verilator_coverage - ตัววิเคราะห์ความครอบคลุมของ Verilator
เรื่องย่อ
verilator_coverage -- ช่วยด้วย
verilator_coverage --version
verilator_coverage --annotate
verilator_coverage -write merged.dat -read ...
Verilator_coverage ประมวลผลรายงานความครอบคลุมของ Verilator
ด้วย --anotate จะอ่านไฟล์ข้อมูลที่ระบุและสร้างซอร์สโค้ดที่มีคำอธิบายประกอบด้วย
เมตริกความครอบคลุมมีคำอธิบายประกอบ หากมีจุดครอบคลุมหลายจุดในบรรทัดเดียวกัน
จะมีการแทรกบรรทัดเพิ่มเติมเพื่อรายงานจุดเพิ่มเติม
อาร์กิวเมนต์มาตรฐาน Verilog เพิ่มเติมระบุเส้นทางการค้นหาที่จำเป็นในการค้นหา
ซอร์สโค้ดที่ทำการวิเคราะห์ความครอบคลุม
เพื่อให้ได้เปอร์เซ็นต์ความครอบคลุมที่ถูกต้อง คุณอาจต้องการอ่าน logs/coverage.pl ลงใน Emacs และ
ทำ Mx keep-lines เพื่อรวมเฉพาะสถิติที่น่าสนใจเท่านั้น
สำหรับเงื่อนไข Verilog ที่ไม่ควรเกิดขึ้น คุณควรเพิ่มคำสั่ง $stop นี้
จะลบความคุ้มครองในระหว่างการสร้างครั้งต่อไป
อาร์กิวเมนต์
ชื่อไฟล์
ระบุไฟล์ข้อมูลเข้า อาจอ่านซ้ำได้หลายอินพุต หากไม่มีไฟล์ข้อมูลเป็น
ระบุ โดยค่าเริ่มต้น coverage.dat จะถูกอ่าน
--หมายเหตุ เอาท์พุท_ไดเรกทอรี
Sprcifies ชื่อไดเร็กทอรีที่ไฟล์ต้นฉบับที่มีข้อมูลการครอบคลุมที่มีคำอธิบายประกอบควรเป็น
เขียนถึง
--annotate-ทั้งหมด
ระบุไฟล์ทั้งหมดที่ควรจะแสดง โดยค่าเริ่มต้น เฉพาะไฟล์ต้นฉบับที่มี
ความครอบคลุมต่ำถูกเขียนไปยังไดเร็กทอรีเอาต์พุต
--หมายเหตุ-นาที นับ
ระบุจำนวนการเกิดขั้นต่ำที่ควรตั้งค่าสถานะหากจุดครอบคลุม
ไม่รวมเกณฑ์ที่กำหนด ค่าเริ่มต้นเป็น 10
--ช่วยด้วย
แสดงข้อความนี้และเวอร์ชันของโปรแกรมและการออก
--อันดับ
พิมพ์รายงานการทดลองที่แสดงรายการความสำคัญสัมพัทธ์ของการทดสอบแต่ละครั้งในการครอบคลุม
จุดครอบคลุมทั้งหมด รายงานแสดง "ครอบคลุม" ซึ่งระบุจำนวน
คะแนนที่ครอบคลุมการทดสอบ การทดสอบถือว่าครอบคลุมจุดถ้ามีถัง
นับอย่างน้อย 1 คอลัมน์ "อันดับ" มีตัวเลข t สูงกว่า แสดงว่าการทดสอบมีมากกว่า
สำคัญ และอันดับ 0 หมายความว่าไม่ต้องทำการทดสอบเพื่อให้ครอบคลุมคะแนน
"อันดับคะแนน" ระบุจำนวนคะแนนความครอบคลุมที่การทดสอบนี้จะส่งผลต่อโดยรวม
ความคุ้มครองหากการทดสอบทั้งหมดดำเนินการในลำดับจากสูงสุดไปต่ำสุด
--ยกเลิกการเชื่อมโยง
เมื่อใช้ --write เพื่อรวมข้อมูลความครอบคลุม ให้ยกเลิกการลิงก์ไฟล์อินพุตทั้งหมดหลังเอาต์พุต
ได้รับการสร้างขึ้น
--รุ่น
แสดงเวอร์ชันของโปรแกรมและออก
--เขียน ชื่อไฟล์
ระบุผลลัพธ์ความครอบคลุมโดยรวม รวมจากไฟล์ทั้งหมด ควรเป็น
เขียนถึงชื่อไฟล์ที่กำหนด สิ่งนี้มีประโยชน์ในสคริปต์เพื่อรวมหลายลำดับ
ทำงานเป็นไฟล์ครอบคลุมหลักหนึ่งไฟล์
เวอริล็อก อาร์กิวเมนต์
อาร์กิวเมนต์ต่อไปนี้เข้ากันได้กับ GCC, VCS และโปรแกรม Verilog ส่วนใหญ่
+ลิเบ็กซ์+ต่อ+ต่อ...
กำหนดนามสกุลสำหรับไฟล์ Verilog
+กำหนด+คือ+ความคุ้มค่า =รายการ -Dคือ=ความคุ้มค่า
กำหนดตัวแปรที่กำหนด
+incdir+dir =รายการ -Idir
ระบุไดเร็กทอรีสำหรับการค้นหาไฟล์รวม
-f ไฟล์
ระบุไฟล์ที่มีอาร์กิวเมนต์บรรทัดคำสั่งเพิ่มเติม
-y dir
ระบุไดเร็กทอรีการค้นหาโมดูล
การแพร่กระจาย
เวอร์ชันล่าสุดสามารถใช้ได้จากhttp://www.veripool.org/>.
ลิขสิทธิ์ 2003-2015 โดย Wilson Snyder Verilator เป็นซอฟต์แวร์ฟรี คุณสามารถแจกจ่ายซ้ำได้
และ/หรือแก้ไขภายใน Verilator ภายใต้เงื่อนไขของ GNU Lesser General
Public License เวอร์ชัน 3 หรือ Perl Artistic License เวอร์ชัน 2.0
ผู้เขียน
Wilson Snyder[ป้องกันอีเมล]>
ใช้ verilator_coverage ออนไลน์โดยใช้บริการ onworks.net
