Formal verification of floating-point hardware design : a mathematical approach /: a mathematical approach. ([2019])

• Record Type: Book
• Further Information: Note: David M. Russinoff.
• Authors: Russinoff, David, 1948-
• Contents: 1 Basic Arithmetic Functions.- 2 Bit Vectors.- 3 Logical Operations.- 4 Floating-Point Numbers.- 5 Floating-Point Formats.- 6 Rounding.- 7 IEEE-Compliant Square Root.- 8 Addition.- 9 Multiplication.- 10 SRT Division and Square Root.- 11 FMA-Based Division.- 12 SSE Floating-Point Instructions.- 13 x87 Instructions.- 14 Arm Floating-Point Instructions.- 15 The Modeling Language.- 16 Double-Precision Multiplication.- 17 Double-Precision Addition and FMA.- 18 Multi-Precision Radix-4 SRT Division.- 19 Multi-Precision Radix-4 SRT Square Root.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (xxiv, 382 pages), illustrations
• Subjects: 004.01/51; Engineering; Formal methods (Computer science); Floating-point arithmetic; System design; COMPUTERS / Computer Literacy; COMPUTERS / Computer Science; COMPUTERS / Data Processing; COMPUTERS / Hardware / General; COMPUTERS / Information Technology; COMPUTERS / Machine Theory; COMPUTERS / Reference; Computers -- Software Development & Engineering -- General; Computers -- Systems Architecture -- General; Computers -- Hardware -- General; Software Engineering; Computer architecture & logic design; Systems analysis & design; Systems engineering; Software engineering; Computer science; Operating systems (Computers); Technology & Engineering -- Electronics -- Circuits -- General; Circuits & components; Electronic books
• Languages: English
• ISBNs: 9783319955131; 3319955136
• Related ISBNs: 9783319955124
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (SpringerLink, viewed October 22, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.