Moscone Center, San Francisco, DAC-ийг энэ сарын 25-28-нд зохион байгуулна
OneSpin Solutions болон Austemper Design Systems нь хоёулаа функциональ аюулгүй байдлыг баталгаажуулах хэрэгслүүдийг онцлон тэмдэглэх болно. Austemper нь KaleidoScope хэрэгслийн цуглуулгатай зэрэгцэн, холимог дохионы тархалтыг бий болгох аналог дизайныг дэмждэг бөгөөд чухал үүрэг бүхий системийн хөгжилд анхаарлаа төвлөрүүлэх болно. Автомат хэрэгслийн багц нь гэрчилгээжүүлэлтэд чиглэсэн хэрэглээний аюулгүй байдлын дүн шинжилгээ, синтез, баталгаажуулах чадвартай. Энэ нь ADAS болон бие даасан жолоодлогын томоохон хэмжээний автомашины загварт ашиглагддаг. Зэрэгцээ алдааны симуляци нь ISO 26262 стандартын дагуу ASIL-ийн шаардлагыг хангахын тулд зөвлөмж болгосон симуляцийг агуулдаг.
Тус компани саяхан OneSpin Solutions-тэй хамтран OneSpin лангуунд үзүүлэх дизайн, баталгаажуулалтын урсгалыг хослуулан аюулгүй ажиллагааны функциональ хэрэглээний хэрэгслийг дэмжих арга зүйг нэвтрүүлсэн. Тоног төхөөрөмжийн аюулгүй байдлын механизмыг чипний загварт оруулсан бөгөөд OneSpin Solutions ’хэрэгслүүд нь тоног төхөөрөмжийн аюулгүй байдлын логикийг албан ёсоор баталгаажуулдаг. Тэнцвэртэй байдлын шалгалт нь оруулсан аюулгүй байдлын логик нь байнгын ажиллагаатай байдалд нөлөөлөхгүй бөгөөд алдааг илрүүлэх шинжилгээ нь санамсаргүй алдаа гарсан тохиолдолд аюулгүй байдлын механизм зөв ажиллаж байгаа эсэхийг баталгаажуулдаг.
OneSpin нь багаж хэрэгслийг боловсруулах үйл явцыг TÜV SÜD-ээр баталгаажуулсны дараа багаж хэрэгслийн мэргэшлийн иж бүрдлийг сурталчилж байна. Анхны иж бүрдэл нь компанийн 360 EC-FPGA EDA хэрэгсэлд зориулагдсан бөгөөд FPGA дизайны урсгалыг хэрэгжилтийн алдаа гаргахаас сэргийлдэг дэс дараалсан эквивалентийн автомат шалгалт юм. Энэхүү хэрэгсэл нь ISO 26262, IEC 61508 ба EN 50128 стандартын гэрчилгээтэй.
FPGA ойлголт
FPGA дизайнтай хэвээр байгаа Plunify нь Xilinx-тэй хамтран Plunify Cloud платформоор дамжуулан Vivado дизайны багцыг үүлэн дээр санал болгов. Дизайнерууд Amazon Web Services (AWS) үүл дээр Vivado төсөл, түүний дотор лицензийг нэгтгэхэд 50c-аас бага мөнгө төлдөг.
Компани үүлэн дэх FPGA цаг хугацааг оновчтой болгохын тулд InTime хугацааг хаах програм хангамжийнхаа сайжруулалтыг харуулах болно (Зураг 1). InTime оновчлолын арга зүй нь цаг хугацааны давтамжийг 20-80% сайжруулж, цаг хугацааны шаардлагыг машинаар сурах замаар хэдэн долоо хоног биш хэдэн өдрийн дотор хангаж чаддаг. Програм нь цаг хугацааны хаалт, оновчлолыг түргэсгэж, үүлээр дамжуулан хандах боломжтой болно.
EFPGA технологийг сурталчлах Achronix Semiconductor нь IP мэргэжилтэн CAST-тай хамтран нэвтрүүлэх чадварыг нэмэгдүүлэх, санах ойн хадгалалтад хэмнэлт гаргах зорилгоор ажиллаж байна.
Хоёр үзэсгэлэнд CAST-ийн алдагдалгүй шахалтын IP-г мэдээллийн төв болон гар утасны захын өгөгдөл дамжуулах програмуудад ашиглах зорилгоор Achronix FPGA портфолд хэрхэн шилжүүлсэн талаар тайлбарлах болно. Deflate, GZIP, ZLIB-ийн алдагдалгүй шахалтын стандартын техник хангамжийн хэрэгжилт нь шахалт, задралд ашигладаг програм хангамжийн хэрэгслийн нийцтэй бөгөөд бага шахалт, бага хоцрогдол бүхий 100Gbit / s хүртэлх дамжуулах чадварыг хангаж, Speedcore eFPGA технологитой хослуулан том хөдөлгөж хадгалах боломжтой. бага эрчим хүчний хэрэглээтэй өгөгдөл.
CAST нь IP-ээ Achronix’s FPGA руу шилжүүлсэн
Эрчим хүчний хэмнэлт
Эрчим хүчний менежментийн тухай ярихад өөр нэг үзэсгэлэн гаргагч Баум чипний дизайны хамгийн сайн хөгжөөгүй газар гэж эрчим хүчний үр ашгийг тодорхойлжээ. Автоматжуулсан эрчим хүчний шинжилгээ, загварчлалын хэрэгсэл нь автомашины, IoT, хөдөлгөөнт, сүлжээ, серверийн төслүүдэд зориулагдсан болно. PowerBaum 2.0 (Зураг 3) нь динамик болон статик хүчийг дэмжиж, RTL болон netlist-ийн тодорхойлолтыг авч, тоног төхөөрөмжийн эмуляцаар хүч чадлын шинжилгээнд дэмжлэг үзүүлдэг. Энэ нь инженерүүд цахилгаан хангамжийн алдааг програм хангамжийн бодит хувилбаруудад засах боломжийг олгож байна гэж тус компани хэллээ. Энэхүү хэрэгсэл нь дизайнеруудын тодорхойлсон дурын температурт дүн шинжилгээ хийхийг дэмжиж, дизайны цахилгаан хэрэглээнд температурын нөлөөллийг үнэлэх боломжийг олгодог.
DAC дээр компани PowerBaum-тэй нэгтгэн цахилгаан загварчлах үүднээс PowerWurzel хэмээх хаалганы түвшний цахилгаан анализын хөдөлгүүрийг танилцуулах болно.
Зураг 3 Baum-ийн хэрэгслүүд нь эрчим хүчний үр ашигт дүн шинжилгээ хийдэг
Metrics-ийн IC дизайнд зориулсан үүлд суурилсан SoC дизайн, баталгаажуулах хэрэгсэлд симуляцийн шаардлага, нөөцийг удирдах, минут тутамд дээш эсвэл доош тохируулах зорилгоор боловсруулсан Cloud Simulator and Verification Manager багтдаг. Компани нь Google Cloud нь хэт ягаан туяаны стандартад нийцсэн SystemVerilog симуляцийн чадавхи болон эх, вэбэд суурилсан баталгаажуулалтын менежментийг регрессийн илүү хурдан хугацаанд хийх, их биеийн кодын алдааг багасгах, кодын урьдчилан таамаглах боломжийг олгодог гэж мэдэгдэж байна.
Үзэсгэлэнд оролцогчдоос гадна уг арга хэмжээ нь техникийн салбар хуралдаанууд болон сэдэвчилсэн сэдвүүдийг хөндсөн онцлох хөтөлбөрүүдийг зохион байгуулдаг. Жишээлбэл, энэ жил Каденсэд ‘Автомашины хэрэглээний функциональ аюулгүй байдал ба найдвартай байдал’, мөн нэг машин сургах хичээлийг (‘Машин сурах нь яриаг таних чадварыг дараагийн түвшинд хүргэх’) хичээлийг зохион байгуулна. Анна-Катрина Шедлецкий, Инструментал, 6-р сарын 25-ны Даваа гарагт хийсэн чухал илтгэлд ‘Оюун ухааныг автоматжуулах: Машин судлал ба үйлдвэрлэлийн ирээдүй’ сэдэвт анхаарлаа хандуулах болно. Нийгмийн тусламжийн робот (SAR) -д ML ба AI ашиглах талаар Пүрэв гарагт хийсэн илтгэлд Өмнөд Калифорнийн Их Сургуулийн Майя Матарич оролцож ‘Automation vs Augmentation: Socially Assistive Robotocs and the Future Work’ -ийг танилцуулах болно.
Өөр нэг чухал үг нь RISC-V-ийг архитекторчдыг өмчлөлийн зааварчилгааны архитектураас (ISA) чөлөөлөх хэрэгсэл болгон ашигладаг. Google ба Калифорнийн Их Сургуулийн Дэвид А Паттерсон ‘Компьютерийн архитектурын шинэ алтан үе: Домэйны онцлог хурдасгуур ба нээлттэй RISC-V’ -ийг танилцуулах болно.
Энэ онд DAC-ийн шинэ чиглэл бол Дизайн дэд бүтцийн гудамж юм. ESD Alliance болон Өндөр гүйцэтгэлтэй тооцооллын мэргэжилтнүүдийн холбооны санаачилга нь цахим систем, бүрэлдэхүүн хэсгүүдийн дизайны мэдээллийн технологийн дэд бүтцэд зориулагдсан газар юм. Үүлийг төлөвлөх, ашиглах менежментийн тооцоолол, хадгалалтын шаардлагаас гадна лицензийн менежмент, сүлжээний тооцоолол, өгөгдлийн аюулгүй байдлын талаар ярилцах зориулалттай "Cloud-on-the-Cloud" павильоны театр байдаг.