Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 42 for “"design verification"”.
-
Design verification of a diaphragm wall with steel piles
A study was conducted to verify the design of a diaphragm wall with steel piles. The original design was based on analysis performed on a soil-structure interaction program using soil parameters calibrated in a previous study. Original and "as-built" design models were compared to measured results …
-
Design Verification for Sequential Systems at Various Abstraction Levels
… complexity of digital systems, functional verification has become a daunting task to circuit designers. Functional verification alone often surpasses 70% of the total development cost and the situation has been projected to continue to worsen. The most critical limitations of existing …
-
The Design, Verification, and Validation of a Personal Hydrofoil Craft
The VT i-Ship Lab has been assigned the task of designing and building a Personal Hydrofoil Craft capable of carrying two people, featuring the distinctive capabilities of foiling and diving. This thesis examines the attributes of fully submerged hydrofoils and their prospective advancements. …
-
Design verification of power electronics systems subject to bounded uncertain inputs
This thesis proposes a new methodology for design verification of power electronics systems subject to bounded uncertain inputs. In this method, the power electronics system, which consists of the power electronics converter circuit and the associated controller, is described by a switched-linear …
-
Design, verification and validation of a dynamic model for an intramuscular autoinjector
… the American Standard of Mechanical Engineers Verification and Validation Standards (ASME V&V 40 and V&V20). This was accompanied by fluid characterisation of four medications, namely adrenaline, amikacin, Vaxigrip and insulin basaglar using a rheometer. The ZwickRoell universal tester measured …
-
Easy-filter: A Design, Verification, and Validation Tool for Finite Impulse Response (FIR) Filter
Due to increasing hardware design complexity and cutting-edge competition for the short time-to-market requirement, functional verification becomes the primary challenge in the hardware design development project. The essential parts to verify any systems are design code and testbench code. …
-
Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude
Designing, verifying, and implementing highly reliable distributed systems is at present a hard and very labor-intensive task. Cloud-based systems have further increased this complexity due to the desired consistency, availability, scalability, and disaster tolerance. This dissertation addresses …
-
A fluid loop actuator for active spacecraft attitude control - A Parametric Sizing Model and the Design, Verification, Validation and Test with a Prototype on an Air Bearing
Active spacecraft attitude control by using a pumped fluid as the inertial mass has potential advantages over reaction wheels, including high torque, lower power consumption, reduced jitter and prolonged lifetime. Previous work addressed conceptual and mission-specific control aspects, and one …
-
Search State Extensibility based Learning Framework for Model Checking and Test Generation
The increasing design complexity and shrinking feature size of hardware designs have created resource intensive design verification and manufacturing test phases in the product life-cycle of a digital system. On the contrary, time-to-market constraints require faster verification and test phases; …
-
Diagnosis and correction of logic design errors
A CAD tool ACCORD has been developed for design verification and design error correction. ACCORD verifies a gate-level implementation of a design in terms of its functional description. If the functionality of an implementation is incorrect, the tool identifies the error locations and makes …
-
Rectangular microstrip radiator for a multielement local hyperthermia applicator
… in printed circuit technology facilitate the design of thin, conformable, microstrip patch antenna arrays. Such multielement microwave antenna arrays can be advantageous for controlled heating of superficial malignancies during cancer therapy. This thesis reports a theoretical analysis and …
-
Developing Modeling and Simulation Methodology for Virtual Prototype Power Supply System
… a modeling and simulation methodology for design, verification, and testing (DVT) power supply system using a virtual prototype. The virtual prototype is implemented before the hardware prototyping to detect most of the design errors and circuit deficiencies that occur in the later stage of …
-
Design and optimization of a Formula SAE racecar chassis and suspension
Designing and constructing a chassis and suspension system for a Formula SAE racecar is a highly complex task involving the interaction of hundreds of parts that all perform an essential function. This thesis examines the critical factors in designing and implementing a Formula SAE chassis from the …
-
Mining constraints for Testing and Verification
… poses serious challenges to the digital hardware design. Functional verification has become one of the most expensive and time-consuming components of the current product development cycle. Today, design verification alone often surpasses 70% of the total development cost and the situation has …
-
Integration of HOL and MDG for hardware verification
With the ever increasing complexity of the design of digital systems and the size of the circuits in VLSI technology, the role of design verification has gained a lot of importance. Theorem Proving based verification and Decision Diagram based verification are now-a-days the two main techniques …
-
Partitioning of large HDL ASIC designs into multiple FPGA devices for prototyping and verification
… ASIC (Application specific Integrated Circuit) designs grow continuously bigger and bigger. This causes dramatic increase in the simulation run time. It is very hard to simulate these designs because the simulation time has risen from hours to days and weeks. Hardware Embedded Simulation (HES) …
-
Manufacturing and design of low cost stackable drawer for mass production
… thesis explores a next generation storage unit design for warehouses that increases stiffness, decreases assembly time, maintains or improves gross cubic utilization (GCU) - the amount of total available space that is actually utilized by product within the unit-while minimizing costs related to …
-
Verification-Aware Processor Design
… as well. Currently, ensuring that processor designs are correct represents a major challenge for the computing industry consuming the majority (up to 70%) of the resources allocated for the creation of a new processor. Looking towards the future, we see that with each new processor …
-
Identification and Analysis of Illegal States in the Apoptotic Discrete Transition System Model using ATPG and SAT-based Techniques
… facilitates the reutilization of the digital design verification and testing techniques developed in the Electronic Design Automation domain. These verification and testing techniques for hardware have become robust over the past few decades. Usually simulation is the cornerstone of the Design …
-
Agile Testing Methods for IC Radios
… used in Broadcom\u201fs WLAN and cellular chips. Verification and hardware testing for the radio is completed at the end of the development cycle by the fabrication of test chips which contain only radio specific hardware. Utilizing test chips allow for component specific design verification, …
Page 1 of 3