![](http://toolbox.megamart2-ecsel.eu/sites/default/files/megamart/public/styles/medium/public/content-images/toolbox/uaq_icon.jpeg?itok=VEzq72_E)
AIPHS
Adaptive Profiling HW Sub-system (AIPHS) supports designers on the development of On-Chip Monitoring Systems (OCMSs) able to satisfy given Monitorability Requirements
Conformiq Designer
Conformiq Designer is used in embedded software development to automate testing and speed up development in various industries
![](http://toolbox.megamart2-ecsel.eu/sites/default/files/megamart/public/styles/medium/public/content-images/toolbox/ssf.png?itok=CUGaK-IT)
LIME Testbench
Runtime monitoring of model-based properties, and test case generation