Behavior-preserving transformations for high-level synthesis-Reference-Cited by-同舟云学术

Behavior-preserving transformations for high-level synthesis

Published:1990 Issue: Volume: Page:106-128
ISSN:0302-9743
Container-title:Hardware Specification, Verification and Synthesis: Mathematical Aspects
language:
Short-container-title:

Author:

Camposano R.

Publisher

Springer New York

Link

http://link.springer.com/content/pdf/10.1007/0-387-97226-9_26.pdf

Reference18 articles.

1. M.C. McFarland, A.C. Parker, R. Camposano, “Tutorial on High-Level Synthesis,” Proceedings of the 25th Design Automation Conference, pp. 330–336, Anaheim, California, June 1988.

2. R. Camposano, “Synthesis Techniques for Digital Systems Design,” Proceedings of the 22nd Design Automation Conference, pp. 475–480, Las Vegas, June 1985.

3. D.E. Thomas, “Automatic Data Path Synthesis,” in S. Goto, editor, Advances in CAD for VLSI, vol. 6, Design Methodologies, pp. 401–439, North-Holland, 1986.

4. R.K. Brayton, R. Camposano, G. DeMicheli, R.H.J.M. Otten and J.T.J. van Eijndhoven, “The Yorktown Silicon Compiler System,” in D. Gajski, editor, Silicon Compilation, Addison-Wesley, 1988.

5. R. Camposano, “Structural Synthesis in the Yorktown Silicon Compiler,” in C.H. Sequin, editor, VLSI'87, VLSI Design of Digital Systems, pp. 61–72, Vancouver: North-Holland, 1988.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verification of System Level Model Transformations;International Journal of Parallel Programming;2006-02-01

2. High-level condition expression transformations for design exploration;System Design Automation;2001

3. Formal synthesis in circuit design — A classification and survey;Formal Methods in Computer-Aided Design;1996

4. A flowgraph semantics of VHDL: Toward a VHDL verification workbench in HOL;Formal Methods in System Design;1995-08

5. Formal analysis of correctness of behavioral transformations;Formal Methods in System Design;1993-06