Fast prototyping from assertions: A pragmatic approach

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.