@article{62644,
  author       = {{Schwabe, Tobias and Kress, Christian and Sadiye, Babak and Kruse, Stephan and Scheytt, J. Christoph}},
  journal      = {{IEEE Access}},
  keywords     = {{Optical attenuators, Equalizers, Phase shifters, Optical modulation, Electro-optic modulators, Optical amplifiers, Circuits, Silicon photonics, Optical saturation, Integrated circuit modeling, Data communication, equalization, electro-optical transmitter, silicon photonics, phase shifter, optical modulator, free-carrier plasma dispersion effect, driver architectures, biasing schemes}},
  pages        = {{192433--192450}},
  title        = {{{Analysis and Design of Forward Biased Silicon Photonics Phase Shifter Equalizer Circuits}}},
  doi          = {{10.1109/ACCESS.2025.3629385}},
  volume       = {{13}},
  year         = {{2025}},
}

@inproceedings{62641,
  author       = {{Kruse, Stephan and Diri, Jabil and Mager, Thomas and Kress, Christian and Scheytt, J. Christoph}},
  booktitle    = {{2025 55th European Microwave Conference (EuMC)}},
  keywords     = {{Optical fibers, Integrated optics, Semiconductor device measurement, Laser radar, Optical device fabrication, Photonic integrated circuits, Microwave theory and techniques, Optical fiber devices, Plastics, Substrates, Microwave photonics, photonic radar, optical LO distribution, mechatronic integrated device (MID)}},
  pages        = {{127--130}},
  title        = {{{Electrooptical Integration of an Electronic Photonic Integrated Circuit Into Plastic Substrates Using Mid-Technology}}},
  doi          = {{10.23919/EuMC65286.2025.11235121}},
  year         = {{2025}},
}

@inproceedings{63497,
  author       = {{Förster, Nikolas and Wallscheid, Oliver and Schafmeister, Frank}},
  booktitle    = {{2024 IEEE Design Methodologies Conference (DMC)}},
  keywords     = {{MOSFET, Thermal resistance, Surface resistance, Bridge circuits, Zero voltage switching, Pareto optimization, Capacitance, Numerical simulation, Optimization, Resistance heating, Pareto Optimization, Dual-Active Bridge, ZVS, Inductor Optimization, Transformer Optimization, Heat Sink Optimization}},
  pages        = {{1--8}},
  title        = {{{Dual-Active Bridge Sequential Pareto Optimization for Fast Pre-Design and Final Component Selection}}},
  doi          = {{10.1109/DMC62632.2024.10812131}},
  year         = {{2024}},
}

@phdthesis{26746,
  abstract     = {{Previous research in proof-carrying hardware has established the feasibility and utility of the approach, and provided a concrete solution for employing it for the certification of functional equivalence checking against a specification, but fell short in connecting it to state-of-the-art formal verification insights, methods and tools. Due to the immense complexity of modern circuits, and verification challenges such as the state explosion problem for sequential circuits, this restriction of readily-available verification solutions severely limited the applicability of the approach in wider contexts.

This thesis closes the gap between the PCH approach and current advances in formal hardware verification, provides methods and tools to express and certify a wide range of circuit properties, both functional and non-functional, and presents for the first time prototypes in which circuits that are implemented on actual reconfigurable hardware are verified with PCH methods. Using these results, designers can now apply PCH to establish trust in more complex circuits, by using more diverse properties which they can express using modern, efficient property specification techniques.}},
  author       = {{Wiersema, Tobias}},
  keywords     = {{Proof-Carrying Hardware, Formal Verification, Sequential Circuits, Non-Functional Properties, Functional Properties}},
  pages        = {{293}},
  publisher    = {{Paderborn University}},
  title        = {{{Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware}}},
  year         = {{2021}},
}

@inproceedings{37057,
  abstract     = {{Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which is a challenging task for the verification engineer. To cope with complexity, verification techniques working on different abstraction levels are best practice. SystemC is a versatile C++ based design and verification language, offering various mechanisms and constructs required for embedded systems modeling. Using the add-on SystemC Verification Library (SCV) elemental constrained-random stimuli techniques may be used for verification. However, SCV has several drawbacks such as lack of functional coverage. In this paper we present a functional coverage library that implements parts of the IEEE 1800-2005 SystemVerilog standard and allows capturing functional coverage throughout the design and verification process with SystemC. Moreover, we will demonstrate the usability of the approach with a case study working on a CAN bus model written in SystemC.}},
  author       = {{Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph}},
  booktitle    = {{Proceedings of SIES 2010}},
  keywords     = {{Libraries, Generators, Transfer functions, Monitoring, Computational modeling, Driver circuits, Adaptation model}},
  location     = {{ Trento, Italy}},
  publisher    = {{IEEE}},
  title        = {{{Verification of a CAN Bus Model in SystemC with Functional Coverage}}},
  doi          = {{10.1109/SIES.2010.5551379}},
  year         = {{2010}},
}

