Application of functional verification in the digital circuits development process
|Reseach leader:||Lengál Ondřej|
|Team leaders:||Kajan Michal, Kotásek Zdeněk|
|Keywords:||functional verification, digital circuits|
|This project is aimed at creating additional study and demonstration materials for the course in Advanced Digital Systems (PCS). The produced materials will possibly be used in other courses dealing with the design of digital systems, such as Digital Systems Design (INC) and Hardware/software Codesign (HSC).|
The set of materials will comprise a presentation containing a basic introduction to the area of functional verification and its use in the development process of digital systems with a high level of complexity. These materials will be supplemented with demonstration materials illustrating the creation, modification and application of verification environments and working with modern simulation tools used in practice.