KP VS, Verifikasi!

Saya mendapat kesempatan kerja praktik di versatile silicon technology (VS). VS merupakan perusahaan yang bergerak di bidang desain Integrated Circuit memfokuskan diri pada system on chip.

Overview

Pada kesempatan ini saya mendapat bagian bekerja di bidang verifikasi desain. Secara umum, verifikasi merupakan hal yang sangat penting dalam desain chip. Tercatat 52 % produksi chip bermasalah karena kesalahan fungsional. Suatu hal yang mungkin sederhana namun krusial dalam kompleksitas chip yang sangat tinggi.

Divide and Conquer! Inilah jargon yang digunakan dalam proses verifikasi. Kompleksitas chip yang tinggi dibagi-bagi menjadi potongan-potongan kecil sistem sehingga verifikasi dapat dilakukan secara bertahap dari sistem-sistem yang kecil. Verifikasi sendiri terdiri dari berbagai langkah, hal ini bergantung pada standar yang dipergunakan. Dalam verifikasi chip terdapat setidaknya 5 langkah verifikasi. Langkah-langkah verifikasi tersebut adalah “functional verification”, “assertion based verification”, “Lint Checking”, “Formal checking”, dan “ATPG (Automatic Test Pattern Generator)”.

Verifikasi fungsional merupakan tahap membandingkan hasil pada simulator fungsional (dalam hal ini umum digunakan MATLAB) dengan hasil dari simulator hardware (dalam hal ini umum digunakan modelsim). Verifikasi fungsional dilakukan secara bertahap terdiri dari verifikasi modular, group, system, dan akhirnya chip.

Assertion based verification merupakan kumpulan pemeriksaan chip berdasarkan batasan-batasan tertentu (constrain checking) yang ditentukan berdasarkan parametrisasi kinerja yang diharapkan.

Lint checking merupakan tahap pemeriksaan sintax

Formal checking merupakan tahap verifikasi setelah sintesis dari hardware description language menjadi rangkaian. Disini diperiksa apakah proses sintesis yang dilakukan tools sesuai dengan konsep desain awal.

Untuk kepentingan verifikasi dipergunakan berbagai tools seperti modelsim, leda (synopsis), formality, tetramax, dan dc (design compiler) yang semuanya dioperasikan dalam sistem operasi linux.