Automated Synthesis of Data Paths in Digital Systems

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn 5, Issue 3, 1986, Pages 379-395

  Tseng, Chia Jeng ^a   Siewiorek, Daniel P ^b  

^a LUCENT TECHNOLOGIES   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; DATA STORAGE UNITS; DATA STORAGE, DIGITAL;

ALLOCATED DATA PATH (ADP); CODE SEQUENCE INTERACTIVE MANIPULATION; DATA PATH AUTOMATED SYNTHESIS; EMERALD DESIGN GENERATOR; INTERCONNECTION UNITS;

LOGIC CIRCUITS;

EID: 0022756374     PISSN: 02780070     EISSN: 19374151     Source Type: Journal    
DOI: 10.1109/TCAD.1986.1270207     Document Type: Article

References (27)

1. A. V. Aho and J. D. Ullman. Principles of Compiler Design. Reading, MA: Addison-Wesley, 1977.
2. The AM2900 Family Data Book. Advanced Micro Devices, Inc. 1976.
3. J. G. Augustson and J. Minker, “An analysis of some graph theoretical cluster techniques,” J. ACM 17(4):571-588, Oct. 1970.
4. M. R. Barbacci, “Automated Exploration of the Design Space for Register Transfer (RT) systems,” Ph.D. dissertation, Carnegie-Mellon Univ., Nov. 1973.
5. M. R. Barbacci, G. E. Barnes, R. G. Cattell, and D. P. Siewiorek, “The symbolic manipulation of computer descriptions: ISPS computer description language,” Carnegie-Mellon Univ., 1979.
6. C. Bron and J. Kerbosch. “Finding all cliques of an undirected graph—Algorithm 457,” Commun. ACM, 16(9):575-577, September, 1973.
7. J. Darringer and W. Joyner. “A new look at logic synthesis,” in 17th IEEE Design Automation Conf. Proc. p. 543–549, June 1980.
8. S. W. Director, A. C. Parker, D. P. Siewiorek, and D. E. Thomas, “A design methodology and computer aids for digital VLSI systems,” IEEE Trans. Circuits Syst., vol. CAS-28, p. 634–645, July 1981.
9. L. J. Hafer and A. C. Parker, “Automated synthesis of digital hardware,” IEEE Trans. Computers, vol. C-31, pp. 93–109, Feb. 1982.
10. L. J. Hafer and A. C. Parker, “A formal method for the specification, analysis, and design of register-transfer level digital logic,” IEEE Trans. Computer-Aided Design, vol. CAD-2, pp. 4–18, Jan. 1983.
11. P. Marwedel, “The MIMOLA design system: Detailed description of the software system,” in 16th Design Automation Conf. Proc., pp. 59–63, 1979.
12. G. McClain, “Optimal design of central processor data paths,” Ph.D. dissertation, Dep. Electrical and Computer Eng., University of Michigan, Apr. 1972.
13. M. C. McFarland, “The VT: A database for automated digital design,” Technical Report DRC-01-4-80, Design Research Center, Carnegie-Mellon University, December, 1978.
14. G. D. Mulligan and D. G. Corneil, “Corrections to Bierstone's Algorithm for Generating Cliques,” J. ACM 19(2):244-247, Apr. 1972.
15. M. C. Paull and S. H. Unger, “Minimizing the number of states in incompletely specified sequential functions,” IRE Trans. Electronic Computers, vol. EC-8, pp. 356–367, Sept. 1959.
16. N. S. Prasad, “Architecture and Implementation of Large Scale IBM Computer Systems,” Q.E.D. Information Sciences, Inc., Wellesley, MA, 1981.
17. S. L. Rege, “Designing variable data format modules with cost-performance tradeoffs,” Ph. D. dissertation, Carnegie-Mellon Univ., Aug. 1974.
18. E. M. Reingold, J. Nievergelt, and N. Deo, Combinatorial Algorithms: Theory and Practice. Englewood Cliffs, NJ: Prentice-Hall 1977.
19. H. E. Shrobe, “The data path generator,” in Proc. Conf. Advanced Research in VLSI, MIT, Cambridge, MA, Jan. 1982, 175–181.
20. E. A. Snow, “Automation of module set independent register-transfer level design,” Ph.D. dissertation, Carnegie-Mellon University, 1978.
21. The TTL Data Book for Design Engineers. Texas Instruments, Inc., 1981.
22. D. E. Thomas, C. Y. Hitchcock III, T. J. Kowalski, J. V. Rajan, and R. A. Walker, “Automatic data path synthesis,” IEEE Computer, vol. 16, 59–73, Dec. 1983.
23. C. J. Tseng and D. P. Siewiorek, “The modeling and synthesis of bus systems,” in Proc. Eighteenth Design Automation Conf., pp. 471–478. June 1981.
24. C. J. Tseng and D. P. Siewiorek, “A note on the automated synthesis of bus style systems,” Tech. Rep. Dep. of Electrical Eng., Carnegie-Mellon University, October, 1982.
25. C. J. Tseng, “Automated synthesis of data paths in digital systems,” Ph.D. dissertation, Dep. of Electrical and Computer Engineering, Carnegie-Mellon University, Pittsburgh, PA, Apr. 1984.
26. S. Tsukiyama, M. Ide, H. Ariyoshi, and I. Shirakawa, “A new algorithm for generating all the maximal independent sets,” SIAM J. Computing, vol. 6, no. 3, pp. 505–517, Sept. 1977.
27. G. Zimmerman,’ The MIMOLA design system: A computer aided digital processor design-method,” in 16th Design Automation Conf. Proc., pp. 53–58, 1979.