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!

Free Embedded Systems
News by Keyword
Cool, free stuff!

article    

Enabling better testing: Reprogrammable on-chip instrumentation
This extensive look underneath the hood at on-chip instrumentation shows how at-speed validation for SoCs can be greatly improved with the right visibility inside. Successfully testing and validating today’s sophisticated ASICs and FPGAs requires sophisticated solutions, especially tools that can provide advanced controls and views into the embedded system. In the past, some vendors relied almost exclusively on pre-silicon verification,...
preview: http://www.embedded-computing.com   date: 11/9/2009 |

article    

Unraveling debug and design verification snags
Paul notes that with FPGAs taking on the role of much denser, more versatile embedded platforms, designers are seeking advanced controls and views into the embedded system.
preview: http://www.dsp-fpga.com   date: 11/24/2009 |

personal page    

Chris Spear's Verification World
Personal page with information on Verification, Verilog, PLI.
preview: http://chris.spear.net   |

personal page    

Janick Bergeron Personal Page
I have recently completed a book on how to write testbenches using Verilog or VHDL. It describes the techniques that I have developed during my career as a Design Verification Engineer. I still use them today. Has a nice set of LINKS on Verification issues. 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.janick.bergeron.com   |

university    

CMU Model Checking
Model checking is a method for formally verifying finite-state concurrent systems. Specifications about the system are expressed as temporal logic formulas, and efficient symbolic algorithms are used to traverse the model defined by the system and check if the specification holds or not. Extremely large state-spaces can often be traversed in minutes.
preview: http://www.cs.cmu.edu   |

podcast    

Mentor Graphics EDA Training and Employment Resources for Unemployed Designers
Recently unemployed? Concerned about your EDA technical training? Christine Egli and Tom Floodeen of Mentor Graphics discuss how the company is reaching out to the EDA community to offer technical training in EDA (Electronic Design Automation) to 'displaced workers.' For those who qualify, the program is an excellent way to beef up your technical skills as well as to network with other EDA professionals seeking employment opportunities.
preview: http://www.eg3.com   date: 3/24/2009 |

resource    

Verification Central LLC
Verification Central is dedicated to ASIC verification. It was established in May 2001. The first product from Verification Central is the best selling book on ASIC verification 'The Art of Verification with Vera'.
preview: http://www.verificationcentral.com   |