Model-driven automation for simulation-based functional verification.
Éamonn LinehanEamonn O'TooleSiobhán ClarkePublished in: ACM Trans. Design Autom. Electr. Syst. (2012)
Keyphrases
- model driven
- functional verification
- data driven
- service oriented
- model driven development
- formal verification
- metamodel
- model driven engineering
- data integration
- hardware software
- service oriented architecture
- computing systems
- database
- platform independent
- cloud computing
- model driven architecture
- high speed
- data streams
- e learning