Ada dialects
SPARK 95 - The SPADE Ada 95 Kernel (including RavenSPARK) praxis his
UK's Safety-Critical Systems Club safety club
Clubs, Centre for Software Reliability, University of Newcastle upon Tyne
Correctness by Construction: A Manifesto for High-Integrity Software hill mil crosstalk
STSC CrossTalk - Correctness by Construction: A Manifesto for High-Integrity Software - Dec�2005
Praxis High Integrity Systems praxis his
Praxis High Integrity Systems : Software, Safety and Requirements Engineering, UK
Official SPARK website
SPARKAda - Homepage
ALLIANCE . ALLIANCE is a complete set of free CAD tools and portable libraries for VLSI design. It includes a VHDL compiler and simulator, logic synthesis tools, and automatic place and route tools.
Alliance Home Page
GHDL , a complete FreeSoftware VHDL simulator, using the GCC technology
GHDL home page
VHDL FPGA tutorial
X84LABS\X84lab~2
VHDL Dev (a work in progress that was never finished?)
Home - VHDL Dev - Your home for VHDL development resources and assistance
VHDL Research Universities and Research Groups
HDL (VHDL, Verilog etc.)
A TOP-DOWN APPROACH TO IC DESIGN contains useful information about using HDLs such as VHDL for chip design.
Testbench for the design home cast
A VHDL reference design - UART home cast
'99 bottles of beer' in VHDL to compare with other programming languages
99 Bottles of Beer | Browse category V
IEEE standard 1164
PeakFPGA - FPGA Design from Altium
VHDL-AMS syntax as Hypertext
VHDL-AMS Syntax (IEEE Std 1076.1)
VHDL'93 syntax as Hypertext
VHDL Syntax (IEEE Std 1076-1993)
VHDL'87 syntax as Hypertext
VHDL Syntax (IEEE Std 1076-1987)
Accellera VHDL International
Accellera - Home
Designers Guide to VHDL knowhow
VHDL Designer's Guide
VHDL Newsgroups forums
comp.lang.vhdl - Velocity Reviews
The FAQ of news://comp.lang.vhdl
VIUF comp.lang.vhdl archive
http://www.eda.org contains a lot of useful information including a FAQ
EDA.ORG Home Page
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia articles :
SPARK programming language , VHSIC hardware description language , .
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Froola link list about "Ada dialects".