ครอบคลุม - ออนไลน์ใน Cloud

โครงการ:

ชื่อ

ครอบคลุม - ตัววิเคราะห์ความครอบคลุมรหัส Verilog

ซิงค์

ปกคลุม [global_options] คะแนน [ตัวเลือก]
ปกคลุม [global_options] ผสาน [ตัวเลือก] ที่มีอยู่_database ฐานข้อมูล_to_merge+
ปกคลุม [global_options] รายงาน [ตัวเลือก] ฐานข้อมูล_file
ปกคลุม [global_options] อันดับ [ตัวเลือก] ฐานข้อมูล_to_rank ฐานข้อมูล_to_rank+
ปกคลุม [global_options] ไม่รวม [ตัวเลือก] ข้อยกเว้น_id+ ฐานข้อมูล_file

DESCRIPTION

ที่อยู่ในขอบข่าย เป็นเครื่องมือวิเคราะห์ความครอบคลุมโค้ด Verilog ที่สามารถเป็นประโยชน์ในการกำหนดวิธีการ
ชุดทดสอบวินิจฉัยนั้นครอบคลุมการออกแบบภายใต้การทดสอบ ครอบคลุมการอ่านใน
ไฟล์การออกแบบ Verilog และไฟล์ดัมพ์ที่จัดรูปแบบ VCD, LXT2 หรือ FST จากการรันการวินิจฉัยและ
สร้างไฟล์ฐานข้อมูลที่เรียกว่าไฟล์ Coverage Description Database (CDD) โดยใช้คำสั่ง
คำสั่งคะแนน สามารถใช้คำสั่งคะแนนของ Covered เพื่อสร้างไฟล์ CDD ได้
และโมดูล Verilog สำหรับการใช้ Covered เป็นโมดูล VPI ใน testbench ซึ่งสามารถรับ
ข้อมูลความคุ้มครองควบคู่ไปกับการจำลอง (ดู ใช้ ที่อยู่ในขอบข่าย AS A VPI โมดูล)
ไฟล์ CDD ที่เป็นผลลัพธ์สามารถผสานกับไฟล์ CDD อื่นจากการออกแบบเดียวกันเพื่อสร้าง
ความครอบคลุมสะสมโดยใช้คำสั่งผสาน เมื่อสร้างไฟล์ CDD แล้ว ผู้ใช้สามารถ
ใช้ Covered เพื่อสร้างรายงานความครอบคลุมที่มนุษย์อ่านได้ในรูปแบบ ASCII หรือใช้
GUI ของ Covered เพื่อดูผลการครอบคลุมแบบโต้ตอบโดยใช้คำสั่งรายงาน ถ้า
พบว่าจุดความคุ้มครองที่ผู้ใช้บริการต้องการแยกออกจากการครอบคลุม สามารถ
ได้รับการจัดการด้วยคำสั่งแยกบรรทัดคำสั่งหรือภายใน GUI เมื่อทวีคูณ
ไฟล์ CDD ถูกสร้างขึ้นจากการออกแบบเดียวกัน ผู้ใช้อาจได้รับการจัดอันดับความครอบคลุมของ
ไฟล์ CDD เหล่านั้นเพื่อกำหนดลำดับในอุดมคติสำหรับการทดสอบการถดถอยและทำความเข้าใจ
ไฟล์ CDD ใดที่สามารถแยกออกจากการถดถอยได้เนื่องจากไม่สามารถสร้างไฟล์ใหม่ได้
จุดครอบคลุม นอกจากนี้ ในฐานะที่เป็นส่วนหนึ่งของคำสั่งคะแนนของ Covered เงื่อนไขการแข่งขัน
พบความเป็นไปได้ในไฟล์การออกแบบและสามารถละเว้นได้ ตั้งค่าสถานะเป็นคำเตือน
หรือถูกตั้งค่าสถานะเป็นข้อผิดพลาด โดยการระบุเงื่อนไขการแข่งขันเป็นข้อผิดพลาด สามารถใช้ Covered ได้เช่นกัน
เป็นตัวตรวจสอบสภาพการแข่งขัน

ประสบการณ์ OPTIONS

ตัวเลือกเหล่านี้จะถูกวางไว้หลังคำสำคัญ ปกคลุม ในบรรทัดคำสั่ง พวกเขา
สามารถใช้กับคำสั่งใดก็ได้ (ยกเว้น -v และ -h) และมีผลเช่นเดียวกันใน
แต่ละกรณี.

-B ทำให้งงงวย ทำให้ชื่อที่ไวต่อการออกแบบทั้งหมดสับสนก่อนส่งออกใน
รูปแบบที่ผู้ใช้อ่านได้ ตัวเลือกนี้มีประโยชน์เมื่อแชร์เอาต์พุตกับ
นักพัฒนาของ Covered เพื่อจุดประสงค์ในการดีบัก

-D ดีบัก แสดงข้อมูลที่เป็นประโยชน์สำหรับปัญหาเครื่องมือดีบั๊ก หมายเหตุ: นี้
ตัวเลือกนี้ใช้ได้เฉพาะเมื่อมีการสร้างความคุ้มครองด้วย --enable-debug
ตัวเลือกการกำหนดค่า

-h ช่วย. แสดงข้อมูลการใช้งานนี้

-P [ชื่อไฟล์]
โหมดการทำโปรไฟล์ เปิดตัวสร้างโปรไฟล์ซอร์สโค้ดภายในที่จะสร้าง
รายงานโปรไฟล์ของคำสั่ง run ไปยังตัวใดตัวหนึ่งที่ระบุ ชื่อไฟล์ หรือถ้าไม่ใช่
ชื่อไฟล์ มีอยู่ในไฟล์ชื่อ ครอบคลุม.prof. ตัวเลือกนี้ใช้ได้เท่านั้น
ถ้า --enable-โปรไฟล์ ระบุตัวเลือกการกำหนดค่าเมื่อ Covered เป็น
สร้างขึ้น

-Q โหมดเงียบ ทำให้เอาต์พุตทั้งหมดถูกระงับ

