Functional verification enables to put together large and complex designs in short space of time which is focus of Electronic Design Automation (EDA) software industry. The black-box verification use only primary inputs and outputs of module which are used to determine working of module. Assertions support black-box verification style when defined in separate files from design modules. The white-box verification use all signals available in module-under-test which has advantage of trapping errors very close to the point and time of failure.
ASJC Scopus subject areas
- Control and Systems Engineering
- Electrical and Electronic Engineering