Search alternatives:
complete verifiable » complete variable, complete decidable, complete verification
functions » function
Cover Image
Read Now

1
by Hunt, Warren A. Jr
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- The verification approach -- FM8501: A conventional description -- Commonly used functions -- The ALU...”
Cover Image
Read Now

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Foundation for Security -- Combining Domain-Specific and Foundational Logics to Verify Complete Software...”
Cover Image
Read Now

3
Published 2019
Birkhäuser
Table of Contents: “... -- Univalence of a Certain Quartic Function -- Finding, Stabilizing, and Verifying Cycles of Nonlinear Dynamical...”
Cover Image
Read Now

4
by Lam, William K.C., Brayton, Robert K.
Published 1994
Springer US
Table of Contents: “... Synthesis forComplete Per-formance Verifiability -- 6.11 Summary -- 7 Conclusions -- 7.1 Comparing TBF...”
Cover Image
Read Now

5
by Sagdeo, Vivek
Published 1998
Springer US
Table of Contents: “... Structural, RTL, and Behavioral Design -- System Tasks and Functions -- Compiler Directives -- Interactive...”
Cover Image
Read Now

6
by Clavel, Manuel, Durán, Francisco, Eker, Steven, Lincoln, Patrick
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...”
Cover Image
Read Now

7
by Radermacher, Walter J.
Published 2020
Springer International Publishing
Table of Contents: “... Infrastructure -- Science and Society: A Reflexive Approach to Official Statistics -- Official Statistics 4.0...”
Cover Image
Read Now

8
by Piziali, Andrew
Published 2008
Springer US
Table of Contents: “...The Language of Coverage -- Functional Verification -- Measuring Verification Coverage...”
Cover Image
Read Now

9
by Fujita, Masahiro
Published 2008
Morgan Kaufmann Publishers
Subjects: “...Systems on a chip / Testing...”
Cover Image
Read Now

10
by Younes, Walid, Gogny, Daniel Marc, Berger, Jean-François
Published 2019
Springer International Publishing
Table of Contents: “...Preface -- Part I: Tools for a Microscopic Theory of the Nucleus -- Hartree-Fock-Bogoliubov Theory...”
Cover Image
Read Now

11
by Dillinger, Thomas E.
Published 2019
Pearson Education
Subjects: “...Circuits intégrés à très grande échelle...”
Cover Image
Read Now

12
by Russinovich, Mark E.
Published 2009
Microsoft Press
Table of Contents: “... -- Performance Counters -- Relevant Functions -- Birth of a Thread -- Examining Thread Activity -- Limitations...”
Cover Image
Read Now

13
by Wonham, W.M.
Published 1985
Springer New York
Table of Contents: “... Compensation -- 3.9 Observer for a Single Linear Functional -- 3.10 Preservation of Observability...”
Cover Image
Read Now

14
by Bricaud, Pierre
Published 1999
Springer US
Table of Contents: “... -- 11.3 Interface Verification -- 11.4 Functional Verification -- 11.5 Application-Based Verification...”
Cover Image
Read Now

15
by Spear, Chris
Published 2008
Springer US
Table of Contents: “... Coverage Strategies -- 9.3 Simple Functional Coverage Example -- 9.4 Anatomy of a Cover Group -- 9.5...”
Cover Image
Read Now

16
by Müller-Olm, Markus
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Complete Boolean lattices -- Galois connections -- States, valuation functions and predicates...”
Cover Image
Read Now

17
by Spear, Chris, Tumbush, Greg
Published 2012
Springer US
Table of Contents: “... and Testbench Guidelines -- Functional Coverage -- Advanced Interfaces -- A Complete SystemVerilog Testbench...”
Cover Image
Read Now

18
by Visochek, Allan
Published 2017
Packt Publishing
Table of Contents: “... a string -- The regex split() function -- Python regex documentation -- Looking for patterns...”
Cover Image
Read Now

19
by Kindt, Els J.
Published 2013
Springer Netherlands
Table of Contents: “... Technology -- Section I. A Long History of Use of Biometric Characteristics -- Section II. The Functioning...”
Cover Image
Read Now

20 Table of Contents: “... of Analog Design Automation -- 1.5 Research direction -- 1.6 A New Nominal Synthesis Approach -- 1.7 Preview...”