| |
| | |
home
>
fpga
>
verification
> overviews, newsgroups, seminars...
| |
SEO Training
Even in hi-tech, getting your company to the top of Google is important.
Also using Social Media Marketing! Learn how!

| |
-
overview
-
Verification @ Wikipedia
Formal verification can be used for example for systems such as cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
The verification of these systems is done by providing a formal proof on an abstract mathematical model of the system, the correspondence between the mathematical model and the nature of the system being otherwise known by construction.
Examples of...
preview:
http://en.wikipedia.org
|
-
newsgroup
-
Verification Guild
The Verification Guild is a moderated mailing list where verification professionals can discuss any issues and challenges presented by this most difficult task.
preview:
http://www.verificationguild.com
|
-
seminar
-
Introduction to Advanced Verification Web Seminar
This presentation will walk the audience through various strategies for adopting an Advanced Verification.
We will examine the different components including: Assertion-Based Verification Constrained-Random Verification Coverage-Driven Verification Testbench Automation ...and show how these techniques can be applied both incrementally to existing verification environments and in a proactive manner to build an infrastructure...
preview:
http://www.mentor.com
date: 4/24/2008
|
-
eletter
-
EE Times Network Eletters
EE Times newsletters - Vertical markets - Audio, Automotive, Communication, DTV, Embedded.com, Verification, Industrial Control, IP/SOC, Mobile, Network, Analog, Power Management, Low Power, Analog, Programmable Logic, Video, and Wireless.. Essentially, you sign up for the EE Times network and then pick or choose the appropriate eletter(s) to which you want to subscribe.
Then each week, you get your weekly 'spam' of news stories and...
preview:
http://www.eetnetwork.com
|
 |

| 
| 
Express Logic develops, markets and supports the ThreadX® real-time operating system (RTOS), NetXTCP/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.
 | 
| 
|
|
|
| |