Zobrazeno 1 - 1
of 1
pro vyhledávání: '"621.39"'
Autor:
Richards, Dominic Anthony
Formal methods play a significant and increasing role in hardware verification, but their effectiveness can be impaired by the ac hoc nature of mainstream hardware languages such as VHDL, Verilog and SystemC, which have convoluted semantics that ofte
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.553256