Formal proof between two designs having different level of abstraction - Maalej, A.; Martinez, P.-Y. (2008 International Conference on Design and Technology of Integrated Systems in Nanoscale Era, 2008)
Keywords: Algorithm design and analysis; Application specific integrated circuits; formal proof; Formal verification; High level synthesis; Logic; Mathematical analysis; Pipeline processing; Sequential Equivalence Checking; System-level design; Testing; Timing