TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 7.

Ritter, Gerd (2001):
Formal Sequential Equivalence Checking of Digital Systems by Symbolic Simulation.
Darmstadt, Technische Universität, TU Darmstadt,
[Ph.D. Thesis]

Ritter, Gerd (2001):
Formal sequential equivalence checking of digital systems by symbolic simulation.
Darmstadt, Techn. Univ., TU Darmstadt,
[Ph.D. Thesis]

Ritter, Gerd (2000):
Sequential equivalence checking by symbolic simulation.
In: Formal methods in computer aided design: 3rd International Conference, 2000, Austin, Texas; Proceedings. Hrsg.: R. Hunt (et al.). - Berlin, Heidelberg (u.a.): Springer, 2000 = Lecture notes in computer science; 1954, Berlin, Heidelberg (u.a.), Springer, [Conference or Workshop Item]

Ritter, Gerd (2000):
Verification formelle dans la synthèse automatique des systèmes avec pipeline.
In: JNRDM-Workshop <2000, Montpellier>: Proceedings, [Conference or Workshop Item]

Ritter, Gerd and Hinrichsen, H. and Eveking, H. (1999):
Formal verification of descriptions with distinct order of memory operations.
In: ASIAN'99: Advances in Computing Science; 5th Asian Computing Science Conference, Phuket, Thailand 1999; Proceedings. Hrsg.: P.S. Thiagarajan. - Berlin (u.a.): Springer, 1999 (Lecture notes in computer science; 1742), Berlin (u.a.), Springer, [Conference or Workshop Item]

Ritter, Gerd and Eveking, H. and Hinrichsen, H. (1999):
Formal verification of designs with complex control by symbolic simulation.
In: CHARME'99:Advanced Research Working Conference on Correct Hardware Design and Verification Methods <10, 1999, Herrenalb>; Proceedings. - Berlin (u.a.): Springer, 1999 (Lecture notes in computer science; 1703), Berlin (u.a.), Springer, [Conference or Workshop Item]

Ritter, Gerd and Hinrichsen, H. and Eveking, H. (1999):
Formale Verifikation automatisch generierter Pipelinesysteme durch symbolische Simulation.
In: EIS'99: Entwurf integrierter Schaltkreise; Workshop <1999, Darmstadt>: Proceedings. - Darmstadt: GMD, 1999, Darmstadt, GMD, [Conference or Workshop Item]

This list was generated on Sat Nov 28 01:15:15 2020 CET.