FPGA+HDL+Education

=Free/Inexpensive FPGA and HDL Education Resources=

Books
= =
 * My favorite textbook so far is RTL Hardware Design Using VHDL: Coding for Efficiency, Portability, and Scalability by Dr. Chu.I believe that even Verilog users would benefit from it.
 * Verilog HDL (2nd Edition) is a good and popular introduction to the Verilog language.
 * FPGA Prototyping by Verilog Examples (Xilinx Spartan3 Version) I am enjoying right now. Not just a guide to Verilog the language, it's written to get you coding into an FPGA chip, and has coding guidelines that I haven't seen in language books such as the popular Verilog HDL by Palnitkar.
 * FPGA Prototyping by VHDL Examples (Xilinx Spartan3 Version) looks to be the VHDL "port" of the Verilog book above.
 * FPGA-Based Prototyping Methodology Manual by Synopsys/Xilinx can be had for free for current Synopsys customers, or you can buy it at Amazon.
 * High-Level Synthesis Blue Book talks about using C/C++ for chip design. Reviews say there's an inexpensive ebook version and a now out of print cheap paperback. As this is a mentor Graphics employee book, there's some possibility it may become a free ebook as was the case with their BGA breakout book after I bought that one. Reviews do say the book is rather focused on Mentor tools, though that may be expected from one of their employees. They have a Webinar to accompany this book.
 * Hardware Verification using SystemVerilog seems to be viewable online.
 * OVM Cookbook is available for free online as well as in print form.
 * SiMantis has a monthly drawing to win one of their verification books about SystemVerilog/OVM, e, or e for Japanese.

Magazines

 * Chip Design is a magazine about design methodologies, SoCs, low power, HDLs, EDA tools, book reviews, etc.
 * EDA Tech Forumhas a Tech Design Forum magazine/journal
 * All Programmable Planet is an online magazing about FPGAs and other programmable logic.

Webinars/Tutorials

 * Aldec has webinars for SystemC, Verilog, SystemVerilog and VHDL. They also have downloadable tutorials for SystemC, Verilog, SystemVerilog and VHDL.
 * Doulos has tutorials on VMM, OVM, UVM, Verilog, VHDL, and SystemC.
 * Cadence has a couple sets of webinars, set1 and set2, which include topics such as UVM, Migrating from VMM to UVM, Creating SystemC Models, SystemC TLM Model Coverage, and SystemC Synthesis.
 * Mentor has a variety of Webinars such as HDL Code Checking Standards (ie for DO-254) I'd like to find something about example DO-254 coding rules, but it seems every site is kindof "for aerospace personnel ONLY, all others keep out".
 * SystemC Intro by Electrosofts.
 * A presentation on SystemC 2.0 and Cadence tools, and other presentations from European SystemC Users Group
 * OVL tutorials from Verification Academy and from Asic World

= =

Courses
> *** 6.111 Introductory Digital Systems Laboratory uses FPGAs and Verilog and talks about State Machines and other stuff >
 * ECE613 HW/SW CoDesign talks about SystemC, combining Verilog design with SystemC environment, etc. I can't see the slides directory they link to, but here's a direct link to an intro to SystemC powerpoint and System Level Modelling there.
 * Berkeley ee249 Embedded Systems Design: Models, Validation, and Synthesis is a directory of course stuff. Lecture notes are in the lectures dir, the lectures.html files don't work.
 * University of California Riverside SystemC Lab talks about using SystemC with MS Visual C++ 6.0 and has some lab exercises.
 * Amsterdam Advances in Computer Architecture is a set of course notes/slides/etc. by a previous teacher of the course.
 * Amsterdam Concurrent Systems is
 * MIT OpenCourseware
 * 6.375 Complex Digital Systems talks about high-level synthesis/design in BlueSpec. ("new", commercial BlueSpec, not "old/classic" Bluespec)
 * Forte Design Systems offers a free SystemC training course.
 * Udacity cs348 Functional Hardware Verification which talks aboutHow to Verify Chips and Eliminate Bugs.
 * HampsterWorks has a free online FPGA course and at Github
 * Udemy has an inexpensive VHDL course using FPGA

