Essays about: "System Functional Specification"

Showing result 1 - 5 of 32 essays containing the words System Functional Specification.

  1. 1. Energy Landscapes for Early T Cell Development

    University essay from Lunds universitet/Beräkningsbiologi och biologisk fysik

    Author : Yukun Cheng; [2022]
    Keywords : Physics and Astronomy;

    Abstract : T cell lineage development from an early thymic progenitor involves programmed shutoff of progenitor gene expression, upregulation of T cell specification genes, and proliferation. This biological system has been deeply studied and a gene regulatory network (GRN) that can accurately describe the system has been presented. READ MORE

  2. 2. Investigating Machine Learning for verification of AMBA APB protocol.

    University essay from Lunds universitet/Institutionen för elektro- och informationsteknik

    Author : Abhiram Srisai Kishore; Mohammed Wasim; [2022]
    Keywords : Machine learning; SOC Verification; AMBA; Neural Networks; Deep Learning; Assertions.; Technology and Engineering;

    Abstract : It is a well-known fact that in any Application Specific Integrated Circuit (ASIC) design, verification consumes most time and resources. And when it comes to huge designs, finding bugs can be tedious given the area and the complexity. As per Moore’s law, the design complexity is increasing exponentially due to the growing demand for performance. READ MORE

  3. 3. Automatic Management of Related Data Distribution Service Topics

    University essay from Mälardalens universitet/Akademin för innovation, design och teknik

    Author : Gabriel Kazai; [2022]
    Keywords : ;

    Abstract : A distributed system is a system that utilizes a network to communicate while usually being broken down into multiple software programs. Said programs generally have separate tasks, and a paradigm used in the manner above is publish-subscribe. READ MORE

  4. 4. Application of formal verification and validation on modern multi-functional signalling system

    University essay from KTH/Transportplanering

    Author : Shamsul Arefin; [2022]
    Keywords : ;

    Abstract : Demand for rail transport is increasing day by day. Rail is popular in public transport due to punctuality, regularity, and safety. However, we hear daily that rail traffic still has many problems to solve about incidents, near misses, and signal errors. READ MORE

  5. 5. Automated Annotation of Simulink Generated C Code Based on the Simulink Model

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Sreeya Basu Roy; [2020]
    Keywords : ;

    Abstract : There has been a wave of transformation in the automotive industry in recent years, with most vehicular functions being controlled electron- ically instead of mechanically. This has led to an exponential increase in the complexity of software functions in vehicles, making it essential for manufactures to guarantee their correctness. READ MORE