< retour aux publications

Fast Prototyping from Assertions: a Pragmatic Approach

Auteur(s) : K. Morin-Allory, N. Javaheri, D. Borrione

Doc. Source: 11th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'13)

We propose a modular approach to automatically prototype communication and control designs from declarative temporal specifications. From each property, we produce a component that observes some operands and generates waveforms for the other operands: the reactant. This paper presents the global method, and discusses the resolution of signals that are generated by several properties. Results obtained on two classical benchmarks show that our technique compiles properties more efficiently than previous prototype tools.