Abstract
The goal of these lectures is to provide an overview of multiple-value logic (MVL), register-transfer logic (RTL), arithmetic, real and complex number manipulation, and fuzzy logic, as they relate to hardware description languages (HDLs). The feasible techniques described not only represent how standard HDLs are currently used in modeling, but also form a core of inherited requirements for the design of new languages. Examples and problems are included with each part. Also addressed are topics of theoretical interest with potential for future impact.
A Viewlogic subsidiary
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
IEEE Standard VHDL Language Reference Manual. IEEE Std 1076–1987. The Institute of Electrical and Electronic Engineers, Inc., New York, NY, 31 March 1988.
Verilog Hardware Description Language Reference Manual, Open Verilog International, 1991.
IEEE Standard VHDL Language Reference Manual Interpretations. IEEE Std 1076-INTERPRETATIONS-1992. The Institute of Electrical and Electronic En-gineers, Inc., New York, NY, 1992.
V.B. Rao, D.V. Overhauser, T.N. Trick, I.N. Hajj Multi-Level Simulation for VLSI Design, Kluwer Academic Publishers, 1989.
R.E. Bryant, A Survey of Switch-Level Algorithms, IEEE Design and Test of Computers, vol. 4, no. 4, pp.26–40, August 1987.
A.G. Stanculescu, A.S. Tsay, A.N.D. Zamfirescu, D.L. Perry, “Switch Level VHDL Descriptions,” in Proceedings of the International Conference on Computer-Aided Design, pp. 180–183, November 1989.
D. Coelho, Helix, A Tool for Multi-Level Simulation of VLSI Systems, International Semi-Custom IC Conference, November 1983.
D. Coelho, High-Level Design Using HELIX, ACM Computer-Science Conference, March 1985.
D. Coelho, D. Hill, Multi-Level Simulation for VLSI Design, Kluwer Academic Publishers, Boston, 1987.
D.R. Coelho, The VHDL Handbook, Kluwer Academic Publishers, Boston, 1989.
R. E. Harr, A.G.Stanculescu, Applications of VHDL to Circuit Design, Kluwer Academic Publishers, Boston, 1991.
J. Mermet Ed., VHDL for Simulation, Synthesis and Formal Proofs of Hardware, Kluwer Academic Publishers, Boston, 1992.
D. L. Perry, VHDL, McGraw-Hill, 1991.
D. Dunlop “VHDL 92 Language Design Effort,” VHDL Users’ Group Conference, April 1991.
A.N. Zamfirescu, “Numeric Types for Synthesis,” Proceedings of the VHDL International Users’ Forum, Fall 1992.
J.D. Morison, N.E. Peeling, T.L. Thorp, “The Design Rationale of ELLA, A Hardware Design and Description Language,” Proceedings of CHDL ’85 pp 303–320 Tokyo, Japan, 1985.
Praxis Systems plc, Bath, UK, The ELLA Reference Manual, 1989.
D.E. Thomas, I. Moorby, The Verilog Hardware Description Language, Kluwer Academic Publishers, Boston, 1991.
E. Sternheim, R. Singh, Y. Trivedi, Digital Design with Verilog HDL, Automata Publishing Company, Cupertino, 1990.
J. Voider, “The CORDIC Computing Technique,” IRE Trans. Computers, Vol. EC-8, September 1959, pp 330–334.
J. Walther, “A Unified Algorithm for Computing Elementary Functions,”s Joint Computer Conference Proceedings, Vol. 38, Spring 1971, pp. 379–385.
A.N. Zamfirescu, “Complex Arithmetic VHDL Capabilities,” Proceedings of the First European Conference on VHDL Methods,Vol.1, Marseille, September 1990.
L.A. Zadeh, “Fuzzy Sets,” Information and Control, Vol. 8, 1965, pp. 338–353.
A. Kaufmann. Introduction to Fuzzy Arithmetic. Van Nostrand Reinhold, New York, 1991.
R. Lipsett, C. Schaefer, and C. Ussery, VHDL: Hardware Description and Design, Kluwer Academic Publishers, Norwell, MA, 1989.
C. Ussery, A. Zamfirescu, “Fuzzy Logic Engineering in VHDL,” VHDL International Users’ Forum, October 1991.
A. Zamfirescu, C. Ussery, “VHDL and Fuzzy Logic If-Then Rules,” Proceedings of the EURO-VHDL Conference, Hamburg, Germany, September 1992.
A.N. Zamfirescu, “Resolution Functions Implied and Expected Properties,” VHDL TechNotes, Volume 1, Number 3, November, 1989, pp 8–10.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Zamfirescu, A. (1993). Logic and Arithmetic in Hardware Description Languages. In: Mermet, J.P. (eds) Fundamentals and Standards in Hardware Description Languages. NATO ASI Series, vol 249. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-1914-6_3
Download citation
DOI: https://doi.org/10.1007/978-94-011-1914-6_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4846-0
Online ISBN: 978-94-011-1914-6
eBook Packages: Springer Book Archive