Altifigence Academy

13 / 37 · Kuis

Pemeriksaan desain: kesetaraan seleksi dan waktu pengamatan

Bedakan verifikasi yang cukup dengan tabel kebenaran dari yang memerlukan pengamatan clock.

Baca kondisi dan gambarkan urutan waktu

Keluaran kombinasional y=s‾a+sby=\overline s a+sb, 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 a=1,b=0,s=0a=1,b=0,s=0. 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.

Perubahan antartepi dan nilai tersimpan
Lihat data gelombang
Data gelombang: setiap karakter mewakili satu interval; titik mempertahankan keadaan sebelumnya; p adalah satu siklus clock.
SinyalGelombangNilai bus
event234ditangkap → sel berubah → tepi berikut
sel01.
y10.
sampled_y1.0

Latihan desain tambahan

  1. 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.
  2. Menghapus sampled_y mempertahankan fungsi kombinasional; sifat waktu apa yang hilang?
  3. 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?

Pilih jawaban

Pilihan berlaku di peramban ini. Ubah kapan saja di bagian bawah halaman.