International maritime transport organizations are proposing regulatory actions and strategies aimed at decarbonizing the sector to reduce its greenhouse gas (GHG) emissions, which currently constitute around 3% of global total. Hybrid propulsion systems have significant potential in this respect, as a means power-saving ships. This paper describes high-fidelity benchmark for hybrid-electric ve...

Nowadays highly competitive market of consumer electronics is very sensitive to the time it takes to introduce a new product. However, the evergrowing complexity of application specific instruction-set processors (ASIPs) which are inseparable parts of nowadays complex embedded systems makes this task even more challenging. In ASIPs, it is necessary to test and verify significantly bigger portio...

Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often flatten out the behavior of a target system before verification. Inherent modularities, either explicit or implicit, functional or structural, are not exploited by these tools and algorithms. In this work, we show how as...

Verifying a complex SoC is challenging. The testbench and testcases must be developed early as these are used for everything from SoC verification to achieve higher coverage on features/protocol coverage, i/f integration and performance verification. Time to market makes early software development a necessity. Verification assisted with early software development needs more than dynamic simulat...

For software systems that need to adapt to their environment at run-time, run-time verification is useful to guarantee the correctness of their behaviors. Probabilistic model checking using discrete time Markov chain (DTMC) model has been applied to implement run-time verification. A current existing approach provides an efficient run-time verification mechanism by pre-generating expressions fo...

Model-Driven Engineering enables to assess a system’s model properties since the early phases of its lifecycle and to improve iteratively these models according to the verification results. Safety critical real-time systems have stringent requirements related to the specification and verification of system’s task-level time constraints. The common formal methods used to assess these properties ...

Functional verification has become a major challenge in the chip design area. To improve the efficiency of verification, it is necessary to choose appropriate verification method and tools. An important aspect of functional verification is RTL verification, simulation-based verification is main method in RTL verification. Based on FT-8 multicore processor, we developed a configurable test stimu...

In this paper we define strong and weak common quadratic Lyapunov functions (CQLF’s) for sets of linear time-invariant (LTI) systems. We show that the simultaneous existence of a weak CQLF of a special form, and the non-existence of a strong CQLF, for a pair of LTI systems, is characterised by easily verifiable algebraic conditions. These conditions are found to play an important role in provin...