Cargando…

Verification for Digital Designs training course at Europractice

Detalles Bibliográficos
Lenguaje:	eng
Publicado:	2017
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2291861

Ejemplares similares

Verification techniques for system-level design
por: Fujita, Masahiro, et al.
Publicado: (2008)

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

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

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

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

Digital design
por: Richards, Richard Kohler
Publicado: (1971)

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

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

Digital computer design
por: Kline, Raymond M
Publicado: (1977)

Digital interface design
por: Duncan, Fraser George, et al.
Publicado: (1973)

Design of digital computers
por: Gschwind, Hans W, et al.
Publicado: (1975)

The design of digital systems
por: Peatman, John B
Publicado: (1972)

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

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

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

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

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

Digital design in action: creative solutions for designers
por: Jackson, Chris, et al.
Publicado: (2017)

Editorial design : digital and print
por: Caldwell, Cath, et al.
Publicado: (2014)

Circuit design of digital computers
por: Hawkins, Joseph K
Publicado: (1968)

Design methods for digital systems
por: Chinal, Jean
Publicado: (1973)

Digital computer structure and design
por: Townsend, R
Publicado: (1975)

Design of digital computers: an introduction
por: Gschwind, Hans W
Publicado: (1967)

Digital design and computer architecture
por: Harris, David Money, et al.
Publicado: (2013)

Digital modelling for urban design
por: McGrath, Brian
Publicado: (2008)

Digital system design with VHDL
por: Zwolinski, Mark
Publicado: (2004)

Digital sub-editing and design
por: Quinn, Stephen
Publicado: (2001)

Prototyping for designers: designing the best digital and physical products
por: McElroy, Kathryn
Publicado: (2017)

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)

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

Digital systems: hardware organization and design
por: Hill, Fredrick J, et al.
Publicado: (1973)

Design of arithmetic units for digital computers
por: Gosling, John B
Publicado: (1980)

Digital systems: hardware organization and design
por: Hill, Fredrick J, et al.
Publicado: (1978)

Digital design with standard MSI and LSI
por: Blakeslee, Thomas R
Publicado: (1979)

Fundamentals of digital logic with VHDL design
por: Brown, Stephen, et al.
Publicado: (2009)

Digital type design for branding: designing letters from their source
por: Boss, Stephen
Publicado: (2016)

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)

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)

Cannot write session to /tmp/vufind_sessions/sess_8bto3obcmfd8ha7uj3eghm0j06