login to eCLIPS or find out about eCLIPS
Express Logic - RTOS, TCP/IP, USB Stack, File System, GUI
Express Logic - RTOS, TCP/IP, USB Stack, File System, GUI
home - www.eg3.com
 
Free Webinar - Getting started with the ARM(R) Cortex-M0(TM) Processor - Jump Start from CAST
home > fpga > verification > overviews, newsgroups, seminars...
Garmin Forerunner 405CX GPS Sport Watch

SEO Training
Even in hi-tech, getting your company to the top of Google is important. Also using Social Media Marketing! Learn how!
SEO / Social Media Training Classes

 

 

overview   1-5 star rating for this site  
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...
Click here to preview in another window preview: http://en.wikipedia.org   |

newsgroup   1-5 star rating for this site  
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.
Click here to preview in another window preview: http://www.verificationguild.com   |

seminar   1-5 star rating for this site  
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...
Click here to preview in another window preview: http://www.mentor.com   date: 4/24/2008 |

eletter   1-5 star rating for this site  
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...
Click here to preview in another window preview: http://www.eetnetwork.com   |

Express Logic - RTOS, TCP/IP, USB Stack, File System, GUI


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.
Express Logic - RTOS, TCP/IP, USB Stack, File System, GUI


 

 

eg3.com 'meta' info - site map, keywords, how to contact us . . .