1. A method, comprising performing assertion checking, at speed and within a target environment, for an HDL description of an electronic system, said HDL description having previously instrumented for said assertion checking in accordance with one or more directives that were specified by a user.