Abstract
Prolog is uniquely suited to be an implementation language for electronic circuit design tools. Its strength in language processing and basis in logic make it a perfect environment for manipulating the formal languages used to describe logical systems. Furthermore, language-oriented design, in which the hardware designer writes, compiles, and tests textual hardware descriptions has become increasingly important. Prolog meets this need for a powerful, language-oriented, software development environment.
Preview
Unable to display preview. Download preview PDF.
References
, Robert Brayton, et. al. Logic Minimization Algorithms for VLSI Synthesis, Kluwer Academic Publishers, 1984
, W.F. Clocksin, “Logic Programming and Digital Circuit Analysis”, The Journal of Logic Programming, 1987:4:59,82, March 1987.
Lipsett et al., VHDL: Hardware Description and Design, Kluwer Academic Press, 1989
Richard A. O'Keefe, The Craft of Prolog, 1990 MIT Press.
“AUNT: A Universal Netlist Translator”, Journal of Logic Programming, 1990:8:5–19 North Holland.
PREDITOR: A Prolog-based VLSI editor, chapter three in “The Practice of Prolog”, Leon Sterling, Editor. November 1990, MIT Press.
D.H.D. Warren, “Logic Programming and Compiler Writing”, Software-Practice and Experience, Vol 10, Number 2, pp 97–125, 1980, John Wiley and Sons, Ltd.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reintjes, P. (1992). A set of tools for VHDL design. In: Comyn, G., Fuchs, N.E., Ratcliffe, M.J. (eds) Logic Programming in Action. LPSS 1992. Lecture Notes in Computer Science, vol 636. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55930-2_17
Download citation
DOI: https://doi.org/10.1007/3-540-55930-2_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55930-6
Online ISBN: 978-3-540-47312-1
eBook Packages: Springer Book Archive