Abstract: Systems and methods of debugging a design under test for metastability issues using formal verification. In one aspect, the method includes determining, by a server, that a functionality of the DUT failed an assertion; generating, by the server, a plurality of first waveforms for a plurality of clock domain crossing (CDC) pairs that are in a cone of influence of the assertion; applying, by the server, a constraint including a condition to the plurality of waveforms; and generating, by the server, one or more second waveforms for a first subset of the plurality of CDC pairs, wherein the first subset of the CDC pairs satisfied the condition.

Abstract: A concept is proposed for a MEMS microphone which may be operated at a relatively low voltage level and still have comparatively high sensitivity. The component according to the present invention includes a micromechanical microphone structure having an acoustically active diaphragm which functions as a deflectable electrode of a microphone capacitor (1), and a stationary acoustically permeable counterelement which functions as a counter electrode of the microphone capacitor (1).

Abstract: A concept is proposed for a MEMS microphone which may be operated at a relatively low voltage level and still have comparatively high sensitivity. The component according to the present invention includes a micromechanical microphone structure having an acoustically active diaphragm which functions as a deflectable electrode of a microphone capacitor (1), and a stationary acoustically permeable counterelement which functions as a counter electrode of the microphone capacitor (1).