StammdatenINID | Kriterium | Feld | Inhalt |
---|
| Schutzrechtsart | SART | Patent |
| Status | ST | Nicht anhängig/erloschen |
21 | Aktenzeichen DE | DAKZ | 10 2009 041 815.6 |
54 | Bezeichnung/Titel | TI | Verfahren zur Erzeugung einer Schaltung aus einer Darstellung von Eigenschaften in einem Eigenschaftsgraphen |
51 | IPC-Hauptklasse | ICM (ICMV) | G06F 30/00 (2020.01) |
22 | Anmeldetag DE | DAT | 18.09.2009 |
43 | Offenlegungstag | OT | 31.03.2011 |
| Veröffentlichungstag der Erteilung | PET | 06.02.2014 |
71/73 | Anmelder/Inhaber | INH | Technische Universität Chemnitz, 09111 Chemnitz, DE |
72 | Erfinder | IN | Langer, Jan, Dipl.-Ing., 09123 Chemnitz, DE; Heinkel, Ulrich, Prof. Dr.-Ing., 09127 Chemnitz, DE |
74 | Vertreter | VTR | Meissner Bolte Patentanwälte Rechtsanwälte Partnerschaft mbB, 90402 Nürnberg, DE |
10 | Veröffentlichte DE-Dokumente | DEPN | Originaldokument:
DE102009041815A1 Recherchierbarer Text:
DE102009041815A1 Originaldokument:
DE102009041815B4 Recherchierbarer Text:
DE102009041815B4 |
| Zustellanschrift | | Meissner Bolte Patentanwälte Rechtsanwälte Partnerschaft mbB, 90402 Nürnberg, DE |
| Zuständige Patentabteilung | | 53 |
57 | Zusammenfassung | AB | Die Erfindung betrifft eine Schaltung (1), insbesondere elektrische Schaltung, umfassend$A a) eine Speichereinheit (M) zum Speichern von Schaltungs-Zuständen (S1, S3, S3, ...),$A a1) wobei ein Schaltungs-Zustand jeweils wenigstens einen Folge-Zustand (S2, S3, ...) aufweist,$A b) eine Logikeinheit (L) zum Bestimmen der Folge-Zustände sowie insbesondere zur Erzeugung von Ausgangswerten (A) durch Verarbeiten von Schaltungs-Zuständen (S1, S2, S3, ...), insbesondere unter Einbeziehung von Eingangswerten (E),$A c) eine Takterzeugungseinheit (T) zur Festlegung von aufeinander folgenden Takt-Zeitpunkten,$A d) wobei die Schaltung bevorzugt das Verhalten, das ein Eigenschaftsgraph beschreibt, wiedergibt.$A Ferner betrifft die Erfindung einen Eigenschaftsgraph für eine Schaltung, insbesondere für eine Schaltung gemäß der Erfindung,$A a) wobei der Eigenschaftsgraph (G2) Graphen-Eigenschaften (P1, P2, ...) aufweist,$A b) wobei eine Graphen-Eigenschaft (P1, P2, ...) zeitlich aufeinander folgende Eigenschaftszeitpunkte (P11, P12, P21, P22, ...) aufweist,$A c) wobei die Eigenschaftszeitpunkte einen Anfangszeitpunkt (P11, P21, ...) sowie einen Endzeitpunkt (P12, P22, ...) umfassen,$A d) wobei ein Eigenschafftszeitpunkt (P11, P12, P21, P22, ...) in einem folgenden Zeitpunkt, insbesondere im folgenden Takt-Zeitpunkt, in einen anderen Eigenschaftszeitpunkt übergeht.$A Weiterhin betrifft die Erfindung ein Verfahren zum ... |
56 | Entgegenhaltungen/Zitate NPL | CTNP | SCHICKEL, M. (ET AL.): CandoGen-A Property-Based Model Generator. Presented at University Booth, DATE, 2007, http://www.cecs.uci.edu/~papers/date07_universitybooth/Sessions/Session2/S27.pdf; Wikipedia-Artikel: Schaltwerk (Technische Informatik), 03.04.2009, http://de.wikipedia.org/w/index.php?title=Schaltwerk_(Technische_Informatik)&oldid=58627768; SCHICKEL, M. [et.al.]: A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set. In: Embedded Systems Specification and Design Languages. Springer Netherlands, 2008. S. 271-275, (Reprint S. 1 - 2). |
43 | Erstveröffentlichungstag | EVT | 31.03.2011 |
| Anzahl der Bescheide | | 2 |
| Anzahl der Erwiderungen | | 2 |
| Erstmalige Übernahme in DPMAregister | EREGT | 27.05.2011 |
| Tag der (letzten) Aktualisierung in DPMAregister | REGT | 23.06.2022 (alle Aktualisierungstage einblenden)(alle Aktualisierungstage ausblenden)27.05.2011; 31.05.2011; 19.07.2011; 08.09.2011; 05.10.2011; 27.01.2012; 29.09.2012; 09.10.2012; 13.02.2013; 06.07.2013; 11.07.2013; 07.08.2013; 03.09.2013; 05.09.2013; 13.09.2013; 28.09.2013; 01.10.2013; 02.10.2013; 08.10.2013; 14.10.2013; 18.10.2013; 14.12.2013; 03.01.2014; 10.01.2014; 06.02.2014; 11.02.2014; 02.03.2014; 03.05.2014; 06.07.2014; 20.11.2014; 24.12.2014; 05.02.2015; 07.10.2015; 14.10.2015; 01.06.2016; 29.11.2016; 07.10.2017; 04.12.2018; 09.10.2019; 02.01.2020; 07.10.2020; 17.05.2022; 23.06.2022 |