Hasso-Plattner-Institut25 Jahre HPI
Hasso-Plattner-Institut25 Jahre HPI
Login
  • de
 

Dominic Wist

I successfully defended my Ph.D. thesis on April 27, 2012. It is titled Attacking Complexity in Logic Synthesis of Asynchronous Circuits.

E-Mail: dominic.wist(at)hpi-alumni.de

Forschung

  • Formal Methods of Concurrent System Design
  • EDA (Electronic Design Automation) System Development for the Design of Asynchronous (i.e. Clockless) Circuits

Projekte

  • Decomposing Signal Transition Graphs for Synthesising Interacting Asynchronous Controllers; funded by the DFGRead More (in German)
  • Incorporating Verification into Conventional Asynchronous VLSI Tool Flows; see EPSRCproject VERDAD
  • Optimisation of HDL-specified Asynchronous Controllers via STG Decomposition, funded by the DFGRead More (in German)

Lehre

  • Foundations of Digital Systems
  • Design and Implementation of Digital Circuits with VHDL
  • Foundations of Control Engineering

Publikationen

2012

  • Wist, D.: Attacking Complexity in Logic Synthesis of Asynchronous Circuits. PhD Thesis, HPI, University of Potsdam, 2012, download
  • Wist, D.: Logic Synthesis of Complex Asynchronous Circuits. EDAA/ACM SIGDA PhD Forum at DATE, 2012, abstractposter

2011

  • Wist, D.; Schäfer, M.; Vogler, W.; Wollowski, R.: Signal Transition Graph Decomposition: Internal Communication for Speed Independent Circuit Implementation. IET Computers & Digital Techniques, 2011, 5, pp. 440-451
  • Wist, D.; Vogler, W.; Wollowski, R.: STG Decomposition: Partitioning Heuristics.ACSD'11: 11th International Conference on Application of Concurrency to System Design, 2011
  • Alekseyev, A.; Khomenko, V.; Mokhov, A.; Wist, D.; Yakovlev, A.: Improved Parallel Composition of labelled Petri nets. ACSD'11: 11th International Conference on Application of Concurrency to System Design, 2011

2010

  • Wist, D.; Schäfer, M.; Vogler, W.; Wollowski, R.: STG Decomposition: Internal Communication for SI Implementability. ACSD'10: 10th International Conference on Application of Concurrency to System Design, 2010, pp. 13-23
  • Wist, D.; Schäfer, M.; Vogler, W.; Wollowski, R.: STG Decomposition: Internal Communication for SI Implementability. Technical Report, No. 32, HPI, 2010, download

2009

  • Wist, D.; Wollowski, R.; Schäfer, M.; Vogler, W.: Avoiding Irreducible CSC Conflicts by Internal Communication. Fundamenta Informaticae, 2009, 95, pp. 1-29
  • Schäfer, M.; Wist, D.; Wollowski, R.: DESIJ - Enabling Decomposition-Based Synthesis of Complex Asynchronous Controllers. ACSD'09: 9th International Conference on Application of Concurrency to System Design, 2009, pp. 186-190

2008

  • Schäfer, M.; Vogler, W.; Wist, D.; Wollowski, R.: Avoiding Irreducible CSC Conflicts by Internal Communication. ACSD'08: 8th International Conference on Application of Concurrency to System Design, 2008, pp. 3-12, Best Paper Award
  • Schäfer, M.; Vogler, W.; Wist, D.; Wollowski, R.: Avoiding Irreducible CSC Conflicts by Internal Communication. Technical Report, 2008-02, Institute of Computer Science, University of Augsburg, 2008, download

2007

  • Wist, D.; Wollowski, R.: STG Decomposition: Avoiding Irreducible CSC Conflicts by Internal Communication. Technical Report, No. 20, HPI, 2007, download
  • Wist, D.; Wollowski, R.: Avoiding Irreducible CSC Conflicts in Component STGs. 19th UK Asynchronous Forum, Imperial College London, 2007, download