Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Tempia Calvino, Alessandro"'
Publikováno v:
2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC).
This paper proposes a versatile mapping approach that has three objectives: i) it can map from one technology-independent graph representation to another; ii) it can map to a cell library; iii) it supports logic rewriting. The method is cut-based, mi
Autor:
Apvrille, Ludovic, Saqui-Sannes, Pierre de, Hotescu, Oana Andreea, Tempia Calvino, Alessandro
Formal verification of SysML models contributes to detect design errors early in the life cycle of systems. Incremental modeling of systems leads to repeat verification of systems models parts that were already verified in previous versions of the Sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6c30c868b81093895ceb4b352664b289
https://oatao.univ-toulouse.fr/28537/
https://oatao.univ-toulouse.fr/28537/