Specifying and Verifying Systems with Multiple Clocks

Benzer Materyaller

• Specifying and verifying systems with multiple clocks
  Yazar:: Clarke, E, ve diğerleri
  Baskı/Yayın Bilgisi: (2003)
• The use of B to specify‚ design and verify hardware
  Yazar:: Ifill, W, ve diğerleri
  Baskı/Yayın Bilgisi: (2001)
• Specifying and Verifying the Parlay Call−Control Using ASMs
  Yazar:: Falcarin, P, ve diğerleri
  Baskı/Yayın Bilgisi: (2003)
• Using B to Specify‚ Verify and Design Hardware Circuits
  Yazar:: Sørensen, I
  Baskı/Yayın Bilgisi: (1998)
• Kronos : verifying leak-free reset for a system-on-chip with multiple clock domains
  Yazar:: Moroze, Noah(Noah F.)
  Baskı/Yayın Bilgisi: (2021)