How to Properly Verify Encrypted IP

Pavel Leshtaiev is a Product Manager at Aldec for DRC and CDC solutions.
—

In his latest blog post Pavel talks about using Block Level Constraints for Description of Non-Synthesizable Design Units.