@inproceedings{9576,
  abstract     = {{In neurosurgery, delineation of tumor boundaries during resection of brain tumors is of substantial relevance. During operation distinction between tumor and healthy tissue rely on the abilities of the surgeon based on visual and tactile differentiation. In this paper a high sensitivity actuator-sensor system using a piezoelectric bimorph is presented. Frequency shift and transfer function of the bimorphpsilas voltages are detected and evaluated. Sensorpsilas sensitivity is evaluated using two frequency controls strategies: A phase-locked loop (PLL) and a self-oscillating circuit. Results of measurements conducted on gel-phantoms are presented and discussed.}},
  author       = {{Uribe, David Oliva and Stroop, Ralf and Hemsel, Tobias and Wallaschek, Jörg}},
  booktitle    = {{Frequency Control Symposium, 2008 IEEE International}},
  issn         = {{1075-6787}},
  keywords     = {{biomedical measurement, brain, cancer, neurophysiology, phantoms, phase locked loops, piezoelectric actuators, surgery, tactile sensors, transfer functions, tumours, PLL, biomedical tissue differentiation system, brain tumor resection, frequency control, frequency shift, gel-phantom, high sensitivity actuator-sensor system, neurosurgery, phase-locked loop, piezoelectric actuators, piezoelectric bimorph, self-oscillating circuit, sensor sensitivity, tactile differentiation, tactile sensor system, transfer function, tumor boundary, visual differentiation, Biomedical measurements, Circuits, Frequency control, Neoplasms, Neurosurgery, Phase locked loops, Piezoelectric actuators, Surges, Transfer functions, Voltage}},
  pages        = {{91--94}},
  title        = {{{Development of a biomedical tissue differentiation system using piezoelectric actuators}}},
  doi          = {{10.1109/FREQ.2008.4622963}},
  year         = {{2008}},
}

@inproceedings{6508,
  abstract     = {{In this paper, we present a framework that supports experimenting with evolutionary hardware design. We describe the framework's modules for composing evolutionary optimizers and for setting up, controlling, and analyzing experiments. Two case studies demonstrate the usefulness of the framework: evolution of hash functions and evolution based on pre-engineered circuits.}},
  author       = {{Kaufmann, Paul and Platzner, Marco}},
  booktitle    = {{Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)}},
  isbn         = {{076952866X}},
  keywords     = {{integrated circuit design, hardware evolution, evolutionary hardware design, evolutionary optimizers, hash functions, preengineered circuits, Hardware, Circuits, Design optimization, Visualization, Genetic programming, Genetic mutations, Clustering algorithms, Biological cells, Field programmable gate arrays, Routing}},
  location     = {{Edinburgh, UK}},
  pages        = {{447--454}},
  publisher    = {{IEEE}},
  title        = {{{MOVES: A Modular Framework for Hardware Evolution}}},
  doi          = {{10.1109/ahs.2007.73}},
  year         = {{2007}},
}

@inproceedings{8926,
  abstract     = {{Piezoelectric transformers are well known since the publication of some patent applications at the end of the 1950s. But until today their only business use lies in the field of backlighting systems for LCDs. Due to key features as light-weight, flatness, high step-up at low volume and high efficiency piezoelectric transformers should be usable in a much broader range of applications. This contribution returns to mind their operating principle, shows how to model and to develop such devices as well as give some aspects for development trends that will lead to further applications.}},
  author       = {{Hemsel, Tobias and Littmann, Walter and Wallaschek, Jörg}},
  booktitle    = {{Ultrasonics Symposium, 2002. Proceedings. 2002 IEEE}},
  issn         = {{1051-0117}},
  keywords     = {{piezoelectric devices, reviews, transformers, backlighting systems, flatness, high efficiency piezoelectric transformers, high step-up, light-weight, low volume, operating principle, piezoelectric transformers, Circuits, Costs, Electromagnetic devices, Electromagnetic fields, Mechanical energy, Piezoelectric materials, Power electronics, Switching frequency, Transformers, Vibrations}},
  number       = {{vol.1}},
  pages        = {{645--648}},
  title        = {{{Piezoelectric transformers - state of the art and development trends}}},
  doi          = {{10.1109/ULTSYM.2002.1193485}},
  volume       = {{1}},
  year         = {{2002}},
}