-T โหมดสั้น ทำให้เอาต์พุตทั้งหมดถูกระงับ ยกเว้นการเตือน
ข้อความและข้อมูลส่วนหัวที่ครอบคลุม

-v รุ่น. แสดงเวอร์ชัน Covered ปัจจุบัน

คำสั่ง

คะแนน แยกวิเคราะห์ไฟล์ Verilog และ VCD/LXT2/FST dumpfiles เพื่อสร้างไฟล์ฐานข้อมูลที่ใช้สำหรับ
การรวมและการรายงาน

ผสาน รวมไฟล์ฐานข้อมูลตั้งแต่สองไฟล์ขึ้นไปเป็นไฟล์เดียว

รายงาน สร้างรายงานความครอบคลุมที่มนุษย์อ่านได้จากไฟล์ฐานข้อมูลหรือเริ่มความครอบคลุม
รายงาน GUI

อันดับ สร้างรายงานที่ระบุลำดับในอุดมคติเพื่อเรียกใช้การถดถอยและระบุ
ไฟล์ CDD ที่ไม่เพิ่มข้อมูลความครอบคลุมใหม่ (ดังนั้นจึงยกเว้นได้)
จากการถดถอยหากต้องการ)

ไม่รวม
อนุญาตจุดครอบคลุมตั้งแต่หนึ่งจุดขึ้นไป (ระบุด้วยรหัสการยกเว้นในรายงาน
สร้างด้วยตัวเลือก -x) เพื่อสลับคุณสมบัติการยกเว้น (รวม to
ไม่รวมหรือไม่รวม) และหากตั้งค่าคุณสมบัติการยกเว้นเป็นไม่รวม
เลือกที่จะอนุญาตให้เหตุผลสำหรับการยกเว้นที่จะเชื่อมโยงกับมันและเก็บไว้ใน
ไฟล์ CDD ที่ระบุ

คะแนน คำสั่ง

อ็อพชันต่อไปนี้ใช้ได้กับคำสั่ง score:

-A รูปไข่ ทำให้ใช้การยืนยัน OVL สำหรับการครอบคลุมการยืนยัน ต้องให้ธงนี้
ไปยังคำสั่ง score หากจำเป็นต้องมีเมตริกความครอบคลุมการยืนยันในรายงาน
คำสั่ง

-ซีดี ฐานข้อมูล
เช่นเดียวกับตัวเลือก -o มีประโยชน์เมื่อไฟล์ CDD ที่ทำคะแนนเป็นอินพุตไปยังคะแนน
คำสั่ง

-คลิ [ชื่อไฟล์]
ทำให้ดีบักเกอร์บรรทัดคำสั่งถูกใช้ในระหว่างการให้คะแนนดัมพ์ไฟล์ VCD/LXT2/FST
If ชื่อไฟล์ ถูกระบุ ไฟล์นี้มีข้อมูลที่บันทึกไว้ในการเรียกครั้งก่อน
เพื่อ savehist บน CLI และทำให้ประวัติที่มีอยู่ในไฟล์นี้ถูกเล่นซ้ำ
ก่อนพรอมต์คำสั่ง CLI ถ้า ชื่อไฟล์ ไม่ได้ระบุไว้ พร้อมต์ CLI จะ
พร้อมใช้งานทันทีเมื่อเริ่มการจำลอง ตัวเลือกนี้ใช้ได้เท่านั้น
เมื่อ Covered ถูกกำหนดค่าด้วย --เปิดใช้งาน-debug ตัวเลือก

-ซึ่งอนุรักษ์นิยม
หากระบุตัวเลือกนี้ บล็อกลอจิกใดๆ ที่มีรหัสที่อาจทำให้เกิด
ความคลาดเคลื่อนของความคุ้มครองที่นำไปสู่ผลลัพธ์ความครอบคลุมที่อาจไม่ถูกต้องคือ
ออกจากการพิจารณาความคุ้มครอง ดูคู่มือผู้ใช้สำหรับข้อมูลเพิ่มเติมเกี่ยวกับสิ่งที่
ประเภทของรหัสอาจทำให้ความครอบคลุมไม่ถูกต้อง

- ถังขยะ [ชื่อไฟล์]
หากระบุอ็อพชันนี้โดยไม่มีอ็อพชัน -vcd หรือ -lxt การออกแบบจะถูกแยกวิเคราะห์
สร้างไฟล์ CDD และไฟล์โมดูล Verilog ระดับบนสุดชื่อ ชื่อไฟล์ (ถ้านี้
มีการระบุค่า) หรือ "covered_dump.v" (ถ้า ชื่อไฟล์ ไม่ได้ระบุ) ถูกสร้างขึ้น
ไฟล์นี้ใช้ในการคอมไพล์ตัวจำลองเพื่อสร้างไฟล์ดัมพ์ที่เป็น
ปรับให้เหมาะสมสำหรับการรับความครอบคลุมสำหรับไฟล์ CDD ที่ระบุ ถ้า -vcd หรือ
มีการระบุตัวเลือก -lxt ตัวเลือกนี้ไม่มีผล ดูคู่มือผู้ใช้สำหรับ
ข้อมูลเพิ่มเติมเกี่ยวกับวิธีการใช้ตัวเลือกนี้

-D กำหนด_ชื่อ
กำหนดชื่อที่ระบุเป็น 1

-D Defin_name=ค่า
กำหนดชื่อที่ระบุเป็นค่าที่ระบุ

-e block_name
ชื่อของโมดูล งาน ฟังก์ชัน หรือชื่อบล็อกเริ่มต้น/สิ้นสุดไม่ให้คะแนน สาเหตุทั้งหมด
บล็อกย่อยในทรี Verilog ภายใต้บล็อกนี้จะไม่ถูกให้คะแนนด้วย

-เอีย ยกเว้นการบล็อกทั้งหมดไม่ให้พิจารณาความครอบคลุมเสมอ

-อีซี ไม่รวมการมอบหมายงานต่อเนื่องทั้งหมดจากการพิจารณาความครอบคลุม

-อี ไม่รวมช่วงเริ่มต้นทั้งหมดจากการพิจารณาความครอบคลุม

-เอฟ ไม่รวมช่วงสุดท้ายทั้งหมดจากการได้รับการพิจารณาให้ครอบคลุม

