LIBROS DEL AUTOR: kothanda umamageswaran

1 resultados para LIBROS DEL AUTOR: kothanda umamageswaran

kothanda umamageswaran Eliminar filtro Quitar filtros
  • Formal Semantics and Proof Techniques for Optimizing VHDL Models
    Kothanda Umamageswaran / Philip A. Wilsey / Sheetanshu L. Pandey
    Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL. ...
    Disponible

    134,43 €