Engineering Commons^™

Semi-Automated Switching Regulator Modeling Method And Tool, Michael Heath Leonard

Graduate Theses and Dissertations

This thesis presents the results of research targeted at automating the behavioral modeling process for switching voltage regulators. These regulators are commonly used in many application areas including discrete use in larger systems, integrated in a System on a Chip (SoC), or as the primary use case for a design. When used in an integrated system these regulators can be a significant force in slowing down simulations. A common method for removing this slowdown is to use a behavioral model of the switching regulator.

Creating behavioral models can be very time consuming and requires expertise.

The thesis discussion begins by …

Design And Verification Environment For High-Performance Video-Based Embedded Systems, Michael Mefenza Nentedem

Graduate Theses and Dissertations

In this dissertation, a method and a tool to enable design and verification of computation demanding embedded vision-based systems is presented. Starting with an executable specification in OpenCV, we provide subsequent refinements and verification down to a system-on-chip prototype into an FPGA-Based smart camera. At each level of abstraction, properties of image processing applications are used along with structure composition to provide a generic architecture that can be automatically verified and mapped to the lower abstraction level. The result is a framework that encapsulates the computer vision library OpenCV at the highest level, integrates Accelera's System-C/TLM with UVM and QEMU-OS …