-ep [ชื่อ]
ไม่รวมโค้ดทั้งหมดที่พบระหว่าง '// coverage off' และ '// coverage on' pragmas
ฝังอยู่ภายในการออกแบบ ถ้า ชื่อ มีการระบุคีย์เวิร์ดในpragma will
เปลี่ยนเป็นชื่อนั้นแทน "ความครอบคลุม" เริ่มต้นทำให้ผู้ใช้สามารถ
เปลี่ยนรูปลักษณ์ของ Pragma หากขัดแย้งกับเครื่องมืออื่นๆ

-F module_name=[in_expr,]out_expr
ระบุตำแหน่ง parser ที่จะค้นหา FSM ที่อยู่ในโมดูล module_name ที่
มีนิพจน์สถานะอินพุตที่เรียกว่า ใน_expr และนิพจน์สถานะเอาต์พุตที่เรียกว่า
out_expr. ถ้า ใน_expr ไม่ได้ระบุ out_expr ใช้เป็นทั้งอินพุตและ
การแสดงออกของสถานะเอาต์พุต

-f ชื่อไฟล์
ชื่อไฟล์ที่มีอาร์กิวเมนต์เพิ่มเติมเพื่อแยกวิเคราะห์

-fst ชื่อไฟล์
ชื่อของ FST dumpfile ที่จะให้คะแนนการออกแบบด้วย ถ้า -vcd, -lxt หรือตัวเลือกนี้ไม่ใช่
ใช้แล้ว Covered จะสร้างไฟล์ CDD เริ่มต้นจากการออกแบบเท่านั้นและจะไม่
พยายามให้คะแนนการออกแบบ

-g [โมดูล_ชื่อ=](1|2|3)
อนุญาตให้ผู้ใช้จำกัด parser เฉพาะรุ่นของ Verilog
มาตรฐานสำหรับโมดูลเฉพาะหรือการออกแบบทั้งหมด โดยที่ 1=Verilog-1995
2=Verilog-2001, 3=SystemVerilog. ถ้า module_name= ถูกระบุ parser ใช้ the
กำหนดมาตรฐาน Verilog สำหรับโมดูลนั้นเท่านั้น ทำให้การออกแบบที่เหลือสามารถ
ใช้มาตรฐานระดับโลก โดยค่าเริ่มต้น มาตรฐานสากลจะถูกตั้งค่าเป็นล่าสุด
รุ่น (3). ตัวเลือกนี้สามารถระบุได้มากกว่าหนึ่งครั้งสำหรับการเรียกที่กำหนดไปยัง
คำสั่งคะแนน; อย่างไรก็ตาม หากตัวเลือก -g ระบุมากกว่ามูลค่าทั่วโลก (เช่น
ปราศจาก โมดูล= คำนำหน้า) จะใช้เฉพาะค่าตัวเลือกสุดท้ายเท่านั้น

-h แสดงข้อมูลช่วยเหลือนี้

-I ไดเรกทอรี
ไดเร็กทอรีเพื่อค้นหาไฟล์ Verilog ที่รวมอยู่

-i อินสแตนซ์_name
การอ้างอิงลำดับชั้น Verilog ไปยังโมดูลที่อยู่บนสุดของแผนผังจะเป็น
ได้คะแนน ตัวเลือกนี้จำเป็นหากโมดูลสำหรับตรวจสอบความครอบคลุมไม่ใช่ระดับบนสุด
โมดูลในการออกแบบ หากไม่ระบุ -t ใช้ค่า.

-lxt ชื่อไฟล์
ชื่อของ LXT2 dumpfile ที่จะให้คะแนนการออกแบบด้วย ถ้า -vcd, -fst หรือตัวเลือกนี้ไม่ใช่
ใช้แล้ว Covered จะสร้างไฟล์ CDD เริ่มต้นจากการออกแบบเท่านั้นและจะไม่
พยายามให้คะแนนการออกแบบ

-m ข่าวสาร
อนุญาตให้ผู้ใช้ระบุข้อมูลเกี่ยวกับไฟล์ CDD นี้ ข้อมูลนี้สามารถ
เป็นอะไรก็ได้ (ข้อความที่มีช่องว่างควรล้อมรอบด้วยเครื่องหมายอัญประกาศคู่
เครื่องหมาย) แต่อาจรวมถึงบางอย่างเกี่ยวกับอาร์กิวเมนต์การจำลองได้ง่ายขึ้น
เชื่อมโยงไฟล์ CDD กับการจำลองเพื่อวัตถุประสงค์ในการสร้างไฟล์ CDD ขึ้นใหม่

-o ฐานข้อมูล
ชื่อฐานข้อมูลที่จะเขียนข้อมูลความครอบคลุมถึง หากไม่ได้ระบุไว้ ผลลัพธ์
ชื่อไฟล์ฐานข้อมูลจะเป็น "cov.cdd"

-p ชื่อไฟล์
แทนที่ชื่อไฟล์เริ่มต้นที่ใช้เก็บเอาต์พุตตัวประมวลผลล่วงหน้าระดับกลาง

-P Parameter_scope=value
ดำเนินการ defparam บนพารามิเตอร์ที่ระบุพร้อมค่า

-อาร์เอส เมื่อมีการละเมิดการตรวจสอบสภาพการแข่งขัน บล็อกตรรกะที่ละเมิดจะถูกลบออก
จากการพิจารณาความครอบคลุมและผลลัพธ์ทั้งหมดจะถูกระงับเกี่ยวกับการแข่งขัน
การละเมิดเงื่อนไข ดูเอกสารสำหรับผู้ใช้สำหรับข้อมูลเพิ่มเติมเกี่ยวกับการแข่งขัน
การตรวจสอบสภาพการใช้งาน

-RW เมื่อมีการละเมิดการตรวจสอบสภาพการแข่งขัน บล็อกตรรกะที่ละเมิดจะถูกลบออก
จากการพิจารณาความคุ้มครองและการละเมิดเงื่อนไขการแข่งขันเป็นผลลัพธ์ นี่คือ
พฤติกรรมเริ่มต้นสำหรับการจัดการสภาพการแข่งขัน ดูเอกสารผู้ใช้สำหรับข้อมูลเพิ่มเติม
ข้อมูลเกี่ยวกับการใช้งานการตรวจสอบสภาพการแข่งขัน

-NS เมื่อมีการละเมิดการตรวจสอบสภาพการแข่งขัน เหตุผลก็คือเอาท์พุตและการให้คะแนนสิ้นสุดลง
โดยทันที. ดูเอกสารสำหรับผู้ใช้สำหรับข้อมูลเพิ่มเติมเกี่ยวกับสภาวะการแข่งขัน
การตรวจสอบการใช้งาน

-rI[=โมดูล ชื่อ]
If โมดูล ชื่อ ไม่ได้ระบุ ข้ามการตรวจสอบสภาพการแข่งขันทั้งหมดสำหรับ
การออกแบบทั้งหมด ถ้า โมดูล ชื่อ ถูกระบุ ข้ามการตรวจสอบสภาพการแข่งขัน
สำหรับโมดูลที่ระบุ ดูเอกสารสำหรับผู้ใช้สำหรับข้อมูลเพิ่มเติมเกี่ยวกับการแข่งขัน
การตรวจสอบสภาพการใช้งาน

-อาร์พี[=ชื่อ])
ใช้ Pragmas แบบฝังเพื่อละเว้นรหัสบางอย่างจากการตรวจสอบสภาพการแข่งขัน
การพิจารณา (ถ้า ชื่อ ถูกระบุว่าใช้เป็นคีย์เวิร์ด Pragma) ดูผู้ใช้
เอกสารสำหรับข้อมูลเพิ่มเติมเกี่ยวกับการใช้การตรวจสอบสภาพการแข่งขัน

-S แสดงผลสถิติการจำลองหลังจากการจำลองเสร็จสิ้น ข้อมูลนี้คือ
ปัจจุบันมีประโยชน์สำหรับนักพัฒนาของ Covered เท่านั้น

-t ระดับบนสุด โมดูล
ระบุชื่อโมดูลของโมดูลบนสุดที่จะวัด สังเกตว่า
โมดูลนี้ไม่จำเป็นต้องเป็นโมดูลระดับบนสุดในเครื่องจำลอง ฟิลด์นี้
จำเป็นสำหรับการเรียกคำสั่ง score ทั้งหมด

-top_ts ระยะเวลา
อ็อพชันนี้ใช้ได้เฉพาะเมื่อมีการระบุอ็อพชัน -vpi หรือ -dumpvars
ตัวเลือกนี้อนุญาตให้ผู้ใช้ระบุช่วงเวลาสำหรับโมดูล Verilog ที่สร้างขึ้น
สร้างด้วยตัวเลือก -vpi/-dumpvars หากไม่ได้ระบุตัวเลือกนี้ no
ช่วงเวลาจะถูกสร้างขึ้นสำหรับโมดูลที่สร้างขึ้น คุณค่าของ ระยะเวลา is
ระบุไว้ดังนี้:

(1|10|100)(s|ms|us|ns|ps|fs)/(1|10|100)(s|ms|us|ns|ps|fs)

หากจำเป็นต้องใช้ช่องว่างระหว่างค่าต่างๆ ให้วางเนื้อหาทั้งหมดของ
ระยะเวลา ในเครื่องหมายคำพูดคู่

-ts จำนวน
เมื่อให้คะแนน ตัวเลือกนี้ทำให้ผู้ใช้สามารถดูว่าเครื่องจำลองมีระยะทางเท่าใด
คืบหน้าโดยการส่งออกไทม์สเต็ปปัจจุบันไปยังเอาต์พุตมาตรฐาน คุณค่าของ
จำนวน ระบุจำนวนครั้งที่ได้รับอนุญาตให้จำลองก่อนที่จะส่งออก
ขั้นตอนเวลาปัจจุบัน (ส่งผลให้มีการเรียกกระแสข้อมูลออกน้อยลง)

-T (ขั้นต่ำ|ประเภท|สูงสุด)
ระบุค่าที่จะใช้เมื่อพบนิพจน์การหน่วงเวลาในรูปแบบ:
ขั้นต่ำ:ประเภท:สูงสุด หากไม่ได้ระบุตัวเลือกนี้ ระบบจะใช้การเลือก 'typ' โดยค่าเริ่มต้น

-v ชื่อไฟล์
ชื่อของไฟล์ Verilog เฉพาะเพื่อทำคะแนน

-วีซีดี ชื่อไฟล์
ชื่อของ VCD dumpfile ที่จะให้คะแนนการออกแบบด้วย ถ้า -lxt, -fst หรือตัวเลือกนี้ไม่ใช่
ใช้แล้ว Covered จะสร้างไฟล์ CDD เริ่มต้นจากการออกแบบเท่านั้นและจะไม่
พยายามให้คะแนนการออกแบบ

-วีพีไอ [ชื่อไฟล์]
หากระบุอ็อพชันนี้โดยไม่มีอ็อพชัน -vcd, -lxt หรือ -fst การออกแบบจะเป็น
แยกวิเคราะห์ไฟล์ CDD จะถูกสร้างขึ้นและไฟล์โมดูล Verilog ระดับบนสุดชื่อ ชื่อไฟล์
(หากระบุค่านี้ไว้) หรือ "covered_vpi.v" (if ชื่อไฟล์ ไม่ได้ระบุ) is
สร้างพร้อมกับไฟล์ตาราง PLI ชื่อ ชื่อไฟล์.ta b หรือ "covered_vpi.v.ta b"
ไฟล์ทั้งสองนี้ใช้ในการคอมไพล์ตัวจำลองเพื่อใช้ Covered as
โมดูล VPI หากระบุอ็อพชัน -vcd, -lxt หรือ -fst อ็อพชันนี้
ไม่มีผล

-วิคนอร์
ระงับเอาต์พุตของการเตือนระหว่างการแยกวิเคราะห์และการจำลองโค้ด

-y ไดเรกทอรี
ไดเร็กทอรีเพื่อค้นหาไฟล์ Verilog ที่ไม่ระบุ

