Contents
Academic literature on the topic 'VLSI Design and Verification'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'VLSI Design and Verification.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Books on the topic "VLSI Design and Verification"
1961-, Overhauser David, ed. Digital timing macromodeling for VLSI design verification. Kluwer Academic, 1995.
Find full textDavie, Bruce S. Formal specification and verification in VLSI design. Edinburgh University Press, 1990.
Find full textKong, Jeong-Taek. Digital Timing Macromodeling for VLSI Design Verification. Springer US, 1995.
Find full textKong, Jeong-Taek, and David Overhauser. Digital Timing Macromodeling for VLSI Design Verification. Springer US, 1995. http://dx.doi.org/10.1007/978-1-4615-2321-5.
Full textSavaria, Yvon. Conception et vérification des circuits VLSI. Editions de l'Ecole polytechnique de Montréal, 1989.
Find full textHollstein, Thomas, Jaan Raik, Sergei Kostin, Anton Tšertov, Ian O'Connor, and Ricardo Reis, eds. VLSI-SoC: System-on-Chip in the Nanoscale Era – Design, Verification and Reliability. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67104-8.
Full textZheng, Jianqing. CMOS VLSI layout and verification of a SIMD computer: A thesis ... National Aeronautics and Space Administration, 1996.
Find full textM, Claesen Luc J., and Interuniversity Micro-Electronics Center, eds. Formal VLSI correctness verification: Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design. North-Holland, 1990.
Find full textMunden, Richard. ASIC and FPGA verification: A guide to component modeling. Morgan Kaufmann, 2005.
Find full textInternational Conference on VLSI Design (10th 1997 Hyderabad, India). Tenth International Conference on VLSI Design: January 4-7, 1997, Hyderabad, India. IEEE Computer Society Press, 1997.
Find full text