COMPUTER IMPLEMENTED SYSTEM AND METHOD OF TRANSLATION OF VERIFICATION COMMANDS OF AN ELECTRONIC DESIGN - Patent 3655963

(19)

(11)

EP 3 655 963 A1

(12)

(43)	Date of publication:
	27.05.2020 Bulletin 2020/22

(21)	Application number: 18836208.1

(22)	Date of filing: 19.07.2018

(51)

International Patent Classification (IPC):

G16C 10/00^(2019.01)

(86)	International application number:
	PCT/US2018/042793

(87)	International publication number:
	WO 2019/018589 (24.01.2019 Gazette 2019/04)

(84)	Designated Contracting States:
	AL AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO PL PT RO RS SE SI SK SM TR
	Designated Extension States:
	BA ME
	Designated Validation States:
	KH MA MD TN

(30)

Priority:

19.07.2017 US 201715654469

(71)	Applicant: Zipalog, Inc.
	Plano, TX 75074-5553 (US)

(72)	Inventors:
	JAMES, Felicia Carrollton, TX 75010 (US) KRASNICKI, Michael Richardson, TX 75082 (US) WU, Xiyuan Allen, TX 75013 (CN)

(74)	Representative: Parker, Andrew James
	Meissner Bolte Patentanwälte Rechtsanwälte Partnerschaft mbB Postfach 86 06 24 81633 München 81633 München (DE)

(54)	COMPUTER IMPLEMENTED SYSTEM AND METHOD OF TRANSLATION OF VERIFICATION COMMANDS OF AN ELECTRONIC DESIGN