Verifikasi formal diterapkan lebih sering dan di lebih banyak tempat dalam desain chip seiring bertambahnya jumlah kemungkinan interaksi, dan seiring penggunaan chip tersebut dalam aplikasi yang lebih penting.
Di masa lalu, sebagian besar verifikasi formal difokuskan pada apakah sebuah chip akan berfungsi dengan baik. Namun ketika desain menjadi lebih kompleks dan heterogen, dan seiring dengan perubahan kasus penggunaan, verifikasi formal digunakan dalam segala hal mulai dari menilai dampak partisi hingga menelusuri sumber korupsi data yang diam-diam. Teknologi ini bahkan digunakan untuk mengidentifikasi kemungkinan vektor serangan siber, dan untuk melacak bagaimana daya disalurkan dan digunakan dalam suatu perangkat.
“Desain berdaya rendah telah ada sejak lama, namun pendekatan ini sebagian besar diterapkan pada chip seluler,” menurut Sean Safarpour, direktur grup R&D di Sinopsis Grup EDA. “Sekarang sudah menyeluruh. Demikian pula, kami melihat lebih banyak AI/ML yang digunakan dalam akselerator, dan jumlah pekerjaan yang dapat Anda lakukan per daya merupakan faktor pendorong utama. Jadi sekarang bagi semua orang, apa pun yang mereka lakukan, desain berdaya rendah adalah sebuah kekhawatiran besar. Kaitannya dengan verifikasi formal adalah adanya cara-cara khusus yang dapat digunakan untuk menyelesaikan beberapa masalah tersebut.”
Ini bukan lagi sekedar tentang gerbang jam optimasi, yang melibatkan menjalankan kembali regresi simulasi untuk memastikan semuanya benar. Saat ini, kekuasaan perlu dipertimbangkan dalam konteks komponen lain dalam suatu sistem, dan terkadang antar sistem. Tanpa formal, hal itu akan memakan waktu jauh lebih lama, jika hal itu bisa dilakukan. Hal ini juga perlu dikaji dalam konteks kasus penggunaan dan beban kerja yang berbeda, di mana daya perlu ditelusuri mulai dari pengiriman hingga pemanfaatan.
“Jika Anda melakukan clock gating, kami dapat melakukan analisis dengan dan tanpa clock gating dan memberi tahu Anda secara pasti apakah fungsinya sama, atau apakah Anda mungkin mengalami bug dan ada yang rusak di tengah prosesnya,” kata Safarpour. “Berdasarkan permintaan pengguna, kini dimungkinkan untuk mempertimbangkan maksud kekuasaan melalui file UPF. Lima atau enam tahun lalu, kami tidak menerima permintaan seperti itu. Sekarang mereka begitu menonjol, orang-orang berkata, 'Saya melakukan verifikasi properti. Saya punya pernyataan saya. Tapi sekarang saya ingin memeriksa pernyataan tersebut di hadapan UPF saya. Saya melakukan pemeriksaan konektivitas tingkat SoC,' yang merupakan aplikasi spesifik lainnya. Tapi itu tidak lengkap kecuali Anda memperhitungkan UPF penuh dari desainnya. Formal mampu masuk ke area yang sangat spesifik ini sehingga pengguna dapat berkata, 'Tunggu sebentar, kita tidak perlu mengulang seluruh rangkaian regresi kita. Kita dapat mengatasi masalah-masalah khusus ini dan menyelesaikannya secara mendalam.' Itulah nilai sebenarnya dari formal. Hal ini bersifat menyeluruh, jadi ketika Anda melihat keseluruhan rencana pengujian Anda, dan Anda melihat beberapa aspek ini, apakah itu daya rendah, atau keamanan, kita bisa membahas semua ini. Anda akan memiliki item baris khusus untuk ini dalam rencana pengujian Anda. Beberapa di antaranya dapat Anda selesaikan secara menyeluruh dengan verifikasi formal, yang merupakan salah satu alasan mengapa hal ini semakin menonjol saat ini seiring dengan semakin besarnya ruang permasalahan.”
Sederhananya, kesenjangan cakupan yang dapat diterima di masa lalu ketika fitur lebih sedikit dan siklus hidup lebih pendek tidak dapat diterima di banyak aplikasi saat ini.
“Semua orang selalu berbicara tentang kompleksitas yang semakin meningkat, dan banyak orang akan menggunakan hal tersebut sebagai alasan untuk melakukan sesuatu secara berbeda,” kata Chris Giles, kepala manajemen produk untuk solusi statis dan formal di EDA Siemens. “Ketika kita melihat keberhasilan pasar, dan proses pembangunan secara umum, apa yang kita lihat adalah bahwa meskipun terdapat peningkatan investasi dalam verifikasi selama beberapa dekade, hal ini tidak dapat mengimbangi peningkatan kompleksitas. Jadi, meskipun kita semua menyadari bahwa kompleksitas terus meningkat, cara kita meresponsnya sebagai sebuah industri tidaklah seefektif yang seharusnya. Pergeseran yang terlihat dalam beberapa tahun terakhir adalah tuntutan dunia terhadap silikon, dan di sinilah verifikasi formal menjadi persyaratan mutlak. Apa yang dituntut dunia terhadap silikon saat ini adalah pendekatan verifikasi yang berbeda. Yang kami tuntut bukan lagi soal kompleksitas. Ini tentang keamanan. Ini tentang keamanan. Ini tentang kepercayaan. Ini tentang jaminan. Dan semua hal ini sangat sulit dibuktikan dengan metodologi simulasi linier.”
Hal ini, pada gilirannya, telah menciptakan ledakan permintaan akan verifikasi formal. “Di sinilah keunggulan formal,” kata Giles. “Karena sifatnya yang menyeluruh, verifikasi formal dapat membuktikan secara meyakinkan bahwa suatu desain aman, aman, atau dapat dipercaya. Ada banyak pekerjaan yang sedang dilakukan di industri ini untuk mensertifikasi properti ini, sehingga memiliki alur yang menghasilkan sertifikasi tersebut sangatlah penting. Di sinilah formalitas menjadi sangat penting. Jika Anda melihat industri kekayaan intelektual, perusahaan kekayaan intelektual belum tentu mengetahui produk akhir dari kekayaan intelektual mereka, sehingga mereka harus merencanakan pertanyaan-pertanyaan seperti itu. Bagaimana saya tahu bahwa ini adalah desain yang aman? Bagaimana saya tahu bahwa ini adalah desain yang dapat dipercaya? Bagaimana saya tahu bahwa aman untuk mengendalikan nyawa manusia? Ini adalah hal-hal yang bahkan harus dikhawatirkan oleh tim IP saat ini.”
Pete Hardee, direktur manajemen produk di Grup Sistem & Verifikasi di Irama, mengatakan dia telah melihat pertumbuhan fenomenal dalam penggunaan verifikasi formal selama dekade terakhir. “Tidak diragukan lagi ini telah 'melintasi jurang' dan digunakan secara luas. Ini adalah alat yang sangat diperlukan dalam gudang verifikasi bagi sebagian besar perusahaan semikonduktor terkemuka.”
Meningkatnya kompleksitas, baik untuk SoC node tingkat lanjut maupun perakitan heterogen dalam sebuah paket, memerlukan lebih banyak verifikasi. “Kebutuhan verifikasi cenderung meningkat secara eksponensial seiring dengan kompleksitas desain,” kata Hardee. “Efek utamanya ada dua. Pertama, dengan verifikasi hierarki berbasis IP, pembagian dan penaklukan telah menjadi faktor utama keberhasilan verifikasi – verifikasi blok atau subsistem IP secara menyeluruh, lalu periksa integrasi yang benar dan tidak ada yang rusak di tingkat berikutnya. Untuk verifikasi berbasis IP, verifikasi formal telah ditingkatkan untuk mencapai persetujuan formal bagi banyak, namun tidak semua, jenis IP. Ruang negara masih bisa menjadi masalah, meskipun ada kemajuan besar dalam skalabilitas formal. Misalnya, protokol serial yang kompleks masih menjadi tantangan untuk verifikasi formal – kedalaman sekuensialnya seringkali terlalu tinggi. Beberapa teknik formal dapat ditingkatkan ke tingkat chip, namun hanya dalam beberapa cara yang terbatas – penandatanganan formal penuh untuk SoC digital besar masih terlalu menantang.”
Desain berbasis prosesor selalu menjadi tantangan, namun sangat sulit untuk diverifikasi ketika menggunakan arsitektur khusus domain. “Ada peningkatan besar dalam desain yang dapat diprogram secara besar-besaran – arsitektur multi-prosesor yang menggunakan banyak rangkaian inti prosesor yang homogen atau heterogen tergantung pada aplikasi vertikal,” katanya. “Untuk prosesor aplikasi, pertarungan Arm versus x86 ISA kini telah dibuka oleh RISC-V. GPU telah ada sejak lama, namun banyak jenis co-processor dan akselerator matematika lainnya yang sudah umum, terutama saat ini didorong oleh revolusi AI/ML. Setiap orang merancang varian aplikasi dan inti matematika mereka sendiri yang dioptimalkan untuk kekuatan, kinerja, dan kebutuhan area mereka.” Irama mengacu pada fenomena ini sebagai arsitektur khusus domain (DSA).
Kekhawatiran terhadap keandalan juga menyebar ke perangkat yang tidak kritis sekalipun. “Setiap desain dapat memiliki solusi verifikasi formal, termasuk desain yang didominasi aritmatika,” kata Ashish Darbari, CEO aksioma. “Desain yang didominasi aritmatika mendapatkan manfaat dari solusi canggih dari penyedia alat verifikasi formal terbesar, yang semuanya memiliki solusi yang melayani verifikasi aritmatika, terutama pada sisi floating point. Dalam skala besar, hal ini belum tentu merupakan pekerjaan yang besar, namun cukup signifikan dan penting bagi kita untuk tidak melihat ke arah lain.”
Hal ini telah membuka pintu bagi penggunaan formal jauh lebih awal, sehingga dapat digunakan untuk mencegah penundaan terkait desain, dan di komunitas teknik yang lebih luas. Namun hal ini juga menimbulkan kekurangan bakat, karena tidak semua orang fasih dalam menulis pernyataan pada berbagai aplikasi yang berbeda.
“Setiap orang yang memiliki nama baik dalam bisnis silikon, baik itu perusahaan GPU atau prosesor, atau perusahaan kain, menggunakan bahan formal,” kata Darbari. “Semua raksasa yang membuat perangkat keras menggunakan formal. Dan beberapa dari mereka ingin melakukan hal-hal formal, tetapi mereka tidak mempunyai cukup bakat.”
Tingkat adopsi juga bervariasi. “Beberapa orang sangat akrab dan nyaman dengan verifikasi formal, memahami apa yang bisa dilakukan, dan menentangnya,” kata Giles dari Siemens. “Yang lain sedikit lebih ragu, karena terkadang hal ini terasa seperti proyek sains, atau diperlukan upaya pendidikan. Ketika seseorang yang tidak akrab dengan formal pertama kali mendengar rekomendasi verifikasi formal, pikiran pertama mereka adalah, 'Sekarang saya harus memiliki gelar PhD pada staf saya. Kita harus menjalankan proyek kita. Bagaimana saya bisa melakukan ini?' Dan hal ini menyebabkan tingkat adopsi yang berbeda-beda.”
Di beberapa perusahaan, keterampilan formal hanya menjadi salah satu dari banyak keterampilan yang dibutuhkan. Ini adalah perubahan yang signifikan. Pada masa-masa awal verifikasi formal, diasumsikan sekelompok kecil insinyur akan memperoleh kemahiran dalam menggunakan alat tersebut.
“Kami menyadari bahwa desainer, insinyur verifikasi, insinyur dari semua lapisan masyarakat dapat memanfaatkan teknologi ini,” kata Safarpour dari Synopsys. “Dan terserah pada pengembang alat EDA untuk membuatnya lebih intuitif bagi pengguna tersebut. Kami memiliki kepribadian yang berbeda, topi yang berbeda. Sekarang, jika Anda seorang desainer, Anda mungkin memerlukan antarmuka yang sedikit berbeda. Anda melihatnya dari sudut pandang yang berbeda dari sabuk hitam formal Anda, dan fitur yang Anda cari sangat berbeda. Sebagai pengembang alat, kami juga belajar dari pengguna kami yang dapat memanfaatkan alat secara maksimal. Dari aspek itu juga, standarnya telah diturunkan. Saat ini, ketika saya mendapatkan pertanyaan, atau berbicara dengan pelanggan, ada banyak non-ahli yang mengajukan permintaan penyempurnaan atau memberi kami umpan balik tentang alat ini dibandingkan dengan pakar formal tradisional.”
Emulasi vs formal vs simulasi
Pendukung lain dari alur verifikasi mencakup simulasi dan emulasi. Namun untuk desain tertentu, setiap alat verifikasi mungkin tidak diperlukan.
“Ada beberapa hal yang cocok untuk verifikasi formal namun tidak cocok untuk simulasi, dan sebaliknya,” kata Giles dari Siemens. “Contoh bagusnya adalah pemeriksaan konektivitas. Menjalani proses simulasi bahwa semua interkoneksi, sedikit demi sedikit, sudah benar merupakan proses serial yang cukup panjang. Jika Anda dapat melakukannya secara mendalam dalam sekali proses, maka Anda dapat mengambil siklus simulasi tersebut dan menggunakannya untuk simulasi yang terbaik. Jadi ini adalah permainan produktivitas. Hal lain yang jelas ketika industri beralih dari model globalisasi ke model regionalisasi atau nasionalisasi – dan kita harus mereplikasi ekosistem desain, pengembangan, dan produksi silikon berkali-kali di seluruh dunia – adalah adanya kekurangan tenaga kerja. diprediksi hampir di seluruh dunia. Dan ini tidak ada hubungannya dengan kompleksitas desain. Hal ini berkaitan dengan realitas geopolitik dan makro-ekonomi dunia. Hal ini menciptakan peluang di mana-mana. Dan kenyataannya adalah, agar berhasil dalam lingkungan tersebut, kita memerlukan lebih banyak produktivitas dari karyawan kita. Menggunakan verifikasi formal atau efisien, membebaskan siklus simulasi untuk melakukan simulasi terbaik, adalah bagian penting dari pembangunan saat ini dan di masa depan. Jadi kedua hal tersebut — bagian produktivitas serta menjawab tuntutan dunia terhadap silikon saat ini, dan dalam hal keselamatan dan jaminan, kepercayaan dan keamanan — inilah alasan mengapa saya menganggap verifikasi formal mutlak diperlukan untuk setiap perusahaan yang menggunakan silikon. perkembangan."
Dalam beberapa kasus, diperlukan lebih dari satu jenis alat. Darbari menunjukkan adanya tumpang tindih berdasarkan persyaratan cakupan, serta kemampuan alat yang berbeda dari vendor yang berbeda. Masih ada variasi, katanya. “Debug adalah yang paling menarik. Debug adalah tempat saya dapat menemukan akar penyebab kegagalan dalam waktu sesingkat-singkatnya, dan juga merupakan area di mana kami menghabiskan banyak waktu untuk mencari akar permasalahan.”
Ada juga interaksi antara verifikasi formal dan simulasi untuk mengurangi siklus simulasi, dengan verifikasi formal yang lebih mahal bagi tim teknik.
“Anda tidak akan pernah bisa melakukan simulasi yang cukup, sehingga permintaan tidak terbatas,” kata Safarpour. “Semua orang ingin melakukan simulasi, namun mereka tidak memiliki cukup komputasi untuk itu. Namun, teknologi simulasi dan verifikasi formal saling melengkapi, dan kami melihatnya di berbagai bidang. Dalam cakupan, dengan simulasi, Anda dapat dengan mudah mencapai cakupan 80%, 85%, mungkin 90%, dan yang terjadi adalah Anda mencapai dataran tinggi dalam kurva dengan cepat. Lalu ada 5% lainnya. Bergantung pada kriteria untuk melakukan sign-off, masih ada sekitar 5% lagi, dan ada begitu banyak pengacakan yang dapat Anda lakukan sehingga kami masih belum dapat mencapainya. Angka 5% tersebut merupakan titik terbaik untuk formal, karena kemungkinan besar bahwa 5% adalah hal-hal yang sulit dicapai, seperti kasus sudut, yang merupakan keahlian formal, atau merupakan kode mati, artinya tidak peduli berapa banyak simulasi yang kamu lakukan kamu tidak dapat memukulnya. Hal ini menimbulkan tanda tanya bagi Anda, dan kemudian beberapa teknisi harus turun tangan untuk meninjau kode tersebut dan berkata, 'Saya rasa kode tersebut tidak dapat dicapai.' Jadi, ini adalah intervensi manual. Cara kami melakukannya adalah simulasi dan alat formal kami bekerja pada database yang sama dan saling membantu.”
Skenario yang sama berlaku untuk aplikasi keselamatan fungsional. “Anda dapat melakukan perlindungan sebanyak yang Anda bisa untuk keselamatan fungsional dan toleransi kesalahan, lalu mengambil langkah formal. Situasinya sama dengan keamanan, dan pendekatan ini terus diterapkan di berbagai bidang. Selesaikan hal-hal mudah dengan simulasi, capai titik tertinggi itu, lalu lakukan upaya formal hingga jarak terakhir,” jelas Safarpour.
Arsitektur khusus domain memiliki masalah uniknya sendiri. “Berbeda dengan ASIC yang tidak dapat diprogram, DSA berbeda karena Anda tidak dapat memprediksi berbagai cara programmer akan menggunakan prosesor,” kata Hardee dari Cadence. “Setiap kemungkinan harus diatasi, termasuk hal-hal yang tidak terduga. Formal adalah satu-satunya cara. Para pemimpin teknologi prosesor seperti Arm dan Intel mengetahui hal ini dan telah lama berinvestasi dalam verifikasi formal. Setiap perusahaan yang melakukan implementasi RISC-V harus melakukan hal yang sama. Dan pertumbuhan ko-prosesor matematika dan mesin AI/ML mendorong teknik formal yang lebih baru seperti pemeriksaan kesetaraan sekuensial C/C++ hingga RTL.”
Batasan formal
Namun, seperti semua alat EDA, formal juga memiliki beberapa keterbatasan. “Formal memiliki reputasi sebagai sesuatu yang lebih baik dijalankan pada modul atau blok daripada SoC lengkap,” kata Giles dari Siemens. “Formal memiliki tantangan jika menyangkut permasalahan yang panjang dan berurutan. Contoh bagusnya adalah sulitnya menggunakan formal untuk memverifikasi fungsi perkalian atau pembagian dalam satuan floating point. Tindakan terbaik adalah membiarkan formal melakukan apa yang formal bisa lakukan dengan baik, dan biarkan simulasi melakukan apa yang bisa dilakukan simulasi dengan baik. Jika Anda menggunakan desain floating point, Anda dapat memverifikasi semuanya, namun fungsi perkalian dan pembagian paling baik dilakukan dengan simulasi sehingga Anda jauh lebih efisien dalam penggunaan fungsi simulasi, dan Anda memverifikasi hal-hal yang harus dilakukan. selesai di sana. Maka Anda tidak perlu melakukan unit floating point penuh melalui simulasi.”
Seperti halnya semua alat, ini juga merupakan area di mana banyak upaya dilakukan untuk mengatasi keterbatasan tersebut, baik melalui abstraksi maupun penelitian baru. “Untuk saat ini, hal ini memberikan pesan bahwa ada beberapa hal yang formal berjalan dengan baik dan ada pula yang melakukan simulasi dengan baik,” kata Giles. “Saya tidak akan pernah melihat skenario di mana formal sepenuhnya menghilangkan simulasi. Sama seperti selama bertahun-tahun, saya selalu ingin berhenti melakukan simulasi tingkat gerbang, tetapi hal itu tidak pernah berhasil. Kita akan melihatnya secara formal dan simulasi juga.”
Metode verifikasi formal bisa bersifat menyeluruh dan menyeluruh, namun haruskah metode tersebut menjadi persyaratan secara menyeluruh?
Bahkan sebelum diakuisisi oleh Cadence pada tahun 2014, Jasper memelopori proliferasi yang lebih luas melalui pengenalan aplikasi formal – menggunakan pemeriksaan model, seringkali dengan pernyataan yang dihasilkan secara otomatis, untuk memecahkan masalah verifikasi umum dengan cara yang lebih mudah diakses, dan memerlukan tingkat keahlian formal yang jauh lebih rendah. kata Hardee.
Lebih lanjut, “Konektivitas adalah contoh yang bagus dan salah satu contoh yang paling mudah untuk diadopsi – menghasilkan pernyataan dari peta konektivitas dalam spreadsheet atau IP-XACT membentuk. Hal yang sama dapat dilakukan dengan simulasi tetapi membosankan. Metode formal ini mudah diskalakan ke tingkat chip karena sebagian besar fungsi blok yang mendasarinya dapat diabstraksi. Dalam beberapa kasus, aplikasi ini dapat meringankan beban kerja simulasi, dan manfaatnya adalah menemukan bug yang dapat terjadi karena stimulus masukan yang dihasilkan alat secara acak lebih menyeluruh daripada pengujian simulasi biasanya. Meskipun aplikasi ini berguna untuk membantu teknisi verifikasi memulai dengan formal, mungkin bertindak sebagai 'pintu gerbang', aplikasi ini hanyalah puncak gunung es dalam hal penggunaan. Saat ini, kami menemukan sebagian besar tantangannya, termasuk sebagian besar penggunaan regresi verifikasi formal, adalah memverifikasi desain DSA berbasis prosesor dengan verifikasi properti formal, dan pemeriksaan kesetaraan berurutan, baik RTL-ke-RTL dan C/ C++ ke RTL,” tambahnya. “Meskipun saya ingin menetapkan verifikasi formal sebagai persyaratan secara menyeluruh, masih ada contoh yang memerlukannya, dan contoh lain di mana simulasi masih berfungsi lebih baik. Namun kami melihat jenis desain yang memerlukan verifikasi formal tumbuh jauh lebih cepat.”
Mengenai bagaimana semua ini berkembang, ekosistem EDA tampaknya berada di titik puncak untuk mengidentifikasi bagaimana verifikasi formal dapat digunakan di luar penerapan tradisional.
“Ada serangkaian aplikasi yang cukup umum untuk vendor mana pun yang menjual aplikasi formal yang dibundel untuk penggunaan akhir tertentu,” Giles menyimpulkan. “Tantangan dan peluang baik dari sudut pandang teknis maupun bisnis mencakup penggunaan cara formal untuk melakukan verifikasi yang belum mungkin dilakukan sebelumnya, seperti deteksi Trojan horse di perangkat keras. Terutama di dunia perangkat keras sumber terbuka ini, sangat menyenangkan bisa membuktikan bahwa tidak ada sesuatu pun dalam desain tersebut yang tidak seharusnya ada dalam desain tersebut. Itu biasanya bukan masalah verifikasi yang diselesaikan dengan simulasi, karena simulasi umumnya menganggap Anda tahu apa yang Anda cari, dan Anda hanya mencoba memastikan simulasi melakukan hal tersebut. Dengan deteksi kuda Troya, Anda kini mencari hal-hal yang secara efektif berada di luar ruang keadaan yang diketahui. Ini adalah sesuatu yang sangat menjanjikan.”
Bacaan Terkait
Verifikasi Mikro-Arsitektur RISC-V
Memverifikasi prosesor lebih dari sekadar memastikan instruksi berfungsi, namun industri ini membangun dari basis pengetahuan yang terbatas dan beberapa alat khusus.
Konsep Baru Diperlukan Untuk Verifikasi Keamanan
Mengapa sangat sulit memastikan perangkat keras berfungsi dengan benar dan mampu mendeteksi kerentanan yang mungkin muncul di lapangan.
- Konten Bertenaga SEO & Distribusi PR. Dapatkan Amplifikasi Hari Ini.
- PlatoData.Jaringan Vertikal Generatif Ai. Berdayakan Diri Anda. Akses Di Sini.
- PlatoAiStream. Intelijen Web3. Pengetahuan Diperkuat. Akses Di Sini.
- PlatoESG. Karbon, teknologi bersih, energi, Lingkungan Hidup, Tenaga surya, Penanganan limbah. Akses Di Sini.
- PlatoHealth. Kecerdasan Uji Coba Biotek dan Klinis. Akses Di Sini.
- Sumber: https://semiengineering.com/formal-verifications-usefulness-widens/
- :memiliki
- :adalah
- :bukan
- :Di mana
- $NAIK
- 2014
- a
- Sanggup
- Tentang Kami
- Mutlak
- benar
- diabstraksikan
- akselerator
- diterima
- dapat diakses
- Menurut
- Akun
- Mencapai
- perolehan
- di seluruh
- akting
- Tindakan
- menambahkan
- menambahkan
- mengambil
- Adopsi
- maju
- silam
- AI / ML
- Semua
- sepanjang
- juga
- selalu
- am
- jumlah
- an
- analisis
- dan
- Lain
- menjawab
- Apa pun
- lagi
- apa saja
- muncul
- Aplikasi
- aplikasi
- pendekatan
- aplikasi
- arsitektur
- ADALAH
- DAERAH
- daerah
- ARM
- sekitar
- AS
- Asics
- penampilan
- aspek
- Majelis
- Menilai
- diasumsikan
- jaminan
- At
- bar
- mendasarkan
- berdasarkan
- Pertarungan
- BE
- karena
- menjadi
- menjadi
- menjadi
- sebelum
- makhluk
- lonceng
- menguntungkan
- TERBAIK
- Lebih baik
- antara
- Luar
- Besar
- Bit
- Black
- sabuk hitam
- Memblokir
- papan
- kedua
- Tanpa Batas
- lebih luas
- Broke
- Rusak
- Bug
- bug
- Bangunan
- dibundel
- bisnis
- tapi
- by
- Irama
- CAN
- Bisa Dapatkan
- kemampuan
- mampu
- kasus
- katering
- Menyebabkan
- ceo
- tertentu
- Sertifikasi
- menyatakan
- menantang
- tantangan
- menantang
- kesempatan
- perubahan
- memeriksa
- memeriksa
- keping
- Keripik
- chris
- jelas
- Clock
- kode
- datang
- nyaman
- kedatangan
- Umum
- masyarakat
- Perusahaan
- perusahaan
- komplementer
- sama sekali
- kompleks
- kompleksitas
- komponen
- menghitung
- konsep
- Perhatian
- Disimpulkan
- Konektivitas
- Mempertimbangkan
- dianggap
- konstan
- konteks
- kontras
- kontrol
- Sudut
- benar
- benar
- Korupsi
- mahal
- bisa
- Tentu saja
- menutupi
- liputan
- tercakup
- dibuat
- membuat
- kriteria
- kritis
- Sekarang
- melengkung
- Puncak gigi
- pelanggan
- cyberattacks
- siklus
- data
- Basis Data
- Hari
- mati
- dasawarsa
- dedicated
- keterlambatan
- disampaikan
- pengiriman
- Permintaan
- menuntut
- tuntutan
- Tergantung
- dikerahkan
- kedalaman
- Mendesain
- perancang
- desainer
- merancang
- desain
- Meskipun
- Deteksi
- pengembang
- Pengembangan
- alat
- Devices
- berbeda
- berbeda
- sulit
- digital
- Kepala
- membagi
- do
- tidak
- Tidak
- melakukan
- domain
- dilakukan
- Dont
- Oleh
- meragukan
- didorong
- pengemudi
- penggerak
- setiap
- Terdahulu
- Awal
- termudah
- mudah
- Mudah
- ekosistem
- edukasi
- Efektif
- efektif
- efek
- efisien
- usaha
- antara
- menghilangkan
- memeluk
- persaingan
- akhir
- insinyur
- Teknik
- Insinyur
- Mesin
- Perangkat tambahan
- cukup
- memastikan
- Seluruh
- Lingkungan Hidup
- persamaan derajatnya
- terutama
- penting
- Eter (ETH)
- Bahkan
- pERNAH
- terus meningkat
- Setiap
- semua orang
- semua orang
- semua orang
- segala sesuatu
- di mana-mana
- berevolusi
- contoh
- contoh
- komprehensif
- Lihat lebih lanjut
- keahlian
- ahli
- menjelaskan
- ledakan
- eksponensial
- kain
- faktor
- Kegagalan
- hampir
- akrab
- lebih cepat
- Fitur
- umpan balik
- merasa
- beberapa
- sedikit
- bidang
- File
- temuan
- Pertama
- lima
- mengambang
- aliran
- terfokus
- Untuk
- bentuk
- resmi
- dari
- penuh
- fungsi
- fungsionil
- fungsi
- fungsi
- masa depan
- Mendapatkan
- kesenjangan
- Umum
- umumnya
- menghasilkan
- menghasilkan
- geopolitik
- mendapatkan
- mendapat
- raksasa
- Pemberian
- globalisasi
- Go
- akan
- baik
- mendapat
- GPU
- GPU
- besar
- Kelompok
- Pertumbuhan
- tumbuh
- Pertumbuhan
- Terjadi
- Sulit
- Perangkat keras
- Memiliki
- memiliki
- he
- kepala
- membantu
- Ragu-ragu
- hirarkis
- High
- Memukul
- Kuda
- Seterpercayaapakah Olymp Trade? Kesimpulan
- Namun
- HTTPS
- besar
- manusia
- i
- mengenali
- mengidentifikasi
- if
- Dampak
- implementasi
- penting
- in
- memasukkan
- Termasuk
- Meningkatkan
- industri
- memasukkan
- instruksi
- integrasi
- Intel
- maksud
- interaksi
- menarik
- Antarmuka
- intervensi
- ke
- Pengantar
- intuitif
- diinvestasikan
- investasi
- melibatkan
- IP
- isu
- masalah
- IT
- item
- NYA
- Pekerjaan
- jpg
- hanya
- hanya satu
- pemeliharaan
- kunci
- jenis
- Tahu
- pengetahuan
- dikenal
- tenaga kerja
- besar
- lebih besar
- terbesar
- Terakhir
- mil terakhir
- pemimpin
- Memimpin
- belajar
- membiarkan
- Tingkat
- Hidup
- siklus hidup
- 'like'
- keterbatasan
- Terbatas
- baris
- linear
- sedikit
- hidup
- Panjang
- lama
- lagi
- melihat
- mencari
- Lot
- Rendah
- menurunkan
- diturunkan
- Arus utama
- utama
- Mayoritas
- membuat
- Membuat
- pengelolaan
- panduan
- banyak
- peta
- tanda
- Pasar
- matematika
- hal
- Mungkin..
- mungkin
- makna
- pesan
- metode
- Metodologi
- metode
- mil
- mobil
- model
- modul
- lebih
- lebih efisien
- paling
- kebanyakan
- bergerak
- banyak
- beberapa
- harus
- my
- banyak sekali
- nama
- Alam
- perlu
- perlu
- Perlu
- kebutuhan
- tak pernah
- New
- baru
- berikutnya
- bagus
- tidak
- non-ahli
- terkenal
- tidak ada
- sekarang
- jumlah
- of
- lepas
- sering
- on
- ONE
- hanya
- Buka
- open source
- dibuka
- Peluang
- optimasi
- dioptimalkan
- or
- urutan
- Lainnya
- kami
- di luar
- lebih
- Mengatasi
- sendiri
- paket
- bagian
- khususnya
- lalu
- Konsultan Ahli
- untuk
- melakukan
- prestasi
- perspektif
- phd
- luar biasa
- gejala
- bagian
- memelopori
- Tempat
- rencana
- perencanaan
- plato
- Kecerdasan Data Plato
- Data Plato
- Bermain
- memainkan
- Titik
- poin
- mungkin
- kekuasaan
- meramalkan
- diprediksi
- kehadiran
- cukup
- Masalah
- masalah
- proses
- Prosesor
- prosesor
- Produk
- manajemen Produk
- Produksi
- produktifitas
- Programmer
- proyek
- keunggulan
- menonjol
- janji
- tepat
- properties
- milik
- protokol
- Rasakan itu
- penyedia
- Puting
- query
- pertanyaan
- Pertanyaan
- segera
- agak
- R & D
- acak
- Penilaian
- Tarif
- nyata
- nilai sesungguhnya
- realitas
- Kenyataan
- menyadari
- alasan
- masuk akal
- alasan
- mengenali
- direkomendasikan
- menurunkan
- mengacu
- regresi
- keandalan
- tinggal
- sisa
- reputasi
- permintaan
- wajib
- kebutuhan
- Persyaratan
- membutuhkan
- penelitian
- ulasan
- Revolusi
- akar
- Run
- s
- aman
- Safety/keselamatan
- Tersebut
- sama
- mengatakan
- mengatakan
- Skalabilitas
- Skala
- diskalakan
- sisik
- skenario
- skema
- Ilmu
- Sean
- Kedua
- aman
- keamanan
- melihat
- melihat
- terlihat
- Penjualan
- semikonduktor
- serial
- set
- bergeser
- kekurangan
- kekurangan
- terpendek
- harus
- Menunjukkan
- sisi
- penting
- signifikan
- Silikon
- Demikian pula
- hanya
- simulasi
- sejak
- ENAM
- keterampilan
- sedikit berbeda
- kecil
- So
- larutan
- Solusi
- MEMECAHKAN
- dipecahkan
- beberapa
- Seseorang
- sesuatu
- kadang-kadang
- sumber
- Space
- tertentu
- menghabiskan
- Spot
- menyebarkan
- Spreadsheet
- Staf
- pendukung
- mulai
- Negara
- Langkah
- Tangga
- Masih
- rangsangan
- berhenti
- Cerita
- langkah
- berhasil
- sukses
- seperti itu
- rangkaian
- Seharusnya
- yakin
- manis
- sistem
- sistem
- Mengambil
- Bakat
- Berbicara
- pembicaraan
- tim
- tim
- Teknis
- teknik
- Teknologi
- Teknologi
- membosankan
- mengatakan
- cenderung
- istilah
- uji
- dari
- bahwa
- Grafik
- Masa depan
- Sumber
- Dunia
- mereka
- Mereka
- kemudian
- Sana.
- Ini
- mereka
- hal
- hal
- berpikir
- ini
- sepenuhnya
- itu
- pikir
- Melalui
- di seluruh
- waktu
- kali
- ujung
- untuk
- hari ini
- toleransi
- terlalu
- alat
- alat
- puncak
- terhadap
- jejak
- jiplakan
- tradisional
- dahsyat
- Trojan
- kuda Troya
- Kepercayaan
- terpercaya
- mencoba
- MENGHIDUPKAN
- dua
- mengetik
- jenis
- khas
- bawah
- pokok
- memahami
- Sedang berlangsung
- tidak terduga
- unik
- satuan
- kecuali kalau
- us
- penggunaan
- menggunakan
- bekas
- berguna
- Pengguna
- Pengguna
- kegunaan
- menggunakan
- biasanya
- Penggunaan
- dimanfaatkan
- nilai
- Varian
- variasi
- berbeda
- bervariasi
- Luas
- penjaja
- vendor
- Verifikasi
- memeriksa
- memverifikasi
- berpengalaman
- Lawan
- vertikal
- sangat
- wakil
- volume
- vs
- Kerentanan
- berjalan
- ingin
- ingin
- ingin
- adalah
- Cara..
- cara
- we
- BAIK
- adalah
- Apa
- apa pun
- ketika
- apakah
- yang
- sementara
- SIAPA
- mengapa
- lebih luas
- tersebar luas
- akan
- dengan
- dalam
- tanpa
- Kerja
- bekerja
- dunia
- kuatir
- akan
- penulisan
- tahun
- kamu
- Anda
- zephyrnet.dll