Sökning: "final verification"

Visar resultat 1 - 5 av 39 avhandlingar innehållade orden final verification.

1. 1. Virtual verification : Impact of a new work method on the final verification process

   Författare :Dan Paulin; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; verification method; final verification; pre-production engineering; verification performance; knowlledge transfer;

   Sammanfattning : .... LÄS MER

3. 2. Module property verification : A method to plan and perform quality verifications in modular architectures

   Författare :Patrik Kenger; Mauro Onori; Christoph Hanisch; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; modular products; product architecture; product verification; test; inspection; product assembly; defects; Manufacturing engineering; Produktionsteknik;

   Sammanfattning : Modular product architectures have generated numerous benefits for companies in terms of cost, lead-time and quality. The defined interfaces and the module’s properties decrease the effort to develop new product variants, and provide an opportunity to perform parallel tasks in design, manufacturing and assembly. LÄS MER

4. 3. System Level Techniques for Verification and Synchronization after Local Design Refinements

   Författare :Tarvo Raudvere; Axel Jantsch; Sandeep Shukla; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Electronic System Design; Refinement; Verification; Synchronization; Systems engineering; Systemteknik;

   Sammanfattning : Today's advanced digital devices are enormously complex and incorporate many functions. In order to capture the system functionality and to be able to analyze the needs for a final implementation more efficiently, the entry point of the system development process is pushed to a higher level of abstraction. LÄS MER

5. 4. Graph dominators in logic synthesis and verification

   Författare :René Krenz; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal verification; logic synthesis; dominators; equivalence checking; decomposition; Computer science; Datavetenskap;

   Sammanfattning : This work focuses on the usage of dominators in circuit graphs in order to reduce the complexity of synthesis and verification tasks. One of the contributions of this thesis is a new algorithm for computing multiple-vertex dominators in circuit graphs. LÄS MER

7. 5. Pilot Production and Manufacturing Start-up in the Automotive Industry. Principles for Improved Performance

   Författare :Henrik Almgren; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; disturbance control; performance; verification; manufacturing start-up; learning; pilot production; Swedish automotive industry; product and production preparation;

   Sammanfattning : The dissertation is based on experiences from Volvo Car Corporation and examines pilot production and manufacturing start-up, processes that are here combined under the rubric final verification of product and production system. The purpose of this dissertation is to study pilot production and manufacturing start-up in order, first, to identify and analyze factors affecting final verification performance and, secondly, to develop general principles for how final verification performance can be improved. LÄS MER