Books on the topic 'Functional verification of digital systems'

Schuring, J. Design and experimental verification of a calculation method for frequency response analysis of digital control systems in a continuous environment. Amsterdam: National Aerospace Laboratory, 1985.

Bening, Lionel. Principles of verifiable RTL design: A functional coding style supporting verification processes in Verilog. 2nd ed. Boston: Kluwer Academic Publishers, 2001.

Bening, Lionel. Principles of verifiable RTL design: A functional coding style supporting verification processes in Verilog. 2nd ed. Boston: Kluwer Academic Publishers, 2001.

1956-, Foster Harry, ed. Principles of verifiable RTL design: A functional coding style supporting verification processes in Verilog. Norwell, Mass: Kluwer Academic Publishers, 2000.

Inan, M. Kemal, and Robert P. Kurshan, eds. Verification of Digital and Hybrid Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-642-59615-5.

Formal specification and verification of digital systems. London: McGraw-Hill, 1994.

Gong, Lingkan, and Oliver Diessel. Functional Verification of Dynamically Reconfigurable FPGA-based Systems. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-06838-1.

Rushby, John. Formal methods and their role in digital systems validation for airborne systems. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

Bronstein, Alexandre. String-functional semantics for formal verification of synchronous circuits. Stanford, Calif: Dept. of Computer Science, Stanford University, 1988.

Kong, Jeong-Taek. Digital Timing Macromodeling for VLSI Design Verification. Boston, MA: Springer US, 1995.

Bailey, Brian, Grant Martin, and Thomas Anderson, eds. Taxonomies for the Development and Verification of Digital Systems. New York: Springer-Verlag, 2005. http://dx.doi.org/10.1007/b104217.

1973-, Markov Igor L., and Bertacco Valeria, eds. Functional design errors in digital circuits: Diagnosis, correction and repair. [Dordrecht?]: Springer, 2009.

service), SpringerLink (Online, ed. Verification and Control of Hybrid Systems: A Symbolic Approach. Boston, MA: Springer-Verlag US, 2009.

Bening, Lionel. Principles of verifiable RTL design: A functional coding style supporting verification processes in Verilog. 2nd ed. New York: Kluwer Academic, 2002.

Trautmann, Lutz. Digital Sound Synthesis by Physical Modeling Using the Functional Transformation Method. Boston, MA: Springer US, 2003.

Saito, 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.

Saito, 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.

Butler, Ricky W. Formal design and verification of a reliable computing platform for real-time control: Phase 3 results. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1994.

Wunderlich, Hans-Joachim. Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault. Dordrecht: Springer Science+Business Media B.V., 2010.

Siegler, Simon. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.

Bening, Lionel, and Harry D. Foster. Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog. Springer, 2013.

Bening, Lionel, and Harry D. Foster. Principles of Verifiable RTL Design Second Edition - A Functional Coding Style Supporting Verification Processes in Verilog. 2nd ed. Springer, 2001.

Bailey, Brian. The Functional Verification of Electronic Systems. International engineering consortium, 2005.

Functional digital systems testing: Monografija. Kaunas: Technologija, 2006.

Hybrid systems III: Verification and control. Berlin: Springer, 1996.

(Editor), Brian Bailey, Grant Martin (Editor), and Thomas Anderson (Editor), eds. Taxonomies for the Development and Verification of Digital Systems. Springer, 2005.

Bailey, Brian, Grant Martin, and Thomas Anderson. Taxonomies for the Development and Verification of Digital Systems. Springer, 2010.

Mishra, Prabhat, and Nikil D. Dutt. Functional Verification of Programmable Embedded Architectures: A Top-Down Approach. Springer, 2014.

Functional Verification of Programmable Embedded Architectures: A Top-Down Approach. Springer, 2005.

Yuan, Jun, Carl Pixley, and Adnan Aziz. Constraint-Based Verification. Springer, 2010.

Constraint-Based Verification. Springer, 2006.

Bertacco, Valeria, Kai-hui Chang, and Igor L. Markov. Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair. Chang Kai Hui Markov Igor L Bertacco Valeria, 2010.

(Editor), Rajeev Alur, Thomas A. Henzinger (Editor), and Eduardo D. Sontag (Editor), eds. Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science). Springer, 1996.

Tabuada, Paulo. Verification and Control of Hybrid Systems: A Symbolic Approach. Springer, 2010.

Center, Langley Research, ed. Formal methods and their role in digital systems validation for airborne systems. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

Bening, Lionel, and Harry D. Foster. Principles of Verifiable RTL Design - A Functional Coding Style Supporting Verification Processes. Springer, 2000.

(Editor), M. Kemal Inan, and R. P. Kurshan (Editor), eds. Verification of Digital and Hybrid Systems (Nato a S I Series Series III, Computer and Systems Sciences). Springer-Verlag Telos, 2000.

Lin, Tonysheng. Functional test generation of digital LSI/VLSI systems using machine symbolic execution technique. 1985.

IEEE Computer Society. Distributed Interactive Simulation Committee., Institute of Electrical and Electronics Engineers., and IEEE Standards Board, eds. IEEE trial-use recommended practice for distributed interactive simulation: Verification, validation, and accreditation. New York, N.Y., USA: Institute of Electrical and Electronics Engineers, 1998.

Center, 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.

Center, 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.

IEEE Trial, Use Recommended Practice for Distributed Interactive Simulation: Verification, Validation and Accreditation 1278.4-1997. Inst of Elect & Electronic, 1998.

Functional issues and environmental qualification of digital protection systems of advanced light-water nuclear reactors. Washington, DC: Division of Engineering, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, 1994.

United States. National Aeronautics and Space Administration. Scientific and Technical Information Program., SRI International, and Langley Research Center, eds. Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems. [Washington, D.C.?]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1991.

L, Di Vito Ben, and Langley Research Center, eds. Formal design and verification of a reliable computing platform for real-time control: Phase 2 results. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1992.

Drechsler, Rolf, and Ulrich Kühne. Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. Springer Vieweg, 2015.

Wunderlich, Hans-Joachim. Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault. Springer, 2010.

Draft regulatory guide DG-1054: Verification, validation, reviews, and audits for digital computer software used in safety systems of nuclear power plants. [Washington, D.C.]: U.S. Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, 1996.

(Editor), Rajeev Alur, and Doron A. Peled (Editor), eds. Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science). Springer, 2004.

Regulatory guide 1.168 (draft was issued as DG-1123): Verification, validation, reviews, and audits for digital computer software used in safety systems of nuclear power plants. [Washington, DC]: U.S. Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, 2004.