Sentence examples for synthesized automatically from inspiring English sources
Once the properties fully describe the module's functions, the behavioral model can be synthesized automatically.
These are the first industrial examples that have been synthesized automatically from their specifications.
A human machine interactive synthesis program is also developed, and the required kinematic structures of mechanisms and robots can be synthesized automatically.
The fault tree is synthesized automatically after the decision matrix is fully searched in FTSIS, the availability of which has been verified after it was put into effect successfully.
However, after optimizing the synthetic methodology, analogs were synthesized automatically.
This can be synthesized (automatically transformed) into collections of physical implementations in a design library [17].
Enhancing recent advances in this research, we propose a Time-Memory Scheduling (TMS) method for formally synthesizing and automatically generating code for real-time embedded software, using the Colored Time Petri Nets model.
Interfaces between different implementation domains (hardware-software) are automatically synthesized within POLIS.
Finally, the processor architecture described within MAML is automatically synthesized for rapid prototyping.
Additionally, we show how suitable search procedures can be automatically synthesized in order to exploit recognized dependencies.
We present an ESL methodology creating a direct path from high-level multi-threaded OpenMP applications to automatically synthesized, heterogeneous hardware/software systems implemented onto FPGA devices.
