New architecture of the object-oriented functional coverage mechanism for digital verification.
Marek CiepluchaWitold A. PleskaczPublished in: IVSW (2016)
Keyphrases
- object oriented
- selection mechanism
- functional verification
- programming interface
- industry standard
- management system
- model checking
- real time
- architectural design
- relational databases
- programming language
- network architecture
- data sets
- search mechanism
- formal verification
- database schema
- software architecture
- database design
- database applications
- object oriented databases
- digital media
- learning mechanism
- conceptual model
- data types
- communication protocol
- computational model
- web services