VC Spyglass - RDC

RDC Constraints for VC Spyglass RDC

1. Reset sequesnce constraint:

If the reset on the capture flop is asserted prior to assertion of reset on launch flop, the RDC is safe.

To provide a reset sequence, the following constraint is used.

Note: Here, the "to_reset" is the destination and is expected to be asserted before "from_reset" which is the source.

set_rdc_define_assertion_sequence

-from_reset {rst5}

-to_reset {rst3  rst4  rst1  rst2}

set_rdc_define_assertion_sequence

-from_reset {rst3  rst4}

-to_reset {rst1  rst2}

2. Grouping of reset:

set_reset_groups

-name rst_grp1

-group {rst3 rst4}

set_reset_groups

-name rst_grp2

-group {rst1 rst2}