EP2382570 - PERFORMING LOGIC OPTIMIZATION AND STATE-SPACE REDUCTION FOR HYBRID VERIFICATION [Right-click to bookmark this link] | Status | The application is deemed to be withdrawn Status updated on 10.02.2017 Database last updated on 03.06.2024 | |
Former | Examination is in progress Status updated on 07.11.2016 | Most recent event Tooltip | 10.02.2017 | Application deemed to be withdrawn | published on 15.03.2017 [2017/11] | Applicant(s) | For all designated states Synopsys, Inc. 700 E. Middlefield Road Mountain View, CA 94043 / US | [2011/44] | Inventor(s) | 01 /
DSOUZA, Ashvin M. 56 Sleigh Road Chelmsford Massachusetts 01824 / US | [2011/44] | Representative(s) | D Young & Co LLP 3 Noble Street London EC2V 7BQ / GB | [N/P] |
Former [2011/44] | Davies, Simon Robert D Young & Co LLP 120 Holborn London, EC1N 2DY / GB | Application number, filing date | 10736234.5 | 19.01.2010 | WO2010US21429 | Priority number, date | US20090361282 | 28.01.2009 Original published format: US 361282 | [2011/44] | Filing language | EN | Procedural language | EN | Publication | Type: | A2 Application without search report | No.: | WO2010088102 | Date: | 05.08.2010 | Language: | EN | [2010/31] | Type: | A2 Application without search report | No.: | EP2382570 | Date: | 02.11.2011 | Language: | EN | The application published by WIPO in one of the EPO official languages on 05.08.2010 takes the place of the publication of the European patent application. | [2011/44] | Search report(s) | International search report - published on: | KR | 25.11.2010 | (Supplementary) European search report - dispatched on: | EP | 29.10.2013 | Classification | IPC: | G06F19/00, G06F17/50, G01R31/28 | [2013/48] | CPC: |
G06F30/3323 (EP,US);
G06F30/33 (EP,US)
|
Former IPC [2011/44] | G06F19/00, G06F17/50 | Designated contracting states | 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, SE, SI, SK, SM, TR | Title | German: | LOGIKOPTIMIERUNG UND ZUSTANDSRAUMREDUKTION FÜR HYBRID-VERIFIZIERUNG | [2011/44] | English: | PERFORMING LOGIC OPTIMIZATION AND STATE-SPACE REDUCTION FOR HYBRID VERIFICATION | [2011/44] | French: | RÉALISATION D'UNE OPTIMISATION LOGIQUE ET UNE RÉDUCTION D'ESPACE D'ÉTATS POUR UNE VÉRIFICATION HYBRIDE | [2011/44] | Entry into regional phase | 26.07.2011 | National basic fee paid | 26.07.2011 | Search fee paid | 26.07.2011 | Designation fee(s) paid | 26.07.2011 | Examination fee paid | Examination procedure | 26.07.2011 | Examination requested [2011/44] | 23.05.2014 | Amendment by applicant (claims and/or description) | 31.05.2016 | Despatch of a communication from the examining division (Time limit: M04) | 11.10.2016 | Application deemed to be withdrawn, date of legal effect [2017/11] | 08.11.2016 | Despatch of communication that the application is deemed to be withdrawn, reason: reply to the communication from the examining division not received in time [2017/11] | Divisional application(s) | The date of the Examining Division's first communication in respect of the earliest application for which a communication has been issued is 31.05.2016 | Fees paid | Renewal fee | 16.01.2012 | Renewal fee patent year 03 | 15.01.2013 | Renewal fee patent year 04 | 15.01.2014 | Renewal fee patent year 05 | 15.01.2015 | Renewal fee patent year 06 | 29.01.2016 | Renewal fee patent year 07 |
Opt-out from the exclusive Tooltip competence of the Unified Patent Court | See the Register of the Unified Patent Court for opt-out data | ||
Responsibility for the accuracy, completeness or quality of the data displayed under the link provided lies entirely with the Unified Patent Court. | Documents cited: | Search | [I]US6975976 (CASAVANT ALBERT E [US], et al) [I] 1-15 * figure 2 * | [I] - YUNSHAN ZHU ET AL, "Generator-based verification", IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN. ICCAD 2003. IEEE/ACM DIGEST OF TECHNICAL PAPERS. SAN JOSE, CA, NOV. 9 - 13, 2003; [IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN], NEW YORK, NY : ACM, US, (20031109), ISBN 978-1-58113-762-0, pages 146 - 153, XP010677145 [I] 1-15 * the whole document * | International search | [Y]US6182258 (HOLLANDER YOAV [IL]); | [Y]US2007156378 (MCNAMARA MICHAEL [US]); | [A]US2003115562 (MARTIN ANDREW K [US], et al); | [A]US6567971 (BANZHAF WALTER H [US], et al) | by applicant | US6975976 | US2007156378 |