We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£108.66
Springer - A Formal Approach to Hardware Design (Vol. 253)
Price data last checked 63 day(s) ago - refreshing...
Price History & Forecast
Last 23 days • 23 data points (No recent data available)
Price Distribution
Price distribution over 23 days • 3 price levels
Price Analysis
Most common price: £106 (10 days, 43.5%)
Price range: £106 - £109
Price levels: 3 different prices over 23 days
Description
Key Features
Introduces Synchronized Transitions, a high-level design language for creating hardware computations.
Enables a single-language approach for both design verification and synthesis processes.
Provides models that support different types of analysis based on consistent design descriptions.
Part of the Springer International Series in Engineering and Computer Science, Volume 253.
Focuses on the formal design of computations intended for application specific hardware.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 1461361931
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 09 October 2012
- Listed Since
- 07 November 2013
Barcode
No barcode data available
Similar Products You Might Like
Algorithms for Synthesis and Testing of Asynchronous Circuits: 232 (The Springer International Series in Engineering and Computer Science, 232)
Springer
Algorithms for Synthesis and Testing of Asynchronous Circuits: 232 (The Springer International Series in Engineering and Computer Science, 232)
Springer
VHDL Modeling for Digital Design Synthesis
Springer
VHDL Modeling for Digital Design Synthesis
Springer
Springer - Formal Methods and Models for System Design Book
Springer
Scalable Hardware Verification with Symbolic Simulation
Springer
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)
Springer
A Designer's Guide to VHDL Synthesis
Springer
Springer Circuit Synthesis with VHDL - Engineering Textbook
Springer
Engineering Design Synthesis: Understanding, Approaches and Tools
Springer
Springer Hardware Description Languages and their Applications
Springer
VHDL for Simulation, Synthesis and Formal Proofs of Hardware: 183 (The Springer International Series in Engineering and Computer Science, 183)
Springer
High-Level VLSI Synthesis: 136 (The Springer International Series in Engineering and Computer Science, 136)
Springer
High-Level VLSI Synthesis: 136 (The Springer International Series in Engineering and Computer Science, 136)
Springer
Understanding Behavioral Synthesis: A Practical Guide to High-Level Design
Springer
VHDL for Simulation, Synthesis and Formal Proofs of Hardware: 183 (The Springer International Series in Engineering and Computer Science, 183)
Springer
Computation Engineering: Applied Automata Theory and Logic
Springer
Advanced ASIC Chip Synthesis: Using Synopsys Design Compiler and PrimeTime
Springer
Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
Springer
Introduction to Logic Circuits & Logic Design with Verilog
Design Through Verilog HDL
Wiley-IEEE Press
Formal System Verification: State-of the-Art and Future Trends
Springer
VLSI Design Methodologies for Digital Signal Processing Architectures: 257 (The Springer International Series in Engineering and Computer Science, 257)
Springer
VLSI Design Methodologies for Digital Signal Processing Architectures: 257 (The Springer International Series in Engineering and Computer Science, 257)
Springer