13 / 37 · Kuis
Pemeriksaan desain: kesetaraan seleksi dan waktu pengamatan
Bedakan verifikasi yang cukup dengan tabel kebenaran dari yang memerlukan pengamatan clock.
Pelajaran dapat dibaca gratis. Daftar untuk menyimpan progres.
Baca kondisi dan gambarkan urutan waktu
Keluaran kombinasional , dan sampled_y menyimpan y pada tepi naikTepi naik Saat clock berubah 0 ke 1, berbeda dari tingkat yang mencakup seluruh interval CLK=1. Selengkapnya. Misalkan satu penangkapan telah terjadi dengan . Kemudian s diubah menjadi 1 di antara dua tepi.
Pertanyaan menanyakan nilai setelah masukan dan logika stabil, tetapi sebelum tepi naik berikutnya. Kesetaraan fungsi dan waktu pengamatan registerRegister Rangkaian penyimpan beberapa bit keadaan. Register sinkron mata kuliah ini menangkap masukan yang ditentukan pada tepi clock. Selengkapnya adalah pemeriksaan berbeda.
Gambar menunjukkan urutan pengamatan untuk a=1 dan b=0. Pada interval saat keluaran kombinasional serta tersimpan berbeda, jelaskan mana yang mewakili masukan sekarang dan mana yang mewakili tangkapan lama.
Lihat data gelombang
| Sinyal | Gelombang | Nilai bus |
|---|---|---|
| event | 234 | ditangkap → sel berubah → tepi berikut |
| sel | 01. | |
| y | 10. | |
| sampled_y | 1.0 |
Latihan desain tambahan
- Buktikan pada delapan kombinasi bahwa
y=(a & ~s) | (b & s)setara MUXMultiplekser Rangkaian kombinasional yang menghubungkan satu dari beberapa masukan ke keluaran menurut seleksi. Hubungan bit seleksi dan nomor masukan harus ditetapkan. Selengkapnya satu bit. - Menghapus
sampled_ymempertahankan fungsi kombinasional; sifat waktu apa yang hilang? - Jelaskan mengapa RTL ideal tidak menjamin perangkat nyata jika transisi s terlalu dekat dengan tepi naik.
Coba sendiri
Apakah pengujian hanya vektor a=b pada MUX empat bit dapat mendeteksi seleksi terbalik?
Baca penjelasan
Tidak. Jika kedua data sama, pilihan mana pun memberi hasil sama. Misalnya, uji a=0101, b=1010 pada s=0 dan s=1 untuk membedakan polaritas seleksi serta penerusan tiap bit.
Dalam kondisi tersebut, berapa (y, sampled_y) tepat sebelum tepi naik berikutnya?
Saat s=1, y=b=0. Pada tepi sebelumnya, s=0 membuat sampled_y menyimpan a=1. sampled_y baru menjadi 0 pada tepi naik berikutnya, dengan asumsi masukan memenuhi setup dan hold.