Tesis sobre el tema "DIGITAL SYSTEM DESIGN TEST AND VERIFICATION"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 22 mejores tesis para su investigación sobre el tema "DIGITAL SYSTEM DESIGN TEST AND VERIFICATION".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
VALLERO, ALESSANDRO. "Cross layer reliability estimation for digital systems". Doctoral thesis, Politecnico di Torino, 2017. http://hdl.handle.net/11583/2673865.
Texto completoZhou, Jing 1959. "LOVERD--a logic design verification and diagnosis system via test generation". Thesis, The University of Arizona, 1989. http://hdl.handle.net/10150/291686.
Texto completoKim, Seokjin. "High-speed analog-to-digital converters for modern satellite receivers design verification test and sensitivity analysis /". College Park, Md.: University of Maryland, 2008. http://hdl.handle.net/1903/7864.
Texto completoThesis research directed by: Dept. of Electrical and Computer Engineering. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
Bougan, Timothy B. "Flexible Intercom System Design for Telemetry Sites and Other Test Environments". International Foundation for Telemetering, 1996. http://hdl.handle.net/10150/611449.
Texto completoTesting avionics and military equipment often requires extensive facilities and numerous operators working in concert. In many cases these facilities are mobile and can be set up at remote locations. In almost all situations the equipment is loud and makes communication between the operators difficult if not impossible. Furthermore, many sites must transmit, receive, relay, and record telemetry signals. To facilitate communication, most telemetry and test sites incorporate some form of intercom system. While intercom systems themselves are a not a new concept and are available in many forms, finding one that meets the requirements of the test community (at a reasonable cost) can be a significant challenge. Specifically, the test director must often communicate with several manned stations, aircraft, remote sites, and/or simultaneously record all or some of the audio traffic. Furthermore, it is often necessary to conference all or some of the channels (so that all those involved can fully follow the progress of the test). The needs can be so specialized that they often demand a very expensive "custom" solution. This paper describes the philosophy and design of a multi-channel intercom system specifically intended to support the needs of the telemetry and test community. It discusses in detail how to use state-of-the-art field programmable gate arrays, relatively inexpensive computers and digital signal processors, and some other new technologies to design a fully digital, completely non-blocking intercom system. The system described is radically different from conventional designs but is much more cost effective (thanks to recent developments in programmable logic, microprocessor performance, and serial/digital technologies). This paper presents, as an example, the conception and design of an actual system purchased by the US government.
Ruddy, Marcus A. "Pico-Satellite Integrated System Level Test Program". DigitalCommons@CalPoly, 2012. https://digitalcommons.calpoly.edu/theses/688.
Texto completoAalto, Alve y Ali Jafari. "Automatic Probing System for PCB : Analysis of an automatic probing system for design verification of printed circuit boards". Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-174865.
Texto completoMålet med detta examensarbete är att göra en analys av huruvida Ericssons kretskort kan testas med hjälp av ett automatiskt probe system eller om det kräver stora förändringar i designdelen av kretskorten och om, vad för förändringar det i sådant fall kan vara. Till hjälp att analysera kretskorten har vi haft oscilloskop för att få ut rådata om skillnaderna mellan de teoretiska och verkliga signalerna. För att kunna tyda oscilloskopets samplade signaler har olika programmeringsspråk som Python, Matlab samt Excel använts. En extra via i signalens väg har även simulerats i HFSS och ADS med olika sorts probar för att se hur signalens beteende påverkas. Resultaten extraherades sedan in i olika Excel ark för att få en lätt överskådlig bild av resultaten. Resultatet vi fick visade att utformningen av ett kretskort med ändringarna skulle vara lättare att göra med en ny design istället för en redan existerande då större delar av kortet skulle behöva göras om. Vissa stora komponenter behöver antingen göras om, hitta mindre men likvärdiga eller sättas på ena sidan av kortet där de inte är i vägen för proben. Kretskorten som kommer använda flygande probesystem kommer antagligen bli lite större då viornas placering är mer begränsade än tidigare. Det mest tidskrävande arbetet var att simulera olika placeringar av en extra via i signalens väg. Detta visade att på en single ended signal under två gigahertz så gör det ingen större skillnad vart i signalens väg som den extra vian placeras. Då en högre frekvens används så är själva signalens karaktär det viktigaste än placeringen av en via, men om man inte vet den exakta karaktären så är fyra millimeter bort från mottagarens sida att rekommendera då närmare placering av viorna gör att signalerna börjar störa varandra.
Ioannides, Charalambos. "Investigating the potential of machine learning techniques for feedback-based coverage-directed test genreation in simulation-based digital design verification". Thesis, University of Bristol, 2013. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618315.
Texto completoAluru, Gunasekhar. "Exploring Analog and Digital Design Using the Open-Source Electric VLSI Design System". Thesis, University of North Texas, 2016. https://digital.library.unt.edu/ark:/67531/metadc849770/.
Texto completoQiang, Qiang. "FORMAL a sequential ATPG-based bounded model checking system for VLSI circuits /". online version, 2006. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=case1144614543.
Texto completoLarsson, Erik. "An Integrated System-Level Design for Testability Methodology". Doctoral thesis, Linköpings universitet, ESLAB - Laboratoriet för inbyggda system, 2000. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-4932.
Texto completoNorberg, Johan. "Verification techniques in the context of event-trigged soft real-time systems". Thesis, Jönköping University, JTH, Computer and Electrical Engineering, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-737.
Texto completoWhen exploring a verification approach for Komatsu Forest's control system regarding their forest machines (Valmet), the context of soft real-time systems is illuminated. Because of the nature of such context, the verification process is based on empirical corroboration of requirements fulfillment rather than being a formal proving process.
After analysis of the literature with respect to the software testing field, two paradigms have been defined in order to highlight important concepts for soft real-time systems. The paradigms are based on an abstract stimuli/response model, which conceptualize a system with inputs and output. Since the system is perceived as a black box, its internal details are hidden and thus focus is placed on a more abstract level.
The first paradigm, the “input data paradigm”, is concerned about what data to input to the system. The second paradigm, the “input data mechanism paradigm” is concerned about how the data is sent, i.e. the actual input mechanism is focused. By specifying different dimensions associated with each paradigm, it is possible to define their unique characteristics. The advantage of this kind of theoretical construction is that each paradigm creates an unique sub-field with its own problems and techniques.
The problems defined for this thesis is primarily focused on the input data mechanism paradigm, where devised dimensions are applied. New verification techniques are deduced and analyzed based on general software testing principles. Based on the constructed theory, a test system architecture for the control system is developed. Finally, an implementation is constructed based on the architecture and a practical scenario. Its automation capability is then assessed.
The practical context for the thesis is a new simulator under development. It is based upon LabVIEW and PXI technology and handles over 200 I/O. Real machine components are connected to the environment, together with artificial components that simulate the engine, hydraulic systems and a forest. Additionally, physical control sticks and buttons are connected to the simulator to enable user testing of the machine being simulated.
The results associated with the thesis is first of all that usable verification techniques were deduced. Generally speaking, some of these techniques are scalable and are possible to apply for an entire system, while other techniques may be appropriate for selected subsets that needs extra attention. Secondly, an architecture for an automated test system based on a selection of techniques has been constructed for the control system.
Last but not least, as a result of this, an implementation of a general test system has been possible and successful. The implemented test system is based on both C# and LabVIEW. What remains regarding the implementation is primarily to extend the system to include the full scope of features described in the architecture and to enable result analysis.
Då verifikationstekniker för Komatu Forests styrsystem utreds angående Valmet skogsmaskiner, hamnar det mjuka realtidssystemkontextet i fokus. Ett sådant kontext antyder en process där empirisk styrkning av kravuppfyllande står i centrum framför formella bevisföringsprocesser.
Efter en genomgång och analys av litteratur för mjukvarutestområdet har två paradigmer definierats med avsikten att belysa viktiga concept för mjuka realtidssystem. Paradigmerna är baserade på en abstrakt stimuli/responsmodell, som beskriver ett system med in- och utdata. Eftersom detta system betraktas som en svart låda är inre detaljer gömda, vilket medför att fokus hamnar på ett mer abstrakt plan.
Det första paradigmet benämns som “indata-paradigmet” och inriktar sig på vilket data som skickas in i systemet. Det andra paradigmet går under namnet “indatamekanism-paradigmet” och behandlar hur datat skickas in i systemet, dvs fokus placeras på själva inskickarmekanismen. Genom att definiera olika
dimensioner för de två paradigmen, är det möjligt att beskriva deras utmärkande drag. Fördelen med att använda denna teoretiska konstruktion är att ett paradigm skapar ett eget teoriområde med sina egna frågeställningar och tekniker.
De problem som definierats för detta arbete är främst fokuserade på indatamekanism-paradigmet, där framtagna dimensioner tillämpas. Nya verifikationstekniker deduceras och analyseras baserat på generella mjukvarutestprinciper. Utifrån den skapade teorin skapas en testsystemarkitektur för kontrollsystemet. Sedan utvecklas ett testsystem baserat på arkitekturen samt ett praktiskt scenario med syftet att utreda systemets automationsgrad.
Den praktiska miljön för detta arbete kretsar kring en ny simulator under utveckling. Den är baserad på LabVIEW och PXI-teknik och hanterar över 200 I/O. Verkliga maskinkomponenter ansluts till denna miljö tillsammans med konstgjorda komponenter som simulerar motorn, hydralik samt en skog. Utöver detta, ansluts styrspakar och knappar för att möjliggöra användarstyrning av maskinen som simuleras.
Resultatet förknippat med detta arbete är för det första användbara verifikationstekniker. Man kan generellt säga att några av dessa tekniker är skalbara och därmed möjliga att tillämpa för ett helt system. Andra tekniker är ej skalbara, men lämpliga att applicera på en systemdelmängd som behöver testas mer utförligt.
För det andra, en arkitektur har konstruerats för kontrollsystemet baserat på ett urval av tekniker. Sist men inte minst, som en följd av ovanstående har en lyckad implementation av ett generellt testsystem utförts. Detta system implementerades med hjälp av C# och LabVIEW. Det som återstår beträffande implementationen är att utöka systemet så att alla funktioner som arkitekturen beskriver är inkluderade samt att införa resultatanalys.
Cameron, Alan, Tony Cirineo y Karl Eggertsen. "The Family of Interoperable Range System Transceivers (First)". International Foundation for Telemetering, 1996. http://hdl.handle.net/10150/611408.
Texto completoThe objective of the FIRST project is to define a modern DoD Standard Datalink capability. This defined capability or standard is to provide a solution to wide variety of test and training range digital data radio communications problems with a common set of components, flexible to fit a broad range of applications, yet be affordable in all of them. This capability is to be specially designed to meet the expanding range distances and data transmissions rates needed to test modern weapon systems. Presently, the primary focus of the project is more on software, protocols, design techniques and standards, than on hardware development. Existing capabilities, on going developments and emerging technologies are being investigated and will be utilized as appropriate. Modern processingintensive communications technology can perform many complex range data communications tasks effectively, but a large-scale development effort is usually necessary to exploit it to its full potential. Yet, range communications problems are generally of limited scope, so different from one another that a communication system applicable to all of them is not likely to solve any of them well. FIRST will resolve that dilemma by capitalizing on another feature of modern communications technology: its high degree of programmability. This can enable custom-tailoring of datalink operation to particular applications, just as a PC can be tailored to perform a multitude of diverse tasks, through appropriate selection of software and hardware components.
Cosgrove, S. J. "Expert system technology applied to the testing of complex digital electronic architectures : TEXAS; a synergistic test strategy planning and functional test pattern generation methodology applicable to the design, development and testing of complex digit". Thesis, Brunel University, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.234077.
Texto completoPellegrino, Gregory S. "Design of a Low-Cost Data Acquisition System for Rotordynamic Data Collection". DigitalCommons@CalPoly, 2019. https://digitalcommons.calpoly.edu/theses/1978.
Texto completoGarcia-Mardambek, Nouar. "Etude d'une stratégie de maintenance adaptative pour des systèmes logiques". Grenoble INPG, 1991. http://www.theses.fr/1991INPG0076.
Texto completoYang, Xiaokun. "A High Performance Advanced Encryption Standard (AES) Encrypted On-Chip Bus Architecture for Internet-of-Things (IoT) System-on-Chips (SoC)". FIU Digital Commons, 2016. http://digitalcommons.fiu.edu/etd/2477.
Texto completoTAI, YU-FENG y 戴裕峰. "A Design of Digital Signature Based Application Verification System". Thesis, 2017. http://ndltd.ncl.edu.tw/handle/77f278.
Texto completo國立高雄應用科技大學
資訊管理研究所碩士班
105
With the fast development of Internet and the widely adoptions of intelligent devices, APPs (Applications) have being playing a more and more role in our life. However, there may be hidden risks that threatens us when using APPs. Malicious applications may hide in third-party applications, especially in those applications with anonymous developers. Sometimes, malicious programs may be developed by using official Application Programming Interface (API). Malicious programs may also be developed by illegal way such as de-compiler. Taking information security into account, some developers restrict their APIs to be used for internal users only. However, there are still some ways for malicious programs to be generated, for example, decompiling, packet blocking. In this paper, a digital signature-based application verification system is proposed to assist servers to justify legal and official applications. Client application uses RSA for digital signature to encrypt a user defined data that is add onto the HTTP header and send server to verify. Therefore, server can block illegal third party access then achieve the effect of verification.
Peng, Chien-huan y 彭健桓. "Design and Implementation of an FPGA-based Verification System for the Built-In Self-Test Circuits of Logic Arrays". Thesis, 2013. http://ndltd.ncl.edu.tw/handle/yudbt8.
Texto completo國立臺灣科技大學
電子工程系
102
This thesis is related to the design and implementation of an FPGA-based verification system for the BIST (Built-In Self-Test) circuits of logic arrays. The related research work includes four parts: The first part is to explore the architecture for the verification system of the BIST circuits. After analyzing the BIST system, circuit under test, and fault injection methods, a verification system for the BIST circuits of logic arrays has been developed. The second part is to design and implement the hardware for the BIST verification system of logic arrays. This research work consists of designing circuits for adders, array multipliers, and fault injection and detection circuits. Therefore fault coverage can be evaluated. Finally the hardware designed above are integrated onto a single-chip field-programmable gate array and implemented on an Altera FPGA development board. The third part is about the hardware/software co-design and implementation of the verification system. Here Nios-II-related firmware is written and the Nios II IDE (Integrated Development Environment) is used to verify the function of the verification system. The fourth part is to simulate the faults by using the software and hardware independently to verify the run-time performance of the BIST verification system. On the whole, the goal of this thesis is to do researches on the design of a verification system for the BIST circuits of logic arrays. Meanwhile array multipliers are used as examples to implement on the FPGA development boards. After experimenting with multipliers of various bit widths this thesis has demonstrated that hardware simulation (or emulation) can be much more efficient than software simulation in the process of verifying the fault coverage of the BIST circuits.
Chien-HongLin y 林建宏. "Autonomous Hovering Controller Design Using Sliding Mode Control Theory and Its Flight Test Verification for Small-scaled Unmanned Helicopter System". Thesis, 2010. http://ndltd.ncl.edu.tw/handle/46054056125287266943.
Texto completo國立成功大學
航空太空工程學系碩博士班
99
Unmanned helicopter has been demanding for certain applications due to its unique flight capability. The unmanned helicopter can take off and land within a limited space and it can hover and cruise at a very low speed. The autonomous hovering is one of the most significant flight maneuvering conditions for an unmanned helicopter and offers an unmanned helicopter a wide variety of applications. Thus, an autonomous hovering controller design based on sliding mode control (SMC) theory and its flight test verification for a small-scaled unmanned helicopter system are presented in this study. Owing to its unique properties, SMC theory has attracted a wide attention in the robust control field and these features are based on the existence of the so-called ideal sliding mode, which is achieved with the aid of discontinuous control. However, due to its physical limitations, the infinitely fast switching is difficult to be realized and may lead to undesirable control results. Thus, the twin sliding mode controller (TSMC) is designed with two separate proportional-integral-derivative boundary surfaces in order to reduce the chattering and improve the controllers' responses. Due to the simplicity of the TSMC structure, the proposed TSMC will cause no difficulty for users to realize it practically. In order to show how the TSMC may improve the system performance, this study develops an experimental unmanned helicopter system test-bed to assess the performance of the proposed controller. The simulation results of this work has validated that the tracking error of the TSMC is not only smaller but also converges quicker than the conventional SMC. Unlike the conventional SMC method, the proposed TSMC is capable of achieving the desired control qualities and the tracking performance. As shown in the flight test results, the 2-distance-root-mean-squared (2DRMS) position error is less than 5m. The flight test results are presented in the dissertation and they are found to be consistent with the simulation results.
Surendran, Sudhakar. "A Systematic Approach To Synthesis Of Verification Test-Suites For Modular SoC Designs". Thesis, 2006. http://hdl.handle.net/2005/397.
Texto completoPannell, Zachary William. "Design of a Highly Constrained Test System for a 12-bit, 16-channel Wilkinson ADC". 2009. http://trace.tennessee.edu/utk_gradthes/549.
Texto completoLata, Kusum. "Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces". Thesis, 2010. http://etd.iisc.ernet.in/handle/2005/1271.
Texto completo