Result: Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog
Title:
Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog
Source:
Design Automation for Embedded Systems: An International Journal. March 2017 21(1):1-36
Database:
Springer Nature Journals