Fachbereich Informatik


A collection of several VHDL related technical reports and conference papers.

This section is obviously not complete. Please submit your papers!

Recursive and repetitive VHDL modelling Peter J. Ashenden: Recursive and repetitive VHDL modelling. Discusses recursive and iterative structure descriptions for both VHDL-87 and VHDL-93 (117K compressed Postscript).
The corresponding models are available here (53K ASCII).
BABEL machine W. Hans, J.J. Ruz, F. Sáenz, S. Winkler: A VHDL Specification of a Shared Memory Parallel Machine for Babel (60 pages, 128K compressed Postscript).
Femto-VHDL John Van Tassel: Femto-VHDL: The semantics of a subset of VHDL and its embedding in the HOL theorem-prover. (479K compressed Postscript tar, or individual chapters) PhD dissertation, University of Cambridge
VHDL quality checking The VLSI-group of the Universidad politecnica de Madrid has some papers about VHDL design flow and automatically checking the quality of VHDL code.
Verification Some papers about verification and model checking using VHDL tools: