Abstract: A method and system for hardware based reporting of assertion information for emulation and hardware acceleration is disclosed. In one embodiment, a method of performing assertion-based verification, comprises providing a user interface to design assertions that aid in verifying an integrated circuit design. Assertion instrumentation code is generated to implement the assertions in hardware as assertion instrumentation. The assertion instrumentation code is provided to an emulator that generates the assertion instrumentation.

Abstract: Disclosed are digital data receivers, methods and circuitry for differentiating between signals and data packets of varying physical layer protocols and frequencies transferred over a digital burst mode communications system, such as a packet-based LAN. Transitions in a received input signal to a squelch circuit start a counter which asserts one or more signals at various predetermined times from the transition. The absence or presence of the signal when the next transition in the input signal occurs indicates whether the input signal is less than or greater than a frequency associated with a particular predetermined time interval. When a predetermined number of transitions meeting a particular frequency requirement are received, the input signal is determined to be received at a particular frequency.