= = = =

Articles

 * The Ten Edits I Make Against Most IP (And Wish I Didn't Have To)
 * A Thesis about Design and Verification of Wishbone Bus Interface for SOC Integration (additional theses by department/subject)
 * Thesis about Development of Open Verification IP for i2c Controller
 * Thesis about OVM Compliant Verification for a Wishbone Compatible i2c Master Controller Core
 * Thesis about Design of an FPGA-Based Lithium-ion Battery Charger System
 * Embecosm has some papers about using open-source tools with open-source designs.
 * Sunburst Design has a number of papers on Verilog and SystemVerilog design.
 * Sutherlan HDL also has a number of papers on Verilog and SystemVerilog.
 * Aldec has a number of Whitepapers about RTL design, HDL languages, and related topics.
 * Design and Reuse is a group of Blogs dedicated to topics of interest for FPGA/ASIC/SoC type projects.
 * Jasper Design Automation has some whitepapers.
 * SoC Central has information such as whitepapers, lists of technical books, articles, etc.
 * FPGA and Programmable Logic Journal is an online magazine style site.
 * Tech Design Forum article Firmware Verification using SystemVeriolog OVM.
 * Here's a paper on the suprising complexity of doing a `include in Verilog.
 * Using gdb to debug a processor running inside an Icarus Verilog simulation.
 * Custom Hardware Modelling for FPGAs and Embedded Linux Platforms with Qemu.
 * Design and Analysis of Dynamically Configurable Bus Arbiters for SoCs

= =

Forums

 * Designers Guide Community has forums and other resources that may be useful to HDL design and simulation.
 * Overmapped is a forum about FPGA and HDL development.
 * SemiWiki looks like a new site with potential, but I don't see much there just yet.

= =

Other Resources
 -d APBTRACE -FLASH_BOOT
 * Xilinx has a Simulation and Synthesis Design Guide, the current version 14.4 is here.
 * ASIC Labs has a variety of labs/tutorials about Digital Design, Verilog, Soc, EDA tools, and will also have discussion forums
 * Sutherland HDL has an online Verilog quick reference page.
 * Angelire has a 37 page "quick reference" for Verilog.
 * Here is a quick reference card for SystemC.
 * Also search on Sourceforge, GitHub, Google Code, BerliOS, CodeHaus, etc. for Verilog and VHDL tools, IPs and stuff.
 * This page lists a lot of SystemC educational resources.
 * Open-Source and other freely obtainable IP code
 * OpenCores hosts a variety of open-source RTL cores and tools.
 * ASICSws offers free IP, though most are already on opencores.
 * Free Model Foundary hosts free models and links to others as well.
 * ChipForge has a library of items for examples/usage.
 * Sourceforge has a couple IPs such as a DVI Encoder, ZPU SoC, OpenVGA, Verilog Raytracing Algorithm, 32bit ALU, Spark8 processor,
 * Google Code hosts a few things as well such as Wishbone/AMBA memory controller, x86 CPU, AES crypto,
 * Young Engineering has simulation models available.
 * SysWip has free online verification code.
 * Here is a list of open-source processor cores.
 * A free Floating Point maths library is available from Northeastern University.
 * osvvip is an as yet empty repository of free SystemVerilog test IPs.
 * SystemVerilog Testbench has a couple free SystemVerilog IPs.
 * ScSoc is a System-on-Chip in SystemC. (need to verify I understand their description correctly.)
 * libhdlfltp provides floating point maths such as from math.h in VHDL.
 * Some SystemC examples
 * Some VHDL/Verilog examples at google code.
 * This forum discussion talks about arbiters and has example code.