Specifying and Verifying Systems with Multiple Clocks

অনুরূপ উপাদানগুলি

• Specifying and verifying systems with multiple clocks
  অনুযায়ী: Clarke, E, অন্যান্য
  প্রকাশিত: (2003)
• The use of B to specify‚ design and verify hardware
  অনুযায়ী: Ifill, W, অন্যান্য
  প্রকাশিত: (2001)
• Specifying and Verifying the Parlay Call−Control Using ASMs
  অনুযায়ী: Falcarin, P, অন্যান্য
  প্রকাশিত: (2003)
• Using B to Specify‚ Verify and Design Hardware Circuits
  অনুযায়ী: Sørensen, I
  প্রকাশিত: (1998)
• Kronos : verifying leak-free reset for a system-on-chip with multiple clock domains
  অনুযায়ী: Moroze, Noah(Noah F.)
  প্রকাশিত: (2021)