მოსკონის ცენტრი, სან – ფრანცისკო, DAC– ს 25–28 ივნისს უმასპინძლებს
OneSpin Solutions და Austemper Design Systems ხაზს უსვამენ ფუნქციური უსაფრთხოების შემოწმების ინსტრუმენტებს. ოსტემპერი ყურადღებას გაამახვილებს მისიაზე კრიტიკული სისტემის შემუშავებაზე, 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– თან, რომ Vivado დიზაინის კომპლექტი შესთავაზოს ღრუბელში, Plunify Cloud პლატფორმის საშუალებით. დიზაინერები იხდიან 50c- ს, Amazon Web Services (AWS) ღრუბელზე Vivado პროექტის შესადგენად, ლიცენზიების ჩათვლით.
კომპანია ასევე დემონსტრირებს თავის InTime დროის დახურვის პროგრამული უზრუნველყოფის გაუმჯობესებებს Cloud- ში FPGA დროის ოპტიმიზაციისთვის (სურათი 1). InTime ოპტიმიზაციის მეთოდოლოგიას შეუძლია საათის სიხშირის გაუმჯობესება 20 – დან 80% –მდე და დროის მოთხოვნების დაკმაყოფილება დღეებში, ვიდრე კვირაში მანქანით სწავლის საშუალებით. პროგრამა ასევე აჩქარებს დროის დახურვას და ოპტიმიზაციას და მასზე წვდომა ხდება ღრუბლის საშუალებით.
EFPGA ტექნოლოგიის პოპულარიზაციის მიზნით, Achronix Semiconductor თანამშრომლობს IP სპეციალისტ CAST– სთან, რათა გაზარდოს გამტარუნარიანობა და დაზოგოს მეხსიერება მეხსიერების მეხსიერებაში.
ორი გამოფენის მონაწილეები განმარტავენ, თუ როგორ გადაეცა CAST- ის უპრობლემო კომპრესიული IP Achronix FPGA პორტფელს მონაცემთა ცენტრში და მობილური ინტერნეტის მონაცემთა გადაცემის პროგრამებში გამოსაყენებლად. დეფლატის, GZIP და ZLIB– ის უდანაკარგო კომპრესიის სტანდარტის აპარატული უზრუნველყოფა თავსებადია პროგრამული უზრუნველყოფის იმპლემენტაციასთან, რომელიც გამოიყენება შეკუმშვის ან დეკომპრესიისთვის, 100 გბტ / წმ – მდე გამტარუნარიანობის უზრუნველსაყოფად დაბალი კომპრესიითა და მცირე შეყოვნებით, ასევე Speedcore eFPGA ტექნოლოგიის გადაადგილებისა და შენახვის ტექნოლოგიით. მონაცემები დაბალი ენერგიის მოხმარებაზე.
CAST- მა გადააქცია თავისი IP Achronix's FPGA- ებზე
ენერგოეფექტურობა
ენერგიის მენეჯმენტზე საუბრისას, კიდევ ერთი გამოფენაზე, Baum, განსაზღვრავს ენერგოეფექტურობას, როგორც ჩიპების დიზაინში ყველაზე ნაკლებად განვითარებულ ადგილს. მისი ავტომატიზირებული ენერგიის ანალიზისა და მოდელირების ინსტრუმენტი განკუთვნილია საავტომობილო, IoT, მობილური, ქსელური და სერვერული პროექტებისთვის. PowerBaum 2.0 (სურათი 3) მხარს უჭერს დინამიურ და სტატიკურ ენერგიას, იღებს RTL და netlist აღწერილობებს და ემატება ენერგიის ანალიზის მხარდაჭერა აპარატურის იმიტაციით. ეს აცხადებს კომპანია, ინჟინრებს საშუალებას აძლევს შეცვალონ ელექტროენერგიის შეცდომები რეალურ პროგრამულ სცენარებში. ეს ინსტრუმენტი ასევე ხელს უწყობს თვითნებური ტემპერატურის ანალიზს, რომელიც განსაზღვრულია დიზაინერების მიერ, რათა შეფასდეს ტემპერატურის გავლენა დიზაინის ენერგომოხმარებაზე.
DAC– ზე კომპანია ასევე წარადგენს PowerWurzel– ს, კარიბჭის დონის დენის ანალიზის ძრავას, რომელიც ინტეგრირდება PowerBaum– ში ენერგიის მოდელირებისთვის.
დიაგრამა 3 ბაუმის ინსტრუმენტები აანალიზებს ენერგოეფექტურობას
Cloud- ზე დაფუძნებული SoC დიზაინისა და გადამოწმების საშუალებები IC დიზაინისთვის Metrics- დან მოიცავს Cloud Simulator და Verification Manager, შექმნილია სიმულაციური მოთხოვნებისა და რესურსების სამართავად, მათი რეგულირება ყოველ წუთში ზემოთ ან ქვემოთ. კომპანია აცხადებს, რომ Google Cloud საშუალებას იძლევა შეუზღუდავი UVM- დამთხვევა SystemVerilog სიმულაციური სიმძლავრისა და ვებგვერდზე დაფუძნებული გადამოწმების მენეჯმენტისთვის უფრო სწრაფი რეგრესიის დროით, მაგისტრალური კოდის შეცდომებით და კოდის პროგნოზირებადი დაფარვით.
გამოფენის გარდა, ღონისძიება მასპინძლობს ტექნიკურ სესიებს და კონფერენციის მონაწილეების პროგრამას, რომელიც ეხება აქტუალურ თემებს. წელს, მაგალითად, Cadence უმასპინძლებს სახელმძღვანელოს "ფუნქციური უსაფრთხოება და საიმედოობა საავტომობილო პროგრამებისთვის", და ერთი მანქანაზე სწავლის შესახებ ("მანქანური სწავლება მეტყველების ამოცნობის ეფექტურობას შემდეგ დონეზე მიჰყავს"). ანა-კატრინა შედლეცკის, Instrumental- ის მთავარი მოხსენება ორშაბათს, 25 ივნისს, ყურადღებას გაამახვილებს "დაზვერვის ავტომატიზირებაზე: მანქანური სწავლება და წარმოების მომავალი". ML და AI– ს გამოყენება სოციალურად დამხმარე რობოტიკისთვის (SAR) შეისწავლა სამხრეთ კალიფორნიის უნივერსიტეტის მაია მატარიჩის მთავარ მოხსენებაში, რომელიც წარმოგიდგენთ "ავტომატიზაცია წინააღმდეგ გადიდება: სოციალურად დამხმარე რობოტები და მუშაობის მომავალი".
კიდევ ერთი კონფერენციის მონაწილეები მხარს უჭერენ RISC-V- ს, როგორც საშუალება არქიტექტორებს გაათავისუფლონ საკუთრების ინსტრუქციების კომპლექტის არქიტექტურებისაგან (ISA). დევიდ პატერსონი, Google და კალიფორნიის უნივერსიტეტი, წარმოგიდგენთ "ახალ ოქროს ხანას კომპიუტერული არქიტექტურისთვის: დომენის სპეციფიკური ამაჩქარებლები და Open RISC-V".
წელს DAC– ში ახალი სფეროა Design Infrastructure Alley. ESD ალიანსისა და მაღალკვალიფიციური გამოთვლითი პროფესიონალების ასოციაციის ინიციატივა წარმოადგენს IT ინფრასტრუქტურას, რომელიც განკუთვნილია ელექტრონული სისტემებისა და კომპონენტების შესაქმნელად. ასევე გამოთვლისა და შენახვის მოთხოვნები Cloud– ის დიზაინისა და გამოყენების მართვისთვის, გამოყოფილია Design – on-the-Cloud პავილიონის თეატრი, სადაც განხილულია ლიცენზიის მენეჯმენტი, ქსელის გამოთვლა და მონაცემთა უსაფრთხოება.