| |
| |
home
>
fpga
>
verification
> books a-f
 more
1
2
| |
Free News Alerts by Keyword
Interested in embedded technology? Are you an engineer or designer? e-clips helps you follow the latest news on key topics like multicore, FPGAs, 8051, ESL, PC/104 and more!
| |
-
book
-
Applied Formal Verification
Applied Formal Verification delivers right-now methods for integrating this powerful tool into your design process.
Written by two of the field's leaders, this tutorial opens shortcuts to the concept-proving, efficiency-boosting benefits of formal verification.
The book includes real-world examples of formal verification applied to complex designs and clarifying explanations of high-level requirement writing.
If you've some knowledge of...
preview:
http://www.amazon.com
date: 04/29/2005
|
-
book
-
Creating Assertion-Based Verification IP (Series on Integrated Circuits and Systems)
This book well present formal testplanning guidelines with examples focused on creating assertion-based verification IP. Note that there are many books published on assertion languages (such as SystemVerilog assertions and PSL). Yet, none of the discuss the important process of testplanning and using these languages to create verification IP. This will be the first book published on this subject
preview:
http://www.amazon.com
date: 10/2001/2006
|
-
book
-
Electronic Design Automation: Synthesis, Verification, and Test
This book provides broad and comprehensive coverage of the entire EDA flow.
EDA/VLSI practitioners and researchers in need of fluency in an 'adjacent' field will find this an invaluable reference to the basic EDA concepts, principles, data structures, algorithms, and architectures for the design, verification, and test of VLSI circuits.
Anyone who needs to learn the concepts, principles, data structures, algorithms, and architectures of the...
preview:
http://www.amazon.com
date: 10/24/2008
|
-
book
-
ESL Design and Verification: A Prescription for Electronic System Level Methodology
Electronic System Level (ESL) design has mainstreamed it is now an established approach at most of the worlds leading system-on-chip (SoC) design companies and is being used increasingly in system design.
From its genesis as an algorithm modeling methodology with no links to implementation, ESL is evolving into a set of complementary methodologies that enable embedded system design, verification and debug through to the hardware and software...
preview:
http://www.amazon.com
date: 02/23/2007
|
-
book
-
Functional Verification of Programmable Embedded Architectures
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current System-on-Chip design methodology.
A critical challenge in validation of such systems is the lack of a golden reference model.
As a result, many existing validation techniques employ a bottom-up approach to design verification, where the functionality of an existing architecture is, in...
preview:
http://www.amazon.com
date: 07/2001/2005
|
more
1
2
 |
| 
|
Express Logic develops, markets and supports the ThreadX® real-time operating system (RTOS), NetX™TCP/IP networking stack, USBX™ USB stack, FileX® embedded file system, and PEGX™ GUI toolkit for embedded applications.
ThreadX is a royalty-free, full source code, small-footprint, low-overhead RTOS that is extremely easy to learn and use. ThreadX is one of the most widely deployed RTOS products in the world, with over 1.25 billion products based on ThreadX.
 |
|
|
|
|
| |
