Patent classifications
G
PHYSICS
Load children
G06
COMPUTING OR CALCULATING; COUNTING
Load children
G06F
ELECTRIC DIGITAL DATA PROCESSING
Load children
30/00
Computer-aided design [CAD]
Load children Filter patents View analytics View as hierarchy
G06F30/32
Circuit design at the digital level
Load children Filter patents View analytics View as hierarchy
G06F30/33
Design verification, e.g. functional simulation or model checking
Load children Filter patents View analytics View as hierarchy
G06F30/3323
using formal methods, e.g. equivalence checking or property checking
Filter patents View analytics View as hierarchy