A verifier performs static checks of machine code to ensure that the code will execute safely.
After verification is performed, the code is executed. The code modules generated by the …

Programming non-volatile memory includes applying a series of programming pulses to the
memory cells as part of a coarse/fine programming process. Between programming pulses …

A computer-implemented method includes obtaining a first representation of a system,
obtaining a set of test obligations, and automatically generating one or more test cases from …

A system and method tests for functional equivalence prior to automatically retiming a high-
level specification. An Intermediate Representation (IR) includes one or more graphs or …

Formal property verification (also known as model checking) is a powerful methodology that
can be used to find corner-case bugs, improve verification efficiency and reduce the …

Methods, apparatus and systems are provided that enable the generation of random
regression Suites for verification of a hardware or software design to be formulated as …

A double lockout programming technique is provided having a hidden delay between
programming and verification. A temporary lockout stage and a permanent lockout stage are …

BACKGROUND One goal of circuit design and/or program coding is to optimize some
aspect of a system with the goal of improving its quality. One Such optimization approach …

(57) ABSTRACT A non-volatile memory system comprises a plurality of memory cells
arranged in a three dimensional structure and one or more control circuits in communication …

US8990746B1 - Method for mutation coverage during formal verification - Google Patents
US8990746B1 - Method for mutation coverage during formal verification - Google Patents …