Formal verification methodology for real-time Field Programmable Gate Array
Jabeen, Shaista, Srinivasan, Sudarshan, Shuja, SanaVolume:
11
Language:
english
Journal:
IET Computers & Digital Techniques
DOI:
10.1049/iet-cdt.2016.0189
Date:
September, 2017
File:
PDF, 2.20 MB
english, 2017