Article

Free access

A functional language for description and design of digital systems: sequential constructs

Authors:

F. Meshkinpour,

M. D. ErcegovacAuthors Info & Claims

DAC '85: Proceedings of the 22nd ACM/IEEE Design Automation Conference

Pages 238 - 244

Published: 01 June 1985 Publication History

Abstract

A functional (applicative) hardware description language (FHDL), capable of dealing with both the sequential and combinational systems is discussed. The language supports multi-level executable specifications and interpretation of functional specifications as implementations at a given level of primitives. That is, the FHDL specifications are symbolically interpreted to produce structural representations (implementations) of hardware algorithms. The symbolic interpreter presently implements the specification of hardware algorithms at the gate level. The FHDL allows definition of function attributes, such as delay and number of logic level so that the performance characteristics of implementations can be obtained during simulation.

References

[1]

Backus, J., "Can Programming be Liberated from the yon Neumann Style? A Functional Style and its Algebra of Programs," Communication ACM, Vol. 21, No. 8, Aug. 1978, pp. 613-641.

Digital Library

[2]

Backus, J., "Functicm-level Programming," IEEE Spectrum, Vol. 19, No. 8, Aug 1982, pp. 22-27.

[3]

Baden, S. B. and D. R. Patel, "Berkeley FP - Experences with a Functional Programming Language," Proc. of COMPCON, Spring 1983, pp. 274-277.

[4]

Cardelli, L. and G. Plotkin, "An Algebraic Approach to VLSI Design," in VLSI 81, 1981, pp. 173-182.

[5]

Davio, M., J. P. Deschamps, and A. Thayse, in Digital Systems with Algorithm Implementation, John Wiley & Sons, 1983.

Digital Library

[6]

Ercegovac, M.D. and T. Laag, "A High-Level Language Approach to Custom Chip Layout Design," University of California MICRO Project Reports 1982-83, April 1984.

[7]

Ercegovac, M. D. and T. Lang, in Digital Systems: Hardware/Firmware Algorithms., New York, J. Wiley & Sons, 1985.

Digital Library

[8]

Frankel, R. E. and S. W. Smoliar, "Beyond Register Transfer: An Algebraic Approach For Architectural Description," Proc. of 4th International Conf. on Computer Hardware Description Languages. Oct. 1979, pp. 1-5.

[9]

Frankel, R. E. and S. W. Smoliar, "Digital Systems as Mathematical Erpressions," Proc. of COMPCON, Spring 1981, PP. 414-416.

[10]

Gordon, M., "A Model of Register Transfer System with Applications to Microcode and VLSI Correctness," Tech. Rep. Unpublished, 1981.

[11]

Johnson, S.D., Synthesis of Digital Design from Recursion Equations, Cambridge, Mass.: The MIT Press, 1984.

Digital Library

[12]

Kohavi, Z., in Switching and Finite Automata Theory, McGraw Hill, 1978.

Digital Library

[13]

Lathi, D. O., "Application of a Functional Programming Language," UCLA Dept. of Computer Science, LA, CA, Tech. Rep. Report No. CSD.810403, 1981.

[14]

Mead, C. and L. Conway, Introduction to VLSI Systems, Reading, Massachtuetts: Addison-Wesley, 1980.

Digital Library

[15]

Meshkin F., "On Specification and Design of Digital Systems Using an Applicative Hardware Description Language," University of California, Los Angeles, Tech. Rep. Master Thesis, March 1984.

[16]

Patel, D., M. Schlag, and M.D. Ercegovac, "vFP: An Environment for the Multi-Level Specification, Analysis, and Synthesis of Hardware Algorithms," UCLA Computer Science Department Quartery, January 1985.

[17]

Patel, D. and J. Worley, The UCLA Functional Programming Language: UCLA Computer Science Depratment, 1985. submitted for publication.

[18]

Schlag, M., "Extracting Geometry from FP for VLSI Layout," UCLA Department of Computer science, Tech. Rep. CSD- 840043, Oct. 1984.

[19]

Sequin, C. H., "Managing VLSI Camplexity: An Outlook," Proceedings of IEEE, Vol. 71, No. 1, Jan. 1983, pp. 149-166.

[20]

Sheeran, M., "muFP, a Language for VLSI Design," Proc. 1984 ACM Conference on Lisp and Functional Programming, August 1984, pp. 104-112.

Digital Library

Cited By

Khwaja AUrban J(2010)A property based specification formalism classificationJournal of Systems and Software10.1016/j.jss.2010.07.03183:11(2344-2362)Online publication date: 1-Nov-2010
https://dl.acm.org/doi/10.1016/j.jss.2010.07.031
Park SKim JIm HHook JThiemann P(2008)Functional netlistsProceedings of the 13th ACM SIGPLAN international conference on Functional programming10.1145/1411204.1411253(353-366)Online publication date: 20-Sep-2008
https://dl.acm.org/doi/10.1145/1411204.1411253
Park SKim JIm H(2008)Functional netlistsACM SIGPLAN Notices10.1145/1411203.141125343:9(353-366)Online publication date: 20-Sep-2008
https://dl.acm.org/doi/10.1145/1411203.1411253
Show More Cited By

Index Terms

A functional language for description and design of digital systems: sequential constructs

Recommendations

Formal Design of Arithmetic Circuits Based on Arithmetic Description Language

This paper presents a formal design of arithmetic circuits using an arithmetic description language called ARITH. The key idea in ARITH is to describe arithmetic algorithms directly with high-level mathematical objects (i.e., number representation ...
Processor design using a functional hardware description language

This contribution documents the development, implementation, and verification of a RISC microprocessor using the functional hardware description language Lava. Basic methods to describe hardware in Lava are introduced and extended towards implementation ...
Embedded architecture description language

In the state-of-the-art hardware/software (HW/SW) co-design of embedded systems, there is a lack of sufficient support for architectural specifications across HW/SW boundaries. Such an architectural specification ought to capture both hardware and ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

DAC '85: Proceedings of the 22nd ACM/IEEE Design Automation Conference

June 1985

838 pages

ISBN:0818606355

Chairmen:
Hillel Ofek
Silvar-Lisco, Menlo Park, CA
,
Lawrence A. O'Neill
AT&T Bell Labs, Holmdel, NJ

Sponsors

SIGDA: ACM Special Interest Group on Design Automation

Publisher

IEEE Press

Publication History

Published: 01 June 1985

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
229
Total Downloads

Downloads (Last 12 months)51
Downloads (Last 6 weeks)15

Reflects downloads up to 13 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Khwaja AUrban J(2010)A property based specification formalism classificationJournal of Systems and Software10.1016/j.jss.2010.07.03183:11(2344-2362)Online publication date: 1-Nov-2010
https://dl.acm.org/doi/10.1016/j.jss.2010.07.031
Park SKim JIm HHook JThiemann P(2008)Functional netlistsProceedings of the 13th ACM SIGPLAN international conference on Functional programming10.1145/1411204.1411253(353-366)Online publication date: 20-Sep-2008
https://dl.acm.org/doi/10.1145/1411204.1411253
Park SKim JIm H(2008)Functional netlistsACM SIGPLAN Notices10.1145/1411203.141125343:9(353-366)Online publication date: 20-Sep-2008
https://dl.acm.org/doi/10.1145/1411203.1411253
Ketabchi MBerzins VMarch SJehn LCrum L(1986)ODMProceedings of the 1986 ACM fourteenth annual conference on Computer science10.1145/324634.325433(261-269)Online publication date: 1-Feb-1986
https://dl.acm.org/doi/10.1145/324634.325433

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten