Logo Zephyrnet

Nhãn: Bernard Murphy

MIPI trong ô tô – Vận chuyển từ cảm biến đến máy tính

Tôi đã viết đi viết lại về các cảm biến, suy luận ML về đầu ra của các cảm biến đó và ứng dụng của cả hai trên ô tô hiện đại. Cũng không...

Tin tức hàng đầu

Kiểm tra Đặt hàng cho Agile. Đổi mới trong xác minh

Chúng ta có thể yêu cầu kiểm tra hồi quy cho các luồng tích hợp liên tục (CI), giảm thiểu thời gian giữa các lần xác nhận mã và phản hồi về lỗi không? Paul Cunningham (Phó chủ tịch/GM cấp cao, Xác minh...

Đối tác của Arm và Arteris về Ô tô

Bất cứ khi nào một quan hệ đối tác mới được công bố, câu hỏi tự nhiên là "tại sao?" Sự hợp tác này sẽ làm được điều gì mà hai người đó chưa thể làm được...

Cập nhật, lộ trình của Arm 2022 Neoverse

Arm gần đây đã cung cấp bản cập nhật hàng năm của họ về dòng sản phẩm Neoverse, nhắm mục tiêu vào cơ sở hạ tầng từ đám mây đến truyền thông đến biên. Chris Bergey (SVP và...

Tăng tốc phần cứng xác minh quản lý tải trong đám mây

Có lý do khiến hoạt động kinh doanh công cụ tăng tốc phần cứng xác minh đang phát triển ấn tượng như vậy. Các SoC hiện đại – hiện nay là các thiết bị có nhiều tỷ cổng – phải được xác minh/xác thực...

Cuối cùng, một cuộc tấn công nghiêm trọng vào năng suất gỡ lỗi

Công nghệ xác minh đã phát triển ở hầu hết các lĩnh vực trong những năm qua. Hiện tại, chúng tôi hoạt động hiệu quả hơn đáng kể trong việc tạo các thử nghiệm cho khối, SoC và kết hợp...

Synopsys Vision Processor Bên trong SiMa.ai Edge ML Platform

SiMa.ai vừa thông báo rằng họ đã đạt được thành công silicon đầu tiên trên MLSoC mới của họ, cho các ứng dụng AI ở rìa, sử dụng thiết kế, xác minh, IP của Synopsys ...

Kết nối SystemC với SystemVerilog

Siemens EDA rõ ràng đang thực hiện sứ mệnh giúp những người xác minh tận dụng tối đa các công cụ và phương pháp của họ. Gần đây họ đã xuất bản một tờ giấy trắng...

Đồng tiền trong các thiết kế không đồng nhất

Bạn đã bao giờ tự hỏi tại sao mạng mạch lạc lại cần thiết ngoài thiết kế máy chủ? Giá trị của tính nhất quán trong bộ nhớ cache trong máy chủ đa lõi hoặc nhiều lõi hiện nay ...

Phát hiện mối nguy hiểm bằng cách sử dụng Petri Nets. Đổi mới trong xác minh

Mô hình hóa và xác minh các hệ thống không đồng bộ là một thách thức thường xuyên. Mô hình mạng Petri có thể đưa ra câu trả lời. Paul Cunningham (GM, Xác minh tại Cadence), Raúl Camposano...

Đa hình UVM là bạn của bạn

Rich Edelman của Siemens EDA gần đây đã xuất bản một bài báo về chủ đề này. Tôi biết Rich từ những ngày chúng tôi cùng nhau ở giải National Semi. Và...

Phân tích phạm vi trong Questa Visualizer

Phân tích mức độ bao phủ là cách bạn trả lời câu hỏi “tôi đã kiểm tra đủ chưa?” Bạn cần một số cách để định lượng mức độ hoàn chỉnh của thử nghiệm của chúng tôi; phủ sóng...

Thiết kế SoC dựa trên NoC. Một quan điểm của Sondrel

Tại sao các NoC lại quan trọng trong các SoC hiện đại và các phương pháp thiết kế tốt nhất để sử dụng NoC là gì? Như mọi khi, một nơi tuyệt vời để bắt đầu là ...

Tin tức mới nhất

tại chỗ_img
tại chỗ_img