| 2013 | Debugging HDL designs based on functional equivalences with high-level specifications. | Alexander Finder, Jan-Philipp Witte, Grschwin Fey |
| 2013 | Embedded microcontroller system for PilsenCUBE picosatellite. | Pavel Fiala, Ales Vobornik |
| 2013 | Interpolation-based model checking for efficient incremental analysis of software. | Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2013 | Reliability-aware cross-layer custom instruction screening. | Bahareh J. Farahani, Ali Azarpeyvand, Saeed Safari, Seid Mehdi Fakhraie |
| 2013 | Energy-aware software development for embedded systems in HW/SW co-design. | Paul Ehrlich, Stephan Radke |
| 2013 | Hardware-Software Co-Visualization: Developing systems in the holodeck. | Rolf Drechsler, Mathias Soeken |
| 2013 | Relocation of reconfigurable modules on Xilinx FPGA. | Tomas Drahonovsky, Martin Rozkovec, Ondrej Novk |
| 2013 | Efficient automated speedpath debugging. | Mehdi Dehbashi, Grschwin Fey |
| 2013 | Test pattern decompression in parallel scan chain architecture. | Martin Chloupek, Jiri Jencek, Ondrej Novk, Martin Rozkovec |
| 2013 | Ultra-high bandwidth fully-differential three-stage operational amplifiers in 40nm digital CMOS. | Hong Chen, Vladimir M. Milovanovic, Dario Giotta, Horst Zimmermann |
| 2013 | Design of stochastic Viterbi decoders for convolutional codes. | Te-Hsuan Chen, John P. Hayes |
| 2013 | On the on-line functional test of the Reorder Buffer memory in superscalar processors. | Stefano Di Carlo, Ernesto Snchez, Matteo Sonza Reorda |
| 2013 | Frequency injection attack on a random number generator. | Simona Buchoveck, Josef Hlavc |
| 2013 | Numerical method for DC fault analysis simplification and simulation time reduction. | Juraj Brenkus, Viera Stopjakov, Gbor Gyepes |
| 2013 | Error resilient OBDDs. | Anna Bernasconi, Valentina Ciriani, Lorenzo Lago |
| 2013 | Yield-oriented energy and performance model for subthreshold circuits with Vth variations. | Hans Kristian Otnes Berge, Snorre Aunet |
| 2013 | Efficiency of oscillation-based BIST in 90nm CMOS active analog filters. | Daniel Arbet, Gabriel Nagy, Viera Stopjakov, Gbor Gyepes |
| 2013 | Extensible open-source framework for translating RTL VHDL IP cores to SystemC. | Syed Saif Abrar, Maksim Jenihhin, Jaan Raik |
| 2012 | A 512 kb SRAM in 65nm CMOS with divided bitline and novel two-stage sensing technique. | Xiang Zheng, Ming Liu, Hong Chen, Huamin Cao, Cong Wang, Zhiqiang Gao |
| 2012 | A simulation framework for 3-dimension Networks-on-chip with different vertical channel density configurations. | Haoyuan Ying, Ashok Jaiswal, Mohamed A. Abd El-Ghany, Thomas Hollstein, Klaus Hofmann |
| 2012 | Security properties of oscillator rings in true random number generators. | Knut Wold, Slobodan Petrovic |
| 2012 | Design techniques for increasing performance and resource utilization of reconfigurable soft CPUs. | Alexander Wold, Dirk Koch, Jim Trresen |
| 2012 | Adaptive voltage scaling by in-situ delay monitoring for an image processing circuit. | Martin Wirnshofer, Leonhard Hei, Anil Narayan Kakade, Nasim Pour Aryan, Georg Georgakos, Doris Schmitt-Landsiedel |
| 2012 | High speed FPGA implementation of hough transform for real-time applications. | Liberis Voudouris, Spiridon Nikolaidis, Abdoul Rjoub |
| 2012 | Bounded model checking of Contiki applications. | Thilo Vrtler, Steffen Rlke, Petra Hofstedt |