Specification and Verification of VHDL Models
by David M. Russinoff
ftp://ftp.kari.re.kr/NASA/larc/95/NASA-95-cr191608.ps.Z
Add To MetaCart
Abstract:
views and conclusions contained in this document are those of the author(s) and should not be interpreted as representing the official policies, either expressed or
Citations
| 387 | A Computational Logic Handbook – Boyer, Mooer - 1988 |
| 2 | A Translator from an HDL of David Russinoff – Kaufmann |
