Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Polynomial Formal Verification of Multipliers.

M. Keim, M. Martin, B. Becker, R. Drechsler, und P. Molitor. VTS, Seite 150-157. IEEE Computer Society, (1997)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

PD Dr. Rolf Brack University of Stuttgart

Rolf Beißwanger University of Stuttgart

PD Dr. Michael Rolf Schweikert University of Stuttgart

Dr. -Ing. Rolf Stierle University of Stuttgart

Dr. Rolf Bauer University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Heuristic Learning Based on Genetic Programming.F. Schmiedle, N. Drechsler, D. Große, und R. Drechsler. Genetic Programming and Evolvable Machines, 3 (4): 363-388 (2002)RevKit: A Toolkit for Reversible Circuit Design.M. Soeken, S. Frehse, R. Wille, und R. Drechsler. Multiple-Valued Logic and Soft Computing, 18 (1): 55-65 (2012)Exact Synthesis of Elementary Quantum Gate Circuits.D. Große, R. Wille, G. Dueck, und R. Drechsler. Multiple-Valued Logic and Soft Computing, 15 (4): 283-300 (2009)Binary Decision Diagrams - Theory and Implementation.R. Drechsler, und B. Becker. Springer, (1998)Äquivalenzvergleich digitaler Schaltungen im industriellen Umfeld (Equivalence Checking of Digital Circuits in an Industrial Environment).R. Drechsler. it+ti - Informationstechnik und Technische Informatik, 43 (4): 200-205 (2001)Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen (Automated Formal Verification of Fault Tolerance for Circuits).G. Fey, A. Sülflow, S. Frehse, und R. Drechsler. it - Information Technology, 52 (4): 216-223 (2010)Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques.D. Große, H. Peraza, W. Klingauf, und R. Drechsler. FDL, Seite 146-151. ECSI, (2007)Automatic design of low-power encoders using reversible circuit synthesis.R. Wille, R. Drechsler, C. Osewold, und A. Ortiz. DATE, Seite 1036-1041. IEEE, (2012)Efficient minimization of fully testable 2-SPP networks.A. Bernasconi, V. Ciriani, R. Drechsler, und T. Villa. DATE, Seite 1300-1305. European Design and Automation Association, Leuven, Belgium, (2006)Panel: Future SoC verification methodology: UVM evolution or revolution?R. Drechsler, C. Chevallaz, F. Fummi, A. Hu, R. Morad, F. Schirrmeister, und A. Goryachev. DATE, Seite 1-5. European Design and Automation Association, (2014)