+ลิเบ็กซ์+.ส่วนขยาย[+.ส่วนขยาย]*+
นามสกุลของไฟล์ Verilog เพื่อให้สามารถให้คะแนนได้

ผสาน คำสั่ง

ตัวเลือกต่อไปนี้ใช้ได้สำหรับคำสั่งผสาน:

-d ชื่อไฟล์
ไดเร็กทอรีเพื่อค้นหาไฟล์ CDD ที่จะรวม ตัวเลือกนี้ใช้ร่วมกัน
กับ -ต่อ ตัวเลือกที่ระบุนามสกุลไฟล์ที่จะใช้ในการพิจารณา
ไฟล์ใดในไดเร็กทอรีเป็นไฟล์ CDD

เอ้อ (เป็นครั้งแรก|ล่าสุด|ทั้งหมด|ใหม่|เก่า)
ระบุวิธีจัดการกับการแก้ปัญหาเหตุผลในการยกเว้น หากไฟล์ CDD สองไฟล์ขึ้นไป
การควบรวมมีเหตุผลการยกเว้นที่ระบุไว้สำหรับจุดครอบคลุมเดียวกัน the
ต้องแก้ไขเหตุผลในการยกเว้น (เว้นแต่จะเป็นค่าสตริงเดียวกัน) ถ้า
ไม่ได้ระบุตัวเลือกนี้และพบข้อขัดแย้ง Covered จะโต้ตอบ
ขอข้อมูลสำหรับการยกเว้นแต่ละรายการเกี่ยวกับวิธีการจัดการ หากตัวเลือกนี้คือ
ระบุ วิธีจัดการกับข้อขัดแย้งของเหตุผลในการยกเว้นทั้งหมด NS
ค่าต่างๆ มีดังนี้:.br

เป็นครั้งแรก - ใช้ไฟล์ CDD ที่มีสาเหตุการยกเว้นครั้งแรก

ล่าสุด - ใช้ไฟล์ CDD ที่มีสาเหตุการยกเว้นล่าสุด

ทั้งหมด - ใช้เหตุผลในการยกเว้นทั้งหมด (ต่อกัน)

ใหม่ - ใช้เหตุผลการยกเว้นล่าสุดที่ระบุ

เก่า - ใช้เหตุผลการยกเว้นที่เก่าที่สุดที่ระบุ

-ต่อ นามสกุล
ใช้ร่วมกับ -d ตัวเลือก. ถ้าไม่ -ต่อ ตัวเลือกระบุไว้ใน
บรรทัดคำสั่ง ใช้ค่าเริ่มต้นของ '.cdd' โปรดทราบว่าช่วงเวลา (.) ควร
ระบุไว้

-f ชื่อไฟล์
ชื่อไฟล์ที่มีอาร์กิวเมนต์เพิ่มเติมเพื่อแยกวิเคราะห์

-h แสดงข้อมูลช่วยเหลือนี้

-m ข่าวสาร
อนุญาตให้ผู้ใช้ระบุข้อมูลเกี่ยวกับไฟล์ CDD นี้ ข้อมูลนี้สามารถ
เป็นอะไรก็ได้ (ข้อความที่มีช่องว่างควรล้อมรอบด้วยเครื่องหมายอัญประกาศคู่
เครื่องหมาย)

-o ชื่อไฟล์
ไฟล์ที่จะส่งออกฐานข้อมูลใหม่ไปที่ หากไม่ได้ระบุอาร์กิวเมนต์นี้ ค่า
ที่มีอยู่_database ใช้เป็นชื่อฐานข้อมูลเอาต์พุต

รายงาน คำสั่ง

ตัวเลือกต่อไปนี้ใช้ได้กับคำสั่งรายงาน:

-b หากมีการรายงานเอาต์พุต verbose ตรรกะเชิงผสมและนิพจน์เป็น vector
การดำเนินการ ตัวเลือกนี้จะแสดงข้อมูลความครอบคลุมในระดับบิต

-c If -v ระบุไว้ แสดงเฉพาะเมตริกที่ครอบคลุมเท่านั้น ค่าเริ่มต้นคือการแสดง uncovered
ข้อมูลเท่านั้น

-d (ส|ด|วี)
ระดับรายละเอียดในการให้ข้อมูลรายงานความคุ้มครอง (s = สรุป, d =
รายละเอียด v = verbose) ค่าเริ่มต้นคือสรุป

-e ส่งออกคะแนนความครอบคลุมที่ยกเว้นทั้งหมดไปยังไฟล์รายงานพร้อมกับที่ระบุ
เหตุผลการยกเว้นถ้า -d d or -d v มีการระบุตัวเลือก

-f ชื่อไฟล์
ชื่อไฟล์ที่มีอาร์กิวเมนต์เพิ่มเติมเพื่อแยกวิเคราะห์

-h แสดงข้อมูลช่วยเหลือนี้

-i ให้ข้อมูลความครอบคลุมสำหรับอินสแตนซ์แทนโมดูล

-m [l][t][c][f][r][a][m]
ประเภทของเมตริกที่จะรายงาน l=line, t=toggle, c=combinational logic, f=FSM state
และการเปลี่ยนสถานะ r=เงื่อนไขการแข่งขัน a=การยืนยัน m=หน่วยความจำ ค่าเริ่มต้นคือ จำกัด.

-o ชื่อไฟล์
ไฟล์ที่จะส่งออกข้อมูลรายงานไปยัง ค่าเริ่มต้นคือเอาต์พุตมาตรฐาน

-s ระงับโมดูล/อินสแตนซ์ที่ไม่มีข้อมูลครอบคลุมจากการถูกส่งออก
ไปที่รายงาน ใช้เพื่อช่วยขจัดข้อมูลที่อาจไร้ความหมายจาก
แจ้ง

-v เลิกใช้แล้ว แทนที่ด้วย '-dd' หรือ '-d v'

-ดู เริ่มอินเทอร์เฟซ GUI สำหรับการรายงานความครอบคลุมเชิงโต้ตอบ

