Log in

Relevant bibliographies by topics / DIGITAL SYSTEM DESIGN TEST AND VERIFICATION / Books

To see the other types of publications on this topic, follow the link: DIGITAL SYSTEM DESIGN TEST AND VERIFICATION.

Books on the topic 'DIGITAL SYSTEM DESIGN TEST AND VERIFICATION'

Author: Grafiati

Published: 14 March 2023

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 32 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.

1

Navabi, Zainalabedin. Digital System Test and Testable Design. Springer US, 2011. http://dx.doi.org/10.1007/978-1-4419-7548-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Rashinkar, Prakash. System-On-A-Chip verification: Methodology and techniques. Kluwer Academic Publishers, 2002.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

1959-, Lavagno Luciano, Scheffer Lou, and Martin Grant, eds. EDA for IC system design, verification, and testing. Taylor & Francis, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Rashinkar, Prakash. System-On-A-Chip verification: Methodology and techniques. Kluwer Academic Publishers, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

1955-, Paterson Peter, and Singh Leena 1971-, eds. System-On-A-Chip verification: Methodology and techniques. Kluwer Academic Publishers, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Bergé, Jean-Michel. Hardware/Software Co-Design and Co-Verification. Springer US, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Navabi, Zainalabedin. Digital System Test and Testable Design: Using HDL Models and Architectures. Springer Science+Business Media, LLC, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

IEEE 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. IEEE Computer Society, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Calif.) 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. IEEE Computer Society, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Center, Ames Research, ed. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. National Aeronautics and Space Administration, Ames Research Center, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

11

Saito, Jim. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. National Aeronautics and Space Administration, Ames Research Center, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

Saito, Jim. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. National Aeronautics and Space Administration, Ames Research Center, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

13

Center, Ames Research, ed. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. National Aeronautics and Space Administration, Ames Research Center, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

14

Cosgrove, 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. Brunel University, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

15

Perry, William E. A structured approach to systems testing. 2nd ed. QED Information Sciences, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

16

NAVABI. Digital System Test and Testable Design. SPRINGER INDIA, 2014.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

17

Navabi, Zainalabedin. Digital System Test and Testable Design. Springer, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

18

Drechsler, Rolf, Arun Chandrasekharan, and Daniel Große. Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test. Springer, 2019.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

19

Drechsler, Rolf, Arun Chandrasekharan, and Daniel Große. Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test. Springer, 2018.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

20

Verilog digital system design: RT level synthesis, testbench, and verification. 2nd ed. McGraw-Hill, 2006.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

21

Thornton, Mitchel, and Lun Li. Digital System Verification: A Combined Formal Methods and Simulation Framework. Springer International Publishing AG, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

22

Thornton, Mitchel, and Lun Li. Digital System Verification: A Combined Formal Methods and Simulation Framework. Morgan & Claypool Publishers, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

23

Thornton, Mitchel, and Lun Li. Digital System Verification: A Combined Formal Methods and Simulation Framework. Morgan & Claypool Publishers, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

24

Rashinkar, Prakash, Leena Singh, and Peter Paterson. System-on-a-Chip Verification - Methodology and Techniques. Springer, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

25

Rashinkar, Prakash, Leena Singh, and Peter Paterson. System-On-a-Chip Verification: Methodology and Techniques. Springer, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

26

Navabi, Zainalabedin. Digital System Test and Testable Design: Using HDL Models and Architectures. Springer, 2016.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

27

High-Level Design, Validation and Test Workshop (Hldvt 2001): 6th IEEE International Workshop. IEEE, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

28

(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 text

APA, Harvard, Vancouver, ISO, and other styles

29

(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 text

APA, Harvard, Vancouver, ISO, and other styles

30

Mahmoud, 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. 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

31

Zydroń, 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

Abstract:

The aim of the paper was to determine the influence of root systems of chosen tree species found in the Polish Flysch Carpathians on the increase of soil shear strength (root cohesion) in terms of slope stability. The paper's goal was achieved through comprehensive tests on root systems of eight relatively common in the Polish Flysch Carpathians tree species. The tests that were carried out included field work, laboratory work and analytical calculations. As part of the field work, the root area ratio (A IA) of the roots was determined using the method of profiling the walls of the trench at a

APA, Harvard, Vancouver, ISO, and other styles

32

Bubonia, Janace E. Apparel Production Terms and Processes. 3rd ed. Bloomsbury Publishing Plc, 2025. https://doi.org/10.5040/9781501393914.

Full text

Abstract:

Apparel Production Terms and Processes, Third Edition defines materials and terms relating to global mass production of raw materials, design and development, garment details and component parts, sizing and fit, patternmaking tools methods and computer technology, pre-production operations, assembly, production and manufacturing, labeling regulations, testing and quality control, inspection, finishing, and packaging. In this new edition, chapters continue to follow the product from concept to completion. Each chapter opens with a brief introduction followed by terms that are listed alphabetica

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!