Automatic modelling and verification of Autosar architectures
M Zhang, Y Teng, H Kong, J Baugh, Y Su, J Mi… - Journal of Systems and …, 2023 - Elsevier
Abstract Autosar (AUTomotive Open System ARchitecture) is a development partnership
whose primary goal is the standardization of basic system functions and functional interfaces …
whose primary goal is the standardization of basic system functions and functional interfaces …
Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide
M Kissich, M Baunach - 2023 26th Euromicro Conference on …, 2023 - ieeexplore.ieee.org
Rising digital design complexity and demands for a shorter time to market increasingly
challenge functional correctness. Formal verification can prevent flaws due to ambiguities …
challenge functional correctness. Formal verification can prevent flaws due to ambiguities …
Coverage of Meta-Stability Using Formal Verification in Asynchronous Gray Code FIFO
M Khosla - 2022 2nd International Conference on Intelligent …, 2022 - ieeexplore.ieee.org
In Formal Verification Environment, setup time and hold time are not honored by formal
verification tool. To analyze the impact of metastability on functionality of the design in formal …
verification tool. To analyze the impact of metastability on functionality of the design in formal …
[PDF][PDF] The Journal of Systems & Software
X Zhang, H Pham - 2022 - wssun.github.io
abstract Test case prioritization (TCP) aims to reorder the regression test suite with a goal of
increasing the fault detection rate. Various TCP techniques have been proposed based on …
increasing the fault detection rate. Various TCP techniques have been proposed based on …