-w (จำนวน)
ระบุความกว้างสูงสุดของบรรทัด (เป็นตัวอักษร) ที่สามารถใช้ส่งออก Verilog
ข้อมูล. หากไม่ได้ระบุตัวเลือกนี้ โค้ด Verilog ทั้งหมดในรายงานจะ
คงรูปแบบเดียวกับที่ระบุไว้ในรหัส Verilog ดั้งเดิม ถ้านี้
ระบุตัวเลือกไว้ รหัส Verilog จะถูกจัดรูปแบบเพื่อใช้เป็นปัจจุบันมากที่สุด
บรรทัดให้มากที่สุด ตัดข้อความเมื่อบรรทัดถึงความกว้างสูงสุดของบรรทัด NS
ความกว้างของบรรทัดสูงสุดเริ่มต้นคือ 115 อักขระ (ค่านี้จะถูกใช้หากไม่มีตัวเลขคือ
ระบุด้วยตัวเลือก -w) หากระบุตัวเลขด้วยตัวเลือก -w นี่
ค่าจะใช้สำหรับความกว้างสูงสุดของเส้น

-x ส่งออกรหัสการยกเว้นของจุดครอบคลุมที่ไม่ครอบคลุมและไม่รวมทั้งหมดภายใน
วงเล็บก่อนเอาต์พุต verbose ที่เกี่ยวข้องของจุดครอบคลุม NS
สามารถใช้ Exclusion ID เพื่อแยก/รวมจุดครอบคลุมได้ผ่านระบบexclusion
คำสั่ง

RANK คำสั่ง

อ็อพชันต่อไปนี้ใช้ได้กับคำสั่ง rank:

-d ชื่อไฟล์
ไดเร็กทอรีเพื่อค้นหาไฟล์ CDD ที่จะรวม ตัวเลือกนี้ใช้ร่วมกัน
กับ -ต่อ ตัวเลือกที่ระบุนามสกุลไฟล์ที่จะใช้ในการพิจารณา
ไฟล์ใดในไดเร็กทอรีเป็นไฟล์ CDD

-ความลึก จำนวน
ระบุจำนวนไฟล์ CDD ขั้นต่ำที่จำเป็นสำหรับการเข้าถึงจุดครอบคลุมแต่ละจุด NS
ค่าของ จำนวน ควรมากกว่าศูนย์ ค่าเริ่มต้นคือ 1

-ต่อ นามสกุล
ใช้ร่วมกับ -d ตัวเลือก. ถ้าไม่ -ต่อ ตัวเลือกระบุไว้ใน
บรรทัดคำสั่ง ใช้ค่าเริ่มต้นของ '.cdd' โปรดทราบว่าช่วงเวลา (.) ควร
ระบุไว้

-f ชื่อไฟล์
ชื่อไฟล์ที่มีอาร์กิวเมนต์เพิ่มเติมเพื่อแยกวิเคราะห์

-h แสดงข้อมูลวิธีใช้สำหรับคำสั่งอันดับ

-ชื่อเท่านั้น
หากระบุไว้ จะส่งออกเฉพาะชื่อไฟล์ CDD ที่จำเป็นซึ่งจำเป็นต้องเรียกใช้ในไฟล์
เพื่อให้พวกเขาต้องดำเนินการ หากไม่ได้ตั้งค่าตัวเลือกนี้ เอาต์พุตรูปแบบรายงานจะเป็น
ให้ข้อมูลเพิ่มเติม ตัวเลือกนี้มีขึ้นเพื่อเป็นประโยชน์ในสคริปต์
ที่ต้องการให้ชื่อไฟล์ CDD ทำงานเป็นเอาต์พุตเท่านั้น

-o ชื่อไฟล์
ชื่อของไฟล์ที่จะส่งออกข้อมูลการจัดอันดับไปยัง ค่าเริ่มต้นคือเอาต์พุตมาตรฐาน

-จำเป็น-cdd ชื่อไฟล์
ชื่อของ CDD ที่ควรพิจารณาว่าเป็น CDD ที่จำเป็นในการจัดอันดับ (กล่าวคือ ไม่สามารถ
ยกเว้นด้วยเหตุผลใดก็ตาม)

-required-รายการ ชื่อไฟล์
ชื่อของไฟล์ที่มีรายการ CDD ที่ควรพิจารณา CDD ที่จำเป็น
จัดอันดับ. ชื่อไฟล์ควรคั่นด้วยช่องว่างหรืออักขระขึ้นบรรทัดใหม่
ภายในไฟล์.

-v ทำให้เอาต์พุต verbose แสดงเมื่อรันคำสั่ง rank มันส่งออก
ข้อมูลการวินิจฉัยในแต่ละขั้นตอนที่แตกต่างกันของอัลกอริทึมการจัดอันดับ
รวมทั้งรันไทม์ จำนวนไฟล์ CDD ที่รวม/ไม่รวม และจำนวนความครอบคลุม
คะแนนที่โดนโดย CDD จัดอันดับในแต่ละเฟส ข้อมูลนี้มีขึ้นเพื่อเป็น
มีประโยชน์สำหรับผู้ที่สนใจอัลกอริทึมการจัดอันดับและประสิทธิภาพ

-น้ำหนัก-ยืนยัน จำนวน
ระบุการถ่วงน้ำหนักสัมพัทธ์สำหรับการครอบคลุมการยืนยันที่ใช้เพื่อจัดอันดับไม่ซ้ำกัน
จุดครอบคลุม คุณค่าของ จำนวน สัมพันธ์กับค่าที่ใช้ใน
-น้ำหนักสลับ, -น้ำหนัก-หน่วยความจำ, -น้ำหนัก-หวี, -น้ำหนัก-fsm และ -น้ำหนักเส้น อันดับ
ตัวเลือกคำสั่ง

-น้ำหนัก-หวี จำนวน
ระบุการถ่วงน้ำหนักสัมพัทธ์สำหรับการครอบคลุมตรรกะเชิงผสมที่ใช้ในการจัดอันดับ
จุดครอบคลุมที่ไม่ซ้ำกัน คุณค่าของ จำนวน สัมพันธ์กับค่าที่ใช้ใน
-น้ำหนักสลับ, -น้ำหนัก-หน่วยความจำ, -น้ำหนัก-ยืนยัน, -น้ำหนัก-fsm และ -น้ำหนักเส้น
ตัวเลือกคำสั่งอันดับ

