18 / 37 · Kuis

Pemeriksaan: lebar, prioritas, dan batas perputaran

Nilai batas dan kontrol bersamaan berdasarkan kontrak transisi keadaan.

Kontrak pencacah modulo-10

Untuk count unsigned^{Unsigned Interpretasi pola bit sebagai bilangan bulat nonnegatif. Rentang n bit adalah 0 hingga 2^n−1 dan dapat berbeda dari interpretasi signed pola yang sama. Selengkapnya} empat bit, prioritasnya reset, enable, lalu tahan. reset menghasilkan 0; jika tidak, enable aktif mengembalikan nilai ≥9 ke 0 dan menaikkan nilai lainnya.

N=\lceil\log_2 10\rceil=4

Empat bit menyediakan 16 keadaan tersimpan, bukan otomatis fungsi sepuluh keadaan. Khususnya, count=9 dengan enable=0 tidak boleh kembali ke 0.

Setiap kolom mengamati tepi naik^{Tepi naik Saat clock berubah 0 ke 1, berbeda dari tingkat yang mencakup seluruh interval CLK=1. Selengkapnya}, dengan masukan sebelum dan keadaan after sesudah. Penjajaran menunjukkan sampel, bukan tundaan fisik^{Tundaan propagasi Waktu sejak masukan berubah hingga keluaran stabil pada nilai benar. Kesetaraan logika berbeda dari karakteristik waktu. Selengkapnya}. Dari count awal=9 tanpa reset, kolom pertama enable=0 mempertahankan 9; hanya kolom berikutnya dengan enable=1 kembali ke 0.

Hold harus tetap berlaku pada nilai batas

Lihat data gelombang

Data gelombang: setiap karakter mewakili satu interval; titik mempertahankan keadaan sebelumnya; p adalah satu siklus clock.
Sinyal	Gelombang	Nilai bus
edge	`2345`	E0 → E1 → E2 → E3
reset	`0.10`
enable	`01..`
count sesudah	`23.4`	9 → 0 → 1

Latihan tambahan

Tentukan keadaan berikutnya untuk count=9, reset=0, enable=0.
Jelaskan pemulihan dari count=15 dengan enable=1.
Tetapkan apakah pulsa terminal muncul untuk count=9, reset=1, enable=1, dengan asumsi keluaran ditetapkan 0 selama reset^{Reset Kontrol yang mengembalikan keadaan ke nilai awal tertentu. Sifat sinkron/asinkron dan prioritas terhadap kontrol lain harus ditetapkan. Selengkapnya}.

Coba sendiri

Berapa transisi satu langkah untuk semua count=0–15 dan kombinasi reset/enable? Apakah tes ini otomatis membuktikan semua ketentuan urutan panjang?

Baca penjelasan

$16\times2\times2=64$ kasus. Jika count mewakili seluruh keadaan dan transisi serta keluaran ditentukan tepat, pengujian satu langkah memberi bukti kuat. Ini tidak membuktikan kebutuhan yang terlewat: inisialisasi, asumsi masukan, keadaan tersendiri pulsa terminal, atau timing nyata.

Pada count=9, reset=1 dan enable=1 disampel bersamaan. count berikutnya dan pulsa terminal mana yang sesuai prioritas reset?

Pilih jawabancount=0, pulsa=1: diproses sebagai perputaran normal.count=10, pulsa=0: enable diprioritaskan.count=0, pulsa=0: reset menginisialisasi keadaan dan pulsa.