Books on the topic 'DIGITAL SYSTEM DESIGN TEST AND VERIFICATION'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 33 books for your research on the topic 'DIGITAL SYSTEM DESIGN TEST 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.
Navabi, Zainalabedin. Digital System Test and Testable Design. Boston, MA: Springer US, 2011. http://dx.doi.org/10.1007/978-1-4419-7548-5.
Full textVerilog digital system design: RT level synthesis, testbench, and verification. 2nd ed. New York: McGraw-Hill, 2006.
Find full textRashinkar, Prakash. System-On-A-Chip verification: Methodology and techniques. New York: Kluwer Academic Publishers, 2002.
Find full text1959-, Lavagno Luciano, Scheffer Lou, and Martin Grant, eds. EDA for IC system design, verification, and testing. Boca Raton, FL: Taylor & Francis, 2005.
Find full text1955-, Paterson Peter, and Singh Leena 1971-, eds. System-On-A-Chip verification: Methodology and techniques. Boston, MA: Kluwer Academic Publishers, 2001.
Find full textRashinkar, Prakash. System-On-A-Chip verification: Methodology and techniques. Boston, MA: Kluwer Academic Publishers, 2001.
Find full textJean-Michel, Bergé, Levia Oz, and Rouillard Jacques, eds. Hardware/software co-design and co-verification. Boston: Kluwer Academic Publishers, 1997.
Find full textNavabi, Zainalabedin. Digital System Test and Testable Design: Using HDL Models and Architectures. Boston, MA: Springer Science+Business Media, LLC, 2011.
Find full textBergé, Jean-Michel. Hardware/Software Co-Design and Co-Verification. Boston, MA: Springer US, 1997.
Find full textIEEE International High-Level Design Validation and Test Workshop (6th 2001 Monterey, Calif.). Sixth IEEE International High-Level Design Validation and Test Workshop: Proceedings : 7-9 November, 2001. Los Alamitos, Calif: IEEE Computer Society, 2001.
Find full textIEEE Computer Society. Technical Council on Test Technology. and IEEE Computer Society. Design Automation Technical Committee., eds. Seventh IEEE International High-Level Design Validation and Test Workshop: Proceedings : 27-29 October, 2002, Cannes, France. Los Alamitos, California: IEEE Computer Society, 2002.
Find full textCalif.) IEEE International High-Level Design Validation and Test Workshop (8th 2003 San Francisco. Eighth IEEE International High-Level Design Validation and Test Workshop: Proceedings : 12-14 November, 2003, San Francisco, California. Los Alamitos, Calif: IEEE Computer Society, 2003.
Find full textSaito, Jim. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.
Find full textSaito, Jim. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.
Find full textCenter, Ames Research, ed. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.
Find full textCenter, Ames Research, ed. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.
Find full textCosgrove, Steven John. Expert system technology applied to the testing of complex digital electronic architectures: TEXAS : a synergistic test strategy planning and functional test pattern generation methodology applicable to the design, development and testing of complex digital electronic circuits. Uxbridge: Brunel University, 1989.
Find full textPerry, William E. A structured approach to systems testing. 2nd ed. Wellesley, Mass: QED Information Sciences, 1988.
Find full textNAVABI. Digital System Test and Testable Design. SPRINGER INDIA, 2014.
Find full textNavabi, Zainalabedin. Digital System Test and Testable Design. Springer, 2011.
Find full textDrechsler, Rolf, Arun Chandrasekharan, and Daniel Große. Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test. Springer, 2019.
Find full textDrechsler, Rolf, Arun Chandrasekharan, and Daniel Große. Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test. Springer, 2018.
Find full textThornton, Mitchel, and Lun Li. Digital System Verification: A Combined Formal Methods and Simulation Framework. Springer International Publishing AG, 2010.
Find full textThornton, Mitchel, and Lun Li. Digital System Verification: A Combined Formal Methods and Simulation Framework. Morgan & Claypool Publishers, 2010.
Find full textThornton, Mitchel, and Lun Li. Digital System Verification: A Combined Formal Methods and Simulation Framework. Morgan & Claypool Publishers, 2010.
Find full textRashinkar, Prakash, Leena Singh, and Peter Paterson. System-on-a-Chip Verification - Methodology and Techniques. Springer, 2000.
Find full textRashinkar, Prakash, Leena Singh, and Peter Paterson. System-On-a-Chip Verification: Methodology and Techniques. Springer, 2013.
Find full textNavabi, Zainalabedin. Digital System Test and Testable Design: Using HDL Models and Architectures. Springer, 2016.
Find full text(Editor), Louis Scheffer, Luciano Lavagno (Editor), and Grant Martin (Editor), eds. EDA for IC System Design, Verification, and Testing (Electronic Design Automation for Integrated Circuits Handbook). CRC, 2006.
Find full textIEEE International High-Level Design, Validation, and Test Workshop: 8-10 November 2000 Berkeley, California. IEEE Computer Society Press, 2000.
Find full text(Editor), Jean-Michel Bergé, Oz Levia (Editor), and Jacques Rouillard (Editor), eds. Hardware/Software Co-Design and Co-Verification (Current Issues in Electronic Modeling). Springer, 1996.
Find full textMahmoud, Moussa El-Sheikh. A microprocessor thyristor-controlled DC drive incorporating regenerative braking: The design, constructionand test of a dc drive, using a microprocessor to provide a fully digital feedback speed control system, with an automatically set duty cycle. Bradford, 1985.
Find full textZydroń, Tymoteusz. Wpływ systemów korzeniowych wybranych gatunków drzew na przyrost wytrzymałości gruntu na ścinanie. Publishing House of the University of Agriculture in Krakow, 2019. http://dx.doi.org/10.15576/978-83-66602-46-5.
Full text