onera/pml-analyzer

The PML analyzer is an open source API providing a simple DSL to build a description of the architecture of your chip based on the PHYLOG Modelling Language (PML).

语言：Scala · GitHub 星标：8 · Fork：0

话题：certification · formal-languages · formal-methods · interference · multi-core · safety-critical

在 GitHub 上查看原仓库