This describes solutions to the problem of ensuring the functional correctness of hardware. It considers the behaviour mathematically and verifies intended results by use of formal proof.This describes solutions to the problem of ensuring the functional correctness of hardware. It considers the behaviour mathematically and verifies intended results by use of formal proof.

Title | : | Higher Order Logic and Hardware Verification |

Author | : | T. F. Melham |

Publisher | : | Cambridge University Press - 2009-07-02 |

Continue