Now showing items 1-1 of 1

    • A Formal Verification Methodology for Real-time FPGA 

      Jabeen, Shaista (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 ...