GENEVA, Dec. 15 -- BUNDESDRUCKEREI GMBH (KommandantenstraBe 1810969 Berlin) filed a patent application (PCT/EP2025/063217) for "QUANTUM-ASSISTED VERIFICATION OF ELECTRONIC CIRCUIT FUNCTIONALITY" on May 14, 2025. With publication no. WO/2025/252418, the details related to the patent application was published on Dec 11, 2025.
Notably, the patent application was submitted under the International Patent Classification (IPC) system, which is managed by the World Intellectual Property Organization (WIPO).
Inventor(s): RADONS, Manuel (Mittelstr. 4215712 Konigs Wusterhausen), EBLE, Holger (Katzbachstr. 1810965 Berlin), SIMON, Lars (Kommandantenstr. 7510117 Berlin)
Abstract: The present subject matter relates to a method for proving a statement d...