FPGA Tutorial: Free 'Insider's Guide' (2009 Edition)
Altera? Xilinx? FPGA boards or design tools as from Altium or Mentor Graphics? What do users and newbies think about new FPGA technologies? Find out in our free tutorial on FPGAs, tools, and boards.

Mocana NanoSec - Embedded IPsec and IKE Solutions

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