Search
Now showing items 1-1 of 1
A Formal Verification Methodology for Real-time FPGA
(North Dakota State University, 2017)
Real-time systems in safety-critical and mission-critical domains have stringent or hard timing constraints. The correctness of such systems is of prime importance to avoid any unacceptable consequences like a big financial ...