Assertion - 2023.2 English

Vivado Design Suite Tutorial: Logic Simulation (UG937)
Document ID
UG937
Release Date
2023-11-01
Version
2023.2 English

In System Verilog, you have the following two types of assertion:

  • Immediate assertion
  • Concurrent Assertion