Synthesis and performance analysis. Optimizations.

Improvements on the verification environment and in system’s architecture.