Papers and Presentations

Papers published in conference proceedings, journals, and book chapters

• Yosys+nextpnr: An Open Source Framework from Verilog to Bitstream for Commercial FPGAs
  David Shah, Eddie Hung, Clifford Wolf, Serge Bazanski, Dan Gisselquist, Miodrag Milanovic. FCCM 2019: 1-4.
   
  
• Btor2 , BtorMC and Boolector 3.0
  Niemetz A., Preiner M., Wolf C., and Biere A. (2018)
  In: Chockler H., Weissenbacher G. (eds) Computer Aided Verification. CAV 2018.
  Lecture Notes in Computer Science, vol 10981. Springer, Cham
   
  
• Toggle MUX: How X-Optimism Can Lead to Malicious Hardware.
  Christian Krieg, Clifford Wolf, Axel Jantsch, and Tanja Zseby
  Proceedings of the 54th Annual Design Automation Conference 2017 (DAC '17);
  download paper (pdf), doi:10.1145/3061639.3062328.
   
  
• Malicious LUT: A Stealthy FPGA Trojan Injected and Triggered by the Design Flow
  Christian Krieg, Clifford Wolf, Axel Jantsch
  Proceedings of the 35th International Conference on Computer-Aided Design (ICCAD 2016);
  download paper(pdf), doi:10.1145/2966986.2967054.
   
  
• Online waveform processing for demanding target situations
  Martin Pfennigbauer, Clifford Wolf, Josef Weinkopf, Andreas Ullrich
  Proc. SPIE 9080, Laser Radar Technology and Applications XIX; and
  Atmospheric Propagation XI, 90800J (June 9, 2014); doi:10.1117/12.2052994.
   
  
• Methodology and Example-Driven Interconnect Synthesis for Designing Heterogeneous Coarse-Grain Reconfigurable Architectures.
  Johann Glaser and Clifford Wolf. In Jan Haase, editor, Models, Methods, and Tools for Complex Chip Design.
  Lecture Notes in Electrical Engineering. Volume 265, 2014, pp 201-221. Springer, 2013.
   
  
• Enhancing online waveform processing by adding new point attributes
  Martin Pfennigbauer, Clifford Wolf, Andreas Ullrich
  Proc. SPIE 8731, Laser Radar Technology and Applications XVIII, 873104 (May 20, 2013)
  doi:10.1117/12.2015733.
   
  
• Example-Driven Interconnect Synthesis for Heterogeneous Coarse-Grain Reconfigurable Logic
  Clifford Wolf, Johann Glaser, Florian Schupfer, Jan Haase, Christoph Grimm
  2012 Forum on Specification and Design Languages (FDL)
  download paper (pdf), download presentation (pdf) (as presented at FDL 2012)
   
  
• Cluster synchronization with csync2, Clifford Wolf
  My paper and presentation for the Linux-Kongress 2005. (ISBN 3-86541-119-3, page 27-36)
   
  
• Distributed Software Development using Subversion and SubMaster, Clifford Wolf
  My paper and presentation for the SANE 2004 conference. (proceedings of the 4th internation system administration and network engineering conference, SANE 2004, page 161-172)
   
  

  Textbooks

• Metalab Elektronik Kurs Skriptum
  The textbook I wrote for my lectures on electronics engineering I give at Metalab.
   
  

  Articles

• DC Simulation eines Komparators [...] (by Clifford Wolf)
  A german term paper on circuit simulation with QUCS: Seminararbeit für 360.019 CAE - Netzwerkanalyse:
  DC Simulation eines Komparators aus diskreten Halbleiterbauteilen unter Berücksichtigung der
  Exemplarstreuung der Bauteilparameter mit QUCS
   
  
• Linux Magazin Technical Review 04: High availability - Csync2 (by Clifford Wolf)
  A german article about Csync2, a cluster synchronisation tool I wrote. (ISBN 978-3-939551-06-5, page 56-63)
   
  
• Linux Magazin 07/04 - HA-Netzwerke (by Clifford Wolf)
  An article about implementing HA-Networks with Linux Bondig Device I wrote for the german "Linux Magazin".
   
  

  Publications I reviewed or was otherwise involved

• Versionskontrolle mit Subversion
  I reviewed the german translation of "Version Control with Subversion". (O'Reilly, 2005, ISBN 3-89721-460-1, Fachgutachter für die deutsche Übersetzung).
   
  

  Presentations

• End-to-end formal ISA verification of RISC-V processors with riscv-formal
  Presentation on riscv-formal, my framework for formally verifying RISC-V processors.
   
  
• Formal Verification with SymbiYosys and Yosys-SMTBMC
  A heavily updated version of the "Formal Verification with Yosys-SMTBMC" presentation.
   
  
• Formal Verification with Yosys-SMTBMC
  My presentation for ORCONF 2016.
   
  
• Verilog Synthesis and Formal Verification with Yosys
  My presentation for Easterhegg 2016.
   
  
• A Free and Open Source Verilog-to-Bitstream Flow for iCE40 FPGAs
  My presentation for 32C3 and FOSDEM 2016.
   
  
• Introduction to SAT and SMT Solvers -- Interfacing Yosys and SMT Solvers for BMC and more using SMT-LIB 2.5
  A presentation on SAT/SMT solving and how it is used in the new yosys-smtbmc flow.
   
  
• Open Source HDL Synthesis and Verification with Yosys
  My presentation for ORCONF 2015.
   
  
• CUDA GPU Development -- Principles, Techniques and Tools
  An introduction to GPU programming using CUDA.
   
  
• Elektronikentwicklung unter Linux
  A german presentation on EDA tools for GNU/Linux.
   
  
• The Craft of API Design
  A presentation about the dos and don'ts in API-Design.
   
  
• Sourcecode Management with GIT
  A german presentation about GIT from the bottom up.
   
  
• Advanced Subversion
  A german presentation about some more advanced subversion features and my subversion helper scripts.
   
  
• Verilog HDL - Hardware Hacken ohne Lötkolben
  A german introduction to Verilog HDL.
   
  
• Vom Transistor zum Gatter - CMOS Einführung
  A rather long (100 slides) german introduction into CMOS Design.
   
  
• SPL Feature Show
  Yet another SPL presentation.
   
  
• Ökonomische Aspekte Freier Software
  A short german presentation about the economic aspects of free software.
   
  
• An introduction to Subversion for new users
  A short presentation with the most important information on using subversion.
   
  
• Freie Software (OSS) aus der Sicht des Entwicklers
  A german presentation about Free Software.
   
  
• Cluster synchronization with csync2
  A paper and presentation slides about csync2, a cluster synchronization tool I wrote.
   
  
• shadowfs - A framework for LD_PRELOAD filesystem wrappers
  A presentation about shadowfs and how to create NFS-Root and Live-CD setups with it. [ pdf | ps | tex ]
   
  
• Implementing Buffer Overflow Attacks
  A pretty old presentation of mine. This is the "remake" of the slides in LaTeX. [ pdf | ps | tex ]
  [The example programs]    [The referred Phrack articles]
   
  
• SPL and WebSPL - Yet another programming paradigm
  A presentation about SPL, an embeddable programming language I wrote. [ pdf | ps | tex ]
   
  
• Sourcecodemanagement mit Subversion
  A (german) presentation I gave at OSCON 2005 about Subversion. [ pdf | ps | sxi ]
   
  
• Implementation of a high-level language compiler for Brainf*ck
  An introduction to compiler design I'm going to do at 21C3.
  The example project for the presentation is a compiler for generating Brainf*ck code. [ pdf | ps | tex ]
   
  
• Distribution Development with ROCK Linux
  My Presentation on ROCK Linux for OS04 in Graz. [ pdf | ps | tex ]
   
  
• Distributed Software Development with SubMaster
  My presentation and paper on Subversion and SubMaster for the SANE 2004 conference in Amsterdam.
   
  
• Cluster syncronisation with csync2
  My presentation for "Linuxwochen 2004" in vienna about csync2. [ pdf | ps | tex ]
   
  
• Keynote for Grazer Linux Tage
  My keynote for the Grazer Linux Tage 2004. [ pdf | ps | tex ]
   
  
• The Brainf*ck CPU
  An introduction to VHDL I've been doing on 20C3. [ pdf | ps | tex ]

Sorry - many old presentations (all the stuff made before 2004) are not online right now. I can convert one or another to LaTex/HA-Prosper and put it online if requested.