Books on the topic 'VLSI Design and Verification'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research 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.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
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 textZeljko, Zilic, ed. Verification by error modeling: Using testing techniques in hardware verification. Kluwer Academic Publishers, 2003.
Find full textBening, Lionel. Principles of verifiable RTL design: A functional coding style supporting verification processes in Verilog. 2nd ed. Kluwer Academic Publishers, 2001.
Find full textBening, Lionel. Principles of verifiable RTL design: A functional coding style supporting verification processes in Verilog. 2nd ed. Kluwer Academic Publishers, 2001.
Find full text1956-, Foster Harry, ed. Principles of verifiable RTL design: A functional coding style supporting verification processes in Verilog. Kluwer Academic Publishers, 2000.
Find full textBirtwistle, Graham, and P. A. Subrahmanyam, eds. VLSI Specification, Verification and Synthesis. Springer US, 1988. http://dx.doi.org/10.1007/978-1-4613-2007-4.
Full textDominique, Borrione, Paul Wolfgang J. 1951-, and IFIP WG 10 5, eds. Correct hardware design and verification methods: 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 ; proceedings. Springer, 2005.
Find full textChandrasetty, Vikram Arkalgud. VLSI Design. Springer New York, 2011. http://dx.doi.org/10.1007/978-1-4614-1120-8.
Full textJoyce, Jeffrey. Hardware verification of VLSI regular structures. University of Cambridge, Computer Laboratory, 1987.
Find full textIFIP TC10/WG 10.5 International Conference on Very Large Scale Integration (1987 Vancouver, Canada). VLSI 87: VLSI design of digital systems. North-Holland, 1988.
Find full textGrabinski, Hartmut. Interconnects in VLSI design. Kluwer Academic Publishers, 2000.
Find full text1959-, Dündar Günhan, and Öğrenci A. Selçuk, eds. Analog VLSI design automation. CRC Press, 2003.
Find full textItoh, Kiyoo. VLSI Memory Chip Design. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-04478-0.
Full textRajaram, S., N. B. Balamurugan, D. Gracia Nirmala Rani, and Virendra Singh, eds. VLSI Design and Test. Springer Singapore, 2019. http://dx.doi.org/10.1007/978-981-13-5950-7.
Full textHörbst, Egon, Christian Müller-Schloer, and Heinz Schwärtzel. Design of VLSI Circuits. Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/978-3-642-95525-9.
Full textGrabinski, Hartmut, ed. Interconnects in VLSI Design. Springer US, 2000. http://dx.doi.org/10.1007/978-1-4615-4349-7.
Full textGaur, Manoj Singh, Mark Zwolinski, Vijay Laxmi, Dharmendra Boolchandani, Virendra Sing, and Adit D. Sing, eds. VLSI Design and Test. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-42024-5.
Full textSengupta, Anirban, Sudeb Dasgupta, Virendra Singh, Rohit Sharma, and Santosh Kumar Vishvakarma, eds. VLSI Design and Test. Springer Singapore, 2019. http://dx.doi.org/10.1007/978-981-32-9767-8.
Full textKaushik, Brajesh Kumar, Sudeb Dasgupta, and Virendra Singh, eds. VLSI Design and Test. Springer Singapore, 2017. http://dx.doi.org/10.1007/978-981-10-7470-7.
Full textCalimera, Andrea, Pierre-Emmanuel Gaillardon, Kunal Korgaonkar, Shahar Kvatinsky, and Ricardo Reis, eds. VLSI-SoC: Design Trends. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81641-4.
Full textWolf, Wayne Hendrix. Modern VLSI design: IP-based design. 4th ed. Prentice Hall, 2008.
Find full textCarter, Hamilton B., and Shankar Hemmady. Metric- Driven Design Verification. Springer US, 2007. http://dx.doi.org/10.1007/978-0-387-38152-7.
Full textWolf, Wayne Hendrix. Modern VLSI design: System-on-chip design. 3rd ed. Prentice Hall PTR, 2002.
Find full textM, Birtwistle G., and Subrahmanyam P. A, eds. VLSI specification, verification, and synthesis. Kluwer Academic Publishers, 1988.
Find full textFormal verification : an essential toolkit for modern VLSI design. Elsevier/MK, 2015.
Find full text2, Ifip Wg 10, and Wg 10.5 International Workshop on Applied Formal Methods. Formal Vlsi Correctness Verification: Vlsi Design Methods II : Proceedings of the Ifip Wg 10.2/Wg 10.5 International Workshop on Applied Formal Meth (Vlsi Design Methods, 2). North-Holland, 1990.
Find full textCMOS VLSI layout and verification of a SIMD computer: A thesis ... National Aeronautics and Space Administration, 1996.
Find full text(Editor), Graham Birtwistle, and P. A. Subrahmanyam (Editor), eds. VLSI Specification, Verification and Synthesis (The International Series in Engineering and Computer Science). Springer, 1987.
Find full textTenth International Conference on VLSI Design: January 4-7, 1997, Hyderabad, India. IEEE Computer Society Press, 1997.
Find full text