Yazar
david m russinoff
3 cilt bulundu.
Cilt sonuçları
Formal Verification of Floating-Point Hardware Design
David M. Russinoff, J Strother Moore · Springer International Publishing AG
406 sayfa · 2018
Computer arithmetic
Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits
David M. Russinoff · National Technical Information Service, distributor
Sayfa sayısı yok · 1995
Hardware description languages / VHSIC (Circuits) / Mathematical models / Program verification (Computers) / Protocol (Computers)
A formal language for the specification and verification of synchronous and asynchronous circuits
David M. Russinoff · National Technical Information Service, distributor
Sayfa sayısı yok · 1993
Verification / Integrated circuits / Computer hardware description languages