21
22
by Bening, Lionel., Foster, Harry.
Published 2001
Table of Contents: '; ... Simulation -- RTL Formal Verification -- Verifiable RTL Style -- The Bad Stuff -- Verifiable RTL Tutorial...
View fulltext via EzAccess
Electronic
23
Published 2013
Table of Contents: '; ... Workflow for Practical Formal Verification from Software Requirements to Object Code -- Boolean Quantifier...
Get full text
Electronic
24
Published 2013
Table of Contents: '; ... to Deduction-Based Formal Verification of Requirements Models -- Model Checking of Security-Critical...
Get full text
Electronic
25
Published 2013
Get full text
Electronic
26
Published 2013
Table of Contents: '; ... for Unbounded Parallelism -- SVA and PSL Local Variables -- A Practical Approach -- Formal Verification...
Get full text
Electronic
27
by Bening, Lionel., Foster, Harry.
Published 2000
Table of Contents: '; ...The Verification Process -- RTL Methodology Basics -- RTL Logic Simulation -- RTL Formal...
View fulltext via EzAccess
Electronic
28
Published 2001
Table of Contents: '; ... to Formal Verification of Analog Circuits -- A Low Power Bicmos 1 GHZ Super-Regenerative Transceiver for ISM...
View fulltext via EzAccess
Electronic
29
Published 2007
Table of Contents: '; ... Formal Verification and Validation Approach for Real-Time Databases / Pedro Fernandes Ribeiro Neto...
View fulltext via EzAccess
Electronic
30
Published 2013
Table of Contents: '; ... Systems in Cloud Environments -- Performance Analysis and Formal Verification of Cognitive Wireless...
Get full text
Electronic
31
32
Published 2009
Table of Contents: '; ... middleware for web databases / Athman Bouguettaya -- 13. A formal verification and approach for real-time...
View fulltext via EzAccess
Electronic
33
Published 2009
Table of Contents: '; ... -- Broadcast in Ad Hoc Networks -- Geographic Routing in Wireless Ad Hoc Networks -- Formal Verification...
Get full text
Electronic
34
by Miller, D. Michael.
Published 2008
Table of Contents: '; ... description languages -- Logic synthesis -- Logic simulation -- Digital hardware testing -- Formal...
Abstract with links to full text
Electronic
35
Published 2011
Table of Contents: '; ... with multi-level decision diagrams / Raimund Ubar ... et al. -- 5. Enhanced formal verification flow...
Chapter PDFs via platform:
Electronic
36
Published 2002
Table of Contents: '; ... Data and Processes Using XTL -- Applications of Verification -- Formal Verification of Peephole...
View fulltext via EzAccess
Electronic
37
Published 2013
Table of Contents: '; ... Consensus: Agreeing on the Precipice -- Hybrid Multi-GPU Solver Based on Schur Complement Method -- Formal...
Get full text
Electronic
38
Published 2013
Table of Contents: '; ...: Conventional, 1HI, and 2HBI Floodings.-�Formal Verification of Cyber-Physical Systems: Coping with Continuous...
Get full text
Electronic
39
Published 2009
Table of Contents: '; ... / Dalila Boughaci ... [et al.] -- A Formal Verification Centred Development Process for Security Protocols...
View fulltext via EzAccess
Electronic