Siemens พาร์ทเนอร์ระดับแพลตินัมฮ่องกง · เซินเจิ้น · กว่างโจว · ซูโจว · ตงกวน
สายด่วน 400-830-8566
ระบบอัตโนมัติในการออกแบบอิเล็กทรอนิกส์

คำถามที่พบบ่อย

ความคุ้มครองการทำงานตัดสินใจว่าคุณกล้าเทปออก

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

ภาพรวมของ

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

Questa นำทั้งสามเข้าไปในแพลตฟอร์มเดียวสนับสนุน SystemVerilog, uvm และวิธีการหลักอื่นๆสำหรับทีมที่ทำงานใน uvm ความสามารถในการดีบักและการปกปิดคือสิ่งที่กำหนดผลผลิตในแต่ละวัน

การวางตำแหน่ง
แพลตฟอร์มการตรวจสอบการทำงานแบบดิจิตอล
วิธีการ
การจำลอง/เป็นทางการ/ครอบคลุม
มาตรฐานภาษาภาษา
ระบบตรวจสอบ, uvm, SystemC
การปรับใช้
ภายในองค์กร/คลาวด์
การใช้งานทั่วไป
การตรวจสอบการทำงานของชิปการตรวจสอบ IP
ความสามารถที่สำคัญ

ความสามารถที่สำคัญ

การจำลองประสิทธิภาพสูง

เครื่องยนต์จำลองที่รวดเร็วสำหรับ SystemVerilog และ uvm.

การตรวจสอบอย่างเป็นทางการ

คณิตศาสตร์พิสูจน์คุณสมบัติที่สำคัญถึงมุมจำลอง misses.

การวิเคราะห์ครอบคลุม

รหัสการทำงานและ assertion ครอบคลุมกับการวิเคราะห์ปิด

สภาพแวดล้อมการดีบัก

การวินิจฉัยการดีบักระดับคลื่นการทำธุรกรรมและการตรวจสอบ

การจัดการการตรวจสอบ

การจัดการการถดถอยและการติดตามผลลัพธ์

การรวมกิจการภายนอก

ทำงานร่วมกับเครื่องจำลองกระแสหลักและ IP การตรวจสอบ

สินค้าที่ส่งให้คืออะไร

สินค้าที่ส่งให้คืออะไร

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

โมดูลและส่วนประกอบ

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

การใช้งานทั่วไป

การตรวจสอบการทำงานของชิปสภาพแวดล้อมการตรวจสอบ uvmปิดครอบคลุมการตรวจสอบความเท่าเทียมกันและเป็นทางการการตรวจสอบ IPการจัดการการถดถอย

ลองพูดคุยเกี่ยวกับโครงการของคุณ

ไม่ว่าคุณจะกำลังประเมินซอฟต์แวร์ scoping โครงการหรือติดอยู่ในปัญหาทางวิศวกรรมที่เฉพาะเจาะจง-เริ่มต้นด้วยการสนทนา