Cargando…

Verification techniques for system-level design

Detalles Bibliográficos
Autores principales:	Fujita, Masahiro, Ghosh, Indradeep, Prasad, Mukul
Lenguaje:	eng
Publicado:	Morgan Kaufmann Publishers 2008
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/1512020

Ejemplares similares

Systems and Software Verification: Model-Checking Techniques and Tools
por: Bérard, B, et al.
Publicado: (2001)

Eurographics Workshop on Design, Specification and Verification of Interactive Systems '97
por: Harrison, M D, et al.
Publicado: (1997)

Electronic design automation: synthesis, verification, and test
por: Wang, Laung-Terng, et al.
Publicado: (2009)

Verification for Digital Designs training course at Europractice
Publicado: (2017)

Biometric Technologies and Verification Systems
por: Vacca, John R
Publicado: (2007)

Implementation and verification of distributed control systems
por: Gerber, Christian
Publicado: (2011)

Co-verification of hardware and software for ARM SoC design
por: Andrews, Jason
Publicado: (2004)

Formal verification of floating-point hardware design: a mathematical approach
por: Russinoff, David M, et al.
Publicado: (2018)

SystemVerilog assertions handbook: for dynamic and formal verification
por: Cohen, Ben, et al.
Publicado: (2016)

Formal system verification: state-of the-art and future trends
por: Drechsler, Rolf
Publicado: (2017)

FASTBUS slave diagnostic software ans system verification
por: Story, C M
Publicado: (1985)

BCS-FACS Workshop on Specificiation and Verification of Concurrent Systems
por: Rattray, Charles
Publicado: (1990)

A SystemVerilog-UVM Methodology for the Design, Simulation and Verification of Complex Readout Chips in High Energy Physics Applications
por: Marconi, Sara, et al.
Publicado: (2017)

Decidability of parameterized verification
por: Bloem, Roderick, et al.
Publicado: (2015)

Program construction and verification
por: Backhouse, Roland Carl
Publicado: (1986)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
por: Yoeli, Michael, et al.
Publicado: (2008)

Sound systems: design and optimization : modern techniques and tools for sound system design and alignment
por: McCarthy, Bob
Publicado: (2016)

Sound systems: design and optimization : modern techniques and tools for sound system design and alignment
por: McCarthy, Bob
Publicado: (2010)

Principles of verifiable RTL design: a functioning coding style supporting verification processes in verilog
por: Bening, L
Publicado: (2001)

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
por: Spear, Chris
Publicado: (2008)

Modelling and verification of secure exams
por: Giustolisi, Rosario
Publicado: (2018)

Formal Verification of Neural Networks
por: Sommart, Thanapong
Publicado: (2023)

New developments in program verification
por: Wolper, P
Publicado: (1991)

Embedded systems design: an introduction to processes, tools, and techniques
por: Berger, Arnold S
Publicado: (2001)

String analysis for software verification and security
por: Bultan, Tevfik, et al.
Publicado: (2018)

Scientific computing with automatic result verification
por: Adams, Ernst, et al.
Publicado: (1992)

Automated verification of a System-on-Chip for radiation protection fulfilling Safety Integrity Level 2
por: Ceesay-Seitz, Katharina
Publicado: (2019)

The non-designer's type book: insights and techniques for creating professional-level type
por: Williams, Robin
Publicado: (2006)

Mobile agent-based anomaly detection and verification system for smart home sensor networks
por: Usman, Muhammad, et al.
Publicado: (2018)

Analysis and design of communication techniques in spectrally efficient wireless relaying systems
por: Zhao, Jian
Publicado: (2010)

Writing testbenches: functional verification of HDL models
por: Bergeron, Janick
Publicado: (2003)

A formal notation for hardware and software verification
por: Chapman, R, et al.
Publicado: (1986)

Specification of temporal properties of functions for runtime verification
por: Dawes, Joshua Heneage, et al.
Publicado: (2019)

Efficient biometric indexing and retrieval techniques for large-scale systems
por: Kavati, Ilaiah, et al.
Publicado: (2017)

Electronic system level design: an open-source approach
por: Rigo, Sandro, et al.
Publicado: (2014)

Techniques of program structure and design
por: Yourdon, Edward Nash
Publicado: (1975)

System-level verification and testing of a safety-critical SoC using HW/SW Co-Simulation
por: Bodingbauer, Jonas
Publicado: (2022)

Facial kinship verification: a machine learning approach
por: Yan, Haibin, et al.
Publicado: (2017)

Translation of PLC Programs to x86 for Simulation and Verification
por: Sallai, Gyula
Publicado: (2017)

Validation and verification of Geant4 standard electromagnetic physics
por: Apostolakis, J, et al.
Publicado: (2010)

Cannot write session to /tmp/vufind_sessions/sess_12c5i02m7n11t9fvc6ekf3t2je