| 54 |
Title |
TI |
[DE] Schaltung, Eigenschaftsgraph und Verfahren zum Erzeugen einer Schaltung
[EN] Circuit, particularly electrical circuit, has storage unit for storing circuit conditions and logic unit for determining successive conditions, particularly for generating output values by processing circuit conditions |
| 71/73 |
Applicant/owner |
PA |
Technische Universität Chemnitz, 09111 Chemnitz, DE
|
| 72 |
Inventor |
IN |
Heinkel, Ulrich, Prof. Dr.-Ing., 09127 Chemnitz, DE
;
Langer, Jan, Dipl.-Ing., 09123 Chemnitz, DE
|
| 22/96 |
Application date |
AD |
Sep 18, 2009 |
| 21 |
Application number |
AN |
102009041815 |
|
Country of application |
AC |
DE |
|
Publication date |
PUB |
Mar 31, 2011 |
33
31
32 |
Priority data |
PRC
PRN
PRD |
|
| 51 |
IPC main class |
ICM |
G06F 17/50
(2006.01)
|
| 51 |
IPC secondary class |
ICS |
|
|
IPC additional class |
ICA |
|
|
IPC index class |
ICI |
|
|
Cooperative patent classification |
CPC |
G06F 30/30
|
|
MCD main class |
MCM |
G06F 17/50
(2006.01)
|
|
MCD secondary class |
MCS |
|
|
MCD additional class |
MCA |
|
| 57 |
Abstract |
AB |
[DE] Die Erfindung betrifft eine Schaltung (1), insbesondere elektrische Schaltung, umfassend a) eine Speichereinheit (M) zum Speichern von Schaltungs-Zuständen (S1, S3, S3, ...), a1) wobei ein Schaltungs-Zustand jeweils wenigstens einen Folge-Zustand (S2, S3, ...) aufweist, 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), c) eine Takterzeugungseinheit (T) zur Festlegung von aufeinander folgenden Takt-Zeitpunkten, d) wobei die Schaltung bevorzugt das Verhalten, das ein Eigenschaftsgraph beschreibt, wiedergibt. Ferner betrifft die Erfindung einen Eigenschaftsgraph für eine Schaltung, insbesondere für eine Schaltung gemäß der Erfindung, a) wobei der Eigenschaftsgraph (G2) Graphen-Eigenschaften (P1, P2, ...) aufweist, b) wobei eine Graphen-Eigenschaft (P1, P2, ...) zeitlich aufeinander folgende Eigenschaftszeitpunkte (P11, P12, P21, P22, ...) aufweist, c) wobei die Eigenschaftszeitpunkte einen Anfangszeitpunkt (P11, P21, ...) sowie einen Endzeitpunkt (P12, P22, ...) umfassen, d) wobei ein Eigenschafftszeitpunkt (P11, P12, P21, P22, ...) in einem folgenden Zeitpunkt, insbesondere im folgenden Takt-Zeitpunkt, in einen anderen Eigenschaftszeitpunkt übergeht. Weiterhin betrifft die Erfindung ein Verfahren zum ...
[EN] The circuit has a storage unit for storing circuit conditions and a logic unit for determining the successive conditions, particularly for generating output values by processing circuit conditions, particularly by integrating input values. A time generating unit is provided for determining successive time points. An independent claim is also included for a method for producing a circuit. |
| 56 |
Cited documents identified in the search |
CT |
|
| 56 |
Cited documents indicated by the applicant |
CT |
|
| 56 |
Cited non-patent literature identified in the search |
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 n;
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). n;
SCHICKEL, V. (ET AL.): CandoGen-A Property-Based Model Generator. Presented at University Booth, DATE, 2007, http://www.cecs.uci.edu/~papers/date07_universityb oth/Sessions/Session2/S27.pdf 0;
Wikipedia-Artikel: Schaltwerk (Technische Informatik), 03.04.2009, http://de.wikipedia.org/w/index.php?title=Schaltwe k_(Technische_Informatik)&oldid=58627768 0;
Wikipedia-Artikel: Schaltwerk (Technische Informatik), 03.04.2009, http://de.wikipedia.org/w/index.php?title=Schaltwerk_(Technische_Informatik)&oldid=58627768 n
|
| 56 |
Cited non-patent literature indicated by the applicant |
CTNP |
|
|
Citing documents |
|
CN000113570925A
|
|
Sequence listings |
|
|
|
Search file IPC |
ICP |
G06F 17/50
|
