Spesifikasi dan Verifikasi 4-To-2 Encoder dengan Higher Order Logic  

Oleh:

Bachri, Karel Octavianus

Jenis: Article from Journal - ilmiah nasional - tidak terakreditasi DIKTI - atma jaya
Dalam koleksi: Elektra: Jurnal Sains dan Teknologi vol. 5 no. 2 (Aug. 2007), page 127-134.
Topik: Spesifikasi dan Verifikasi
Fulltext: Spesifikasi dan verifikasi.pdf (4.48MB)

Ketersediaan

Perpustakaan Pusat (Semanggi) Nomor Panggil: EE40.2 Non-tandon: 1 (dapat dipinjam: 0) Tandon: tidak ada

Lihat Detail Induk

Isi artikel

Metode yang banyak digunakan untuk memeriksa rancangan digital seperti 4 to 2 encoder adalah pemeriksaan input-output. Dengan pemberian input pada sistem akan didapatkan sinyal output. Metode ini tidak efektif, terutama untuk sistem VISI. Makalah ini membahas spesifikasi dan verifikasi menggunakan higher order logic. Higher order logic diimplementasikan menggunakan model matematik. Metode ini dapat digunakan untuk melakukan verifikasi pada sistem VLSI yang terdiri dari berjuta-juta transistor.

Opini Anda

Klik untuk menuliskan opini Anda tentang koleksi ini!

Kembali