Moscone Center, San Francisco, DAC-a 25-28 iyun tarixlərində ev sahibliyi edəcək
OneSpin Solutions və Austemper Design Systems, həm də funksional təhlükəsizliyin yoxlanılması üçün alətləri vurğulayacaqdır. Austemper, eyni vaxtda, qarışıq siqnal səhvlərinin yayılması üçün analoq dizaynı dəstəkləyən KaleidoScope alət dəsti ilə kritik sistem inkişafına diqqət yetirəcəkdir. Avtomatlaşdırılmış alət dəsti sertifikatlaşdırma yönümlü tətbiqetmələr üçün təhlükəsizlik təhlili, sintez və doğrulama imkanlarına malikdir. ADAS və muxtar sürücülükdə geniş miqyaslı avtomobil dizaynları üçün istifadə olunur. Paralel nasazlıq simulyasiyasına, ASIL tələblərinə cavab vermək üçün ISO 26262 tərəfindən tövsiyə olunan simulyasiyalar daxildir.
Şirkət, bu yaxınlarda OneSpin Çözümləri ilə əməkdaşlıq edərək, OneSpin kabinəsində nümayiş etdiriləcək bir dizayn və doğrulama axınını birləşdirərək funksional təhlükəsizlik tətbiqetmələri üçün bir alət dəstəyi metodologiyası qəbul etdi. Avadanlıq təhlükəsizliyi mexanizmləri çip dizaynlarına daxil edilir və OneSpin Solutions ’alətləri hardware təhlükəsizliyi məntiqini rəsmi olaraq təsdiqləyir. Ekvivalentliyin yoxlanılması daxil edilmiş təhlükəsizlik məntiqinin müntəzəm işləkliyə təsir etməməsini təmin edir və səhv aşkarlama təhlili təhlükəsizlik mexanizmlərinin təsadüfi səhvlər halında düzgün işlədiyini təsdiqləyir.
OneSpin, TÜV SÜD tərəfindən alət inkişaf etdirmə proseslərinin təsdiqlənməsindən sonra Tool Kvalifikasiya dəstini də təqdim edir. İlkin dəst, şirkətin 360 EC-FPGA EDA aləti üçün mövcuddur, FPGA dizayn axınlarının tətbiq səhvlərini qarşısını alan avtomatik ardıcıl ekvivalentlik yoxlanışı. Dəst ISO 26262, IEC 61508 və EN 50128 sertifikatına malikdir.
FPGA anlayışları
Hələ FPGA dizaynı ilə Plunify, Xilinx ilə əməkdaşlıq edərək Plunify Cloud platforması vasitəsi ilə Vivado dizayn paketini buludda təqdim etdi. Dizaynerlər, Amazon Web Services (AWS) buluduna lisenziyalar da daxil olmaqla bir Vivado layihəsi tərtib etmək üçün 50c qədər az pul ödəyirlər.
Şirkət, buludda FPGA zamanlamasını optimallaşdırmaq üçün InTime vaxtı bağlama proqramına da əlavələr nümayiş etdirəcəkdir (şəkil 1). InTime Optimizasiya Metodologiyası, saat tezliyini 20-80% -ə qədər inkişaf etdirə bilər və vaxt öyrənmə tələblərini maşın öyrənmə yolu ilə həftələrlə deyil, günlərlə yerinə yetirə bilər. Proqram eyni zamanda vaxtın bağlanmasını və optimallaşdırılmasını sürətləndirir və bulud vasitəsilə əldə edilir.
EFPGA texnologiyasını təbliğ edən Achronix Semiconductor, iş qabiliyyətini artırmaq və yaddaş yaddaşına qənaət etmək üçün IP mütəxəssisi CAST ilə əməkdaşlıq edir.
İki sərgi, CAST-nin itkisiz sıxılma IP-nin məlumat mərkəzi və mobil kənar məlumat ötürmə tətbiqetmələrində istifadə üçün Achronix FPGA portfelinə necə köçürüldüyünü izah edəcəkdir. Deflate, GZIP və ZLIB üçün itkisiz sıxılma standartının aparat tətbiqi, böyük hərəkət etmək və saxlamaq üçün Speedcore eFPGA texnologiyası ilə birləşərək, aşağı sıxılma və aşağı gecikmə ilə 100Gbit / s-ə qədər istehsal təmin etmək üçün sıxılma və ya dekompressiya üçün istifadə olunan proqram tətbiqetmələri ilə uyğundur. aşağı enerji istehlakında məlumatlar.
CAST, IP'sini Achronix’in FPGA'larına köçürdü
Enerji səmərəliliyi
Enerji idarəetməsindən bəhs edən başqa bir sərgi iştirakçısı Baum, enerji səmərəliliyini çip dizaynında ən az inkişaf etmiş sahə olaraq təyin edir. Avtomatlaşdırılmış güc analizi və modelləşdirmə vasitəsi avtomobil, IoT, mobil, şəbəkə və server layihələri üçün nəzərdə tutulmuşdur. PowerBaum 2.0 (Şəkil 3) RTL və netlist təsvirlərini alaraq dinamik və statik gücü dəstəkləyir və donanım emulyasiyası ilə güc analizi üçün dəstək əlavə edir. Şirkət bildirir ki, bu, mühəndislərə elektrik səhvlərini real proqram ssenarilərində düzəltməyə imkan verir. Alət ayrıca bir dizaynın enerji istehlakına təsirini qiymətləndirmək üçün dizaynerlər tərəfindən təyin olunan təsadüfi temperaturlarla təhlili dəstəkləyir.
DAC-da şirkət, güc modelləşdirilməsi üçün PowerBaum ilə inteqrasiya ediləcək bir qapı səviyyəsində güc analizi mühərriki olan PowerWurzel'i də təqdim edəcəkdir.
Şəkil 3 Baum alətləri enerji səmərəliliyini təhlil edir
Metriklərdən IC dizaynı üçün bulud əsaslı SoC dizaynı və doğrulama alətləri, simulyasiya tələblərini və mənbələrini idarə etmək üçün hər dəqiqə yuxarı və ya aşağı tənzimləmək üçün hazırlanmış Bulud Simulyatoru və Doğrulama Meneceri daxildir. Şirkət, Google Cloud'un sınırsız UVM uyğun SystemVerilog simulyasiya qabiliyyətinə və daha sürətli reqressiya müddətləri, azalmış magistral kod səhvləri və proqnozlaşdırıla bilən kod əhatə dairəsi üçün yerli, veb əsaslı doğrulama idarəçiliyi təmin etdiyini iddia edir.
Sərgi iştirakçılarından başqa, tədbirdə texniki seanslar və aktual sahələri əhatə edən əsas qeydlər proqramı təşkil olunur. Məsələn, bu il Cadence, ‘Avtomobil Tətbiqləri üçün İşlevsel Təhlükəsizlik və Etibarlılıq’, bir də maşın öyrənmə mövzusunda (‘Maşın Öyrənmə Danışıq Tanıma Performansını Gələcək Səviyyə Qurtarır’) dərs verəcəkdir. Instrumental-dan Anna-Katrina Shedletsky-nin 25 iyun Bazar ertəsi günü etdiyi əsas məruzə ‘Zəkanın avtomatlaşdırılması: Maşın Təhsili və İstehsalın Gələcəyi’ mövzusunda olacaq. Sosial yardım robotu (SAR) üçün ML və AI istifadə cümə axşamı Cənubi Kaliforniya Universiteti Maja Matarić tərəfindən 'Automation vs Augmentation: Socially Assistive Robotocs and Work Future' təqdim edəcək.
Digər bir əsas məruzə, RISC-V-i memarları mülkiyyət təlimatı arxitekturasından (ISA) azad etmək üçün bir vasitə kimi müdafiə edir. Google və Kaliforniya Universiteti David A Patterson ‘Kompüter Memarlığı üçün Yeni Qızıl Çağ: Domen Xüsusi Sürətləndiricilər və Açıq RISC-V’ təqdim edəcək.
DAC-da bu il yeni bir sahə Dizayn İnfrastruktur Xiyabanıdır. ESD İttifaqı və Yüksək Performanslı Hesablama Peşəkarları Assosiasiyasının təşəbbüsü, elektron sistemlərin və komponentlərin dizaynı üçün İT infrastrukturuna həsr olunmuş bir sahədir. Buludun dizaynı və istifadəsinin idarə edilməsi üçün hesablama və saxlama tələblərinin yanında lisenziyanın idarə olunması, şəbəkə hesablaması və məlumat təhlükəsizliyini müzakirə edən xüsusi bir Bulud dizaynı pavilyon teatrı mövcuddur.