-น้ำหนัก-fsm จำนวน
ระบุการถ่วงน้ำหนักสัมพัทธ์สำหรับสถานะ FSM และการเปลี่ยนแปลงสถานะที่ใช้ไปยัง
จัดอันดับจุดครอบคลุมที่ไม่ซ้ำกัน คุณค่าของ จำนวน สัมพันธ์กับค่า
ใช้ในการ -น้ำหนักสลับ, -น้ำหนัก-หน่วยความจำ, -น้ำหนัก-หวี, -น้ำหนัก-ยืนยัน และ
-น้ำหนักเส้น ตัวเลือกคำสั่งอันดับ

-น้ำหนักเส้น จำนวน
ระบุการถ่วงน้ำหนักสัมพัทธ์สำหรับความครอบคลุมของบรรทัดที่ใช้จัดอันดับความครอบคลุมที่ไม่เหมือนกัน
คะแนน คุณค่าของ จำนวน สัมพันธ์กับค่าที่ใช้ใน -น้ำหนักสลับ,
-น้ำหนัก-หน่วยความจำ, -น้ำหนัก-หวี, -น้ำหนัก-fsm และ -น้ำหนัก-ยืนยัน ตัวเลือกคำสั่งอันดับ

-น้ำหนัก-หน่วยความจำ จำนวน
ระบุการถ่วงน้ำหนักสัมพัทธ์สำหรับการครอบคลุมหน่วยความจำที่ใช้จัดอันดับความครอบคลุมที่ไม่เหมือนกัน
คะแนน คุณค่าของ จำนวน สัมพันธ์กับค่าที่ใช้ใน -น้ำหนักสลับ,
-น้ำหนักเส้น, -น้ำหนัก-หวี, -น้ำหนัก-fsm และ -น้ำหนัก-ยืนยัน ตัวเลือกคำสั่งอันดับ

-น้ำหนักสลับ จำนวน
ระบุการถ่วงน้ำหนักสัมพัทธ์สำหรับความครอบคลุมแบบสลับที่ใช้เพื่อจัดอันดับความครอบคลุมที่ไม่เหมือนกัน
คะแนน คุณค่าของ จำนวน สัมพันธ์กับค่าที่ใช้ใน -น้ำหนัก-หน่วยความจำ,
-น้ำหนักเส้น, -น้ำหนัก-หวี, -น้ำหนัก-fsm และ -น้ำหนัก-ยืนยัน ตัวเลือกคำสั่งอันดับ

ไม่รวม คำสั่ง

ตัวเลือกต่อไปนี้ใช้ได้กับคำสั่งไม่รวม:

-f ชื่อไฟล์
ระบุชื่อไฟล์ที่มีตัวเลือกเพิ่มเติมสำหรับคำสั่งแยก
ตัวเลือกนี้อาจระบุได้หลายครั้งตามความจำเป็นสำหรับการโทรครั้งเดียวไปยัง
ยกเว้นคำสั่ง

-h สร้างข้อมูลการใช้งานสำหรับคำสั่งแยก

-m อนุญาตให้ข้อความการยกเว้นเชื่อมโยงกับจุดครอบคลุมใด ๆ ที่เกิดขึ้น
จากรัฐรวมเป็นรัฐที่ยกเว้น สำหรับแต่ละจุดครอบคลุมที่ตรงกับ
ข้อกำหนดนี้ ผู้ใช้จะได้รับแจ้งให้ป้อนเหตุผล สาเหตุอาจจะ
ความยาวใด ๆ และจำนวนบรรทัดใด ๆ อย่างไรก็ตาม อักขระการจัดรูปแบบทั้งหมด (เช่น
การขึ้นบรรทัดใหม่ แท็บ ช่องว่างเพิ่มเติม ฯลฯ) จะถูกลบออกและแทนที่ด้วยบรรทัดเดียว
พื้นที่เมื่อจะแสดงในภายหลัง หากต้องการสิ้นสุดการป้อนข้อความ ให้กดย้อนกลับ
ป้อนอักขระจุดเดียว (.) แล้วกดย้อนกลับอีกครั้ง ช่วงสุดท้าย
อักขระจะไม่เป็นส่วนหนึ่งของข้อความยกเว้น

-p ทำให้จุดครอบคลุมที่ระบุทั้งหมดพิมพ์สถานะการยกเว้นปัจจุบันและ
เหตุผลการยกเว้น (ถ้ามีสำหรับจุดครอบคลุมที่ยกเว้น) ถึงมาตรฐาน
เอาท์พุท หากระบุตัวเลือกนี้ไว้ -m ตัวเลือกจะถูกละเว้น

ใช้ ที่อยู่ในขอบข่าย AS A VPI โมดูล

นอกเหนือจากการใช้คำสั่ง Covered's score เพื่อแยกวิเคราะห์ไฟล์ VCD, LXT2 หรือ FST เป็น abstract
ข้อมูลความครอบคลุม อาจใช้เป็นโมดูล VPI ภายในเครื่องจำลองเพื่อ
ดึงข้อมูลนี้ ข้อดีของการใช้ Covered เป็น VPI เหนือโปรแกรมอ่านไฟล์ดัมพ์
รวมสิ่งต่อไปนี้ ประการแรก ไฟล์ VCD อาจมีขนาดใหญ่มาก โดยเฉพาะอย่างยิ่งเป็นเวลานาน
การจำลองโดยใช้พื้นที่ดิสก์อันมีค่า ประการที่สอง หากคุณใช้เครื่องจำลองที่
ดัมพ์ไฟล์ในรูปแบบที่แตกต่างจาก VCD, LXT2 หรือ FST และคุณต้องการแปลงไฟล์ดัมพ์เหล่านี้
ไฟล์ประเภทใดรุ่นหนึ่งเหล่านี้ ค่าใช้จ่ายของพื้นที่ดิสก์และเวลาสามารถสร้างได้
dumpfiles ที่ Covered ต้องการสิ่งที่ไม่พึงปรารถนา นอกจากนี้ แม้ว่าจะใช้ Covered เป็น VPI
โมดูลจะชะลอความเร็วการจำลองของคุณ เป็นไปได้มากว่าเวลาทั้งหมดที่ใช้ไป
การจำลองการออกแบบของคุณและให้คะแนนการออกแบบในขั้นตอนเดียวจะสั้นกว่าการทำใน
สองขั้นตอน เป็นผลให้ยูทิลิตี้กำหนดค่าของ Covered สามารถสร้างไลบรารีที่พร้อม VPI สำหรับ
โปรแกรมจำลองเชิงพาณิชย์และฟรีต่อไปนี้ (Icarus Verilog, CVER และ VCS)

ในการสร้างไฟล์ไลบรารีที่พร้อมใช้งาน VPI โดยอัตโนมัติเมื่อสร้าง Covered จากแหล่งที่มา
เพียงระบุอย่างใดอย่างหนึ่งต่อไปนี้เมื่อเรียกใช้ยูทิลิตี้ "configure" ใน
ไดเร็กทอรีครอบคลุมฐาน: --with-iv= , --with-vcs=
เส้นทาง>, --with-cver= . หลังจากกำหนดค่า Covered แล้ว เพียงพิมพ์
'ทำ' และ 'ทำการติดตั้ง' การดำเนินการนี้จะติดตั้งไฟล์ไลบรารีที่พร้อมใช้งาน VPI ในไฟล์
ไดเร็กทอรี libexec การติดตั้ง (โดยค่าเริ่มต้นพาธนี้จะเป็น /usr/local/libexec)

ก่อนที่คุณจะพร้อมที่จะคอมไพล์การออกแบบ คุณต้องสร้างไฟล์ CDD ระดับบนสุดก่อน
ไฟล์ Verilog และไฟล์ตาราง PLI (ไฟล์สุดท้ายจำเป็นสำหรับคอมไพเลอร์ VCS เท่านั้น)
ทำได้โดยระบุ -วีพีไอ (ชื่อไฟล์) ตัวเลือกคำสั่งคะแนนของ Covered ถ้าไม่
ชื่อไฟล์ถูกระบุหลัง -vpi ไฟล์ที่ปกคลุม_vpi.v และ covered_vpi.ta b จะเป็น
สร้างขึ้นพร้อมกับไฟล์ความครอบคลุมที่สร้างขึ้น โปรดทราบว่าขั้นตอนนี้จะต้องเป็น .เท่านั้น
ดำเนินการเพียงครั้งเดียวเว้นแต่ไฟล์การออกแบบจะเปลี่ยนไป ตอนนี้คุณพร้อมที่จะรวบรวม
จำลอง

หากคุณกำลังรวบรวมการจำลอง Icarus Verilog เพียงเพิ่ม '-m
/usr/local/libexec/covered.vpi covered_vpi.v' ไปยังบรรทัดคำสั่ง 'iverilog' ครั้งหนึ่ง
การคอมไพล์เสร็จสมบูรณ์แล้ว ให้รันไฟล์เรียกทำงานที่สร้างขึ้นตามปกติ

หากคุณกำลังรวบรวมการจำลอง CVER เพียงเพิ่ม
'+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrap covered_vpi.v' ไปที่
บรรทัดคำสั่ง 'cver'

หากคุณกำลังรวบรวมการจำลอง VCS เพียงเพิ่ม '+vpi -load
/usr/local/libexec/covered.vcs.so:covered_register covered_vpi.v' เป็น 'vcs'
บรรทัดคำสั่ง. เมื่อคอมไพล์เสร็จแล้ว ให้รันไฟล์เรียกทำงานที่สร้างขึ้นตามคุณ
ปกติจะ

หากคุณกำลังรวบรวมการจำลอง NC-Verilog ให้เปลี่ยนไปใช้คำสั่ง irun ของ NC-Verilog เพื่อโหลด
วัตถุที่ใช้ร่วมกันที่ครอบคลุม: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
และเปิดใช้งานการเข้าถึงทั้งหมดด้วย '-access +rwc' คุณสามารถฮาร์ดโค้ดการโทร $covered_sim ลงใน
RTL ของคุณหรือคุณสามารถเรียกใช้แบบไดนามิกโดยใช้ CLI โดยเพิ่ม -input input.tcl
เปลี่ยนเป็นไอรัน โดยที่ไฟล์ input.tcl มีลักษณะดังต่อไปนี้ และ tb.dut คือ
ตัวอย่างความคุ้มครอง:
โทร -systf {$covered_sim} {"scored.cdd"} tb.dut
วิ่ง

มีสอง plusargs ที่สามารถส่งผ่านไปยังไฟล์เรียกทำงานที่สร้างขึ้นเมื่อรันนั้น
ครอบคลุมจะแยกวิเคราะห์ '+covered_cdd= ' ตัวเลือกจะทำให้ Covered ส่งออก
ให้คะแนนเนื้อหาการออกแบบไปยังไฟล์ CDD ที่ระบุโดย . อนุญาตให้รันได้หลายครั้ง
ของตัวจำลองเพื่อสร้างไฟล์ CDD ที่แตกต่างกันหลายไฟล์โดยไม่ต้องคอมไพล์ใหม่ไปยัง
เกิดขึ้น. ตัวเลือก '+covered_debug' จะทำให้ Covered ถ่ายโอนเอาต์พุตจำนวนมากเกินไป
เกี่ยวกับสถานะรันไทม์ภายในระหว่างการจำลอง เอาต์พุตนี้จะถูกสร้างขึ้นเท่านั้น
หาก Covered ได้รับการกำหนดค่าด้วยตัวเลือก --enable-debug ตัวเลือก plusarg นี้ไม่ควร
ใช้งานโดยผู้ใช้ทั่วไป เนื่องจากมีวัตถุประสงค์หลักเพื่อช่วยนักพัฒนาซอฟต์แวร์ Covered in
การแก้จุดบกพร่อง

ผู้เขียน

เทรเวอร์ วิลเลียมส์[ป้องกันอีเมล]>

ใช้ที่ครอบคลุมออนไลน์โดยใช้บริการ onworks.net