| |
| | |
home
>
fpga
>
verification
> conferences, overviews, newsgroups...
| |
 
Mentor Graphics
View Technical Publication Library
| |
-
conference
-
DVCon
DVCon is the premier conference on the usage of Hardware Description Languages (HDLs), and Hardware Verification Languages (HVLs) for the design and verification of electronic systems and integrated circuits.
The focus of the conference is on specialized languages such as VHDL, PSL, Verilog, SystemVerilog, SystemC, SUPERLOG, e and VERA . . .
preview:
http://www.dvcon.org
date: 2/24/2009
-
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
 |
| 
|
The SBC ComEx is a user-customizable, turnkey embedded instrument that includes a full Windows/Linux PC and supports a wide assortment of ultimate-performance XMC modules.
With its modular IO, scalable performance, and easy to use PC architecture, the SBC ComEx reduces time-to-market while providing the performance you need. FEATURES:
* Combines industry standard COM Express CPU module and dual XMC modules in a compact, stand alone design * Scalable CPU performance from Celeron to dual-core Pentium using COM Express with up to 4 GB memory * Small form factor: 250 x170 mm. APPLICATIONS: * Embedded Control * Remote Data Acquisition * Industrial Test & Measurement * OEM Instrumentation. Click for details!
 |
|
|
|
|
| |
