Cargando…

Formal verification of floating-point hardware design: a mathematical approach

Detalles Bibliográficos
Autores principales:	Russinoff, David M, Moore, J Strother
Lenguaje:	eng
Publicado:	Springer 2018
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2710675

Ejemplares similares

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

Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
por: Boldo, Sylvie, et al.
Publicado: (2017)

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

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

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)

Hardware design verification: simulation and formal method-based approaches
por: Lam, William K C
Publicado: (2005)

Algorithm. Accurate Floating Point Summation
por: Erskine, George A
Publicado: (1973)

Designing embedded hardware
por: Catsoulis, John
Publicado: (2005)

Microprogrammed floating-point arithmetic for the Varian-73 computer
por: Frenckner, K, et al.
Publicado: (1977)

Bringing Automated Formal Verification to PLC Program Development
por: Fernández Adiego, Borja
Publicado: (2015)

Embedded controller hardware design
por: Arnold, Ken
Publicado: (2004)

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

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

Computer organization and design: the hardware/software interface
por: Patterson, David A, et al.
Publicado: (2013)

Computer organization and design: the hardware/software interface
por: Patterson, David A, et al.
Publicado: (2007)

Computer organization and design: the hardware/software interface
por: Patterson, David A, et al.
Publicado: (2009)

Computer organization and design: the hardware/software interface
por: Patterson, David A, et al.
Publicado: (2011)

Hardware security : design, threats, and safeguards
por: Mukhopadhyay, Debdeep, et al.
Publicado: (2015)

Embedded systems: hardware, design, and implementation
por: Iniewski, Krzysztof
Publicado: (2013)

Readings in Hardware/Software Co-Design
por: De Micheli, Giovanni, et al.
Publicado: (2001)

Quantum mechanics, mathematics, cognition and action: proposals for a formalized epistemology
por: Mugur-Schächter, Mioara, et al.
Publicado: (2003)

Fault tolerant and fault testable hardware design
por: Lala, Parag K
Publicado: (1985)

Embedded Hardware
por: Ganssle, Jack G, et al.
Publicado: (2007)

CSS floating
por: Meyer, Eric A
Publicado: (2016)

Hardware security: a hands-on learning approach
por: Bhunia, Swarup, et al.
Publicado: (2018)

The hardware hacker: adventures in making and breaking hardware
por: Huang, Andrew
Publicado: (2017)

Computer engineering: a DEC view of hardware systems design
por: Bell, C Gordon, et al.
Publicado: (1978)

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

Security of block ciphers: from algorithm design to hardware implementation
por: Sakiyama, Kazuo, et al.
Publicado: (2015)

Design of hardware processors for use in high-energy physics (pattern recognition)
por: Fucci, A, et al.
Publicado: (1974)

SystemVerilog for design: a guide to using SystemVerilog for hardware design and modeling
por: Sutherland, Stuart, et al.
Publicado: (2006)

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)

Mikroprozessoren : hardware
por: Franzis
Publicado: (1977)

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

The architecture of computer hardware and systems software: an information technology approach
por: Englander, Irv
Publicado: (2009)

Hardware by the numbers: startups
por: DiResta, Renee
Publicado: (2015)

An introduction to computer hardware
por: Cripps, Martin
Publicado: (1977)

Computer hardware theory
por: Poppelbaum, Wolfgang
Publicado: (1975)

Cannot write session to /tmp/vufind_sessions/sess_r1kc23nnh28tfu92opkdlkch6i