4 ms·
Heavily used in hardware design and verification. Equivalence checking, logic synthesis and optimisation, formal verification, etc.
by oldgradstudent 7y ago
Heavily used in hardware design and verification.
Equivalence checking, logic synthesis and optimisation, formal verification, etc.