G	Sektion G — Physik	PHYSICS
	G06	Datenverarbeitung; Rechnen oder Zählen	COMPUTING; CALCULATING OR COUNTING
	G06F	Elektrische digitale Datenverarbeitung (Rechnersysteme basierend auf spezifischen Rechenmodellen G06N)	ELECTRIC DIGITAL DATA PROCESSING (computer systems based on specific computational models G06N)
	G06F 30/00	Rechnergestützter Entwurf [CAD] [2020.01]	Computer-aided design [CAD] [2020.01]
	G06F 30/30	.  Schaltungsentwurf [2020.01]	.  Circuit design [2020.01]
	G06F 30/32	. .  Schaltungsentwurf auf der digitalen Ebene (rekonfigurierbare Schaltungen G06F 30/34) [2020.01]	. .  Circuit design at the digital level (reconfigurable circuits G06F 30/34) [2020.01]
	G06F 30/33	. . .  Entwurfsverifikation, z.B. funktionale Simulation oder Modellprüfung [2020.01]	. . .  Design verification, e.g. functional simulation or model checking [2020.01]
	G06F 30/3323	. . . .  unter Verwendung formaler Methoden, z.B. Prüfung auf Äquivalenz oder bestimmte Eigenschaften [2020.01]	. . . .  using formal methods, e.g. equivalence checking or property checking [2020.01]