Automating lengthy, repetitive processes where humans could unintentionally make many mistakes is an approach used in many sciences and company applications. It is done in order to save time and consequently also money, without losing quality or even improving it. In the domain of microelectronics and semiconductor, companies are forced to follow tight deadlines in order to meet fast marketing targets. Process automation is crucial to face competitors and have optimal time to market. In this thesis, it will be exposed how it is possible to automate processes for generating digital design for controllers. Also, the automation of verification techniques are handled for achieving high quality and correctness avoiding bug injection.