Methodical Aspects of Logic Synthesis

Proceedings of the IEEE

Volumn 71, Issue 1, 1983, Pages 88-97

  Lipp, Hans Martin ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN TASK MISINTERPRETATION; DIGITAL CONTROLLER GLOBAL SYNTHESIS; LOGIC DESIGN STRATEGY; SEMICONDUCTOR STRUCTURE INTERCONNECTION;

INTEGRATED CIRCUITS, VLSI - COMPUTER SIMULATION; SEMICONDUCTOR DEVICES - DESIGN;

LOGIC DESIGN;

EID: 0020542625     PISSN: 00189219     EISSN: 15582256     Source Type: Journal    
DOI: 10.1109/PROC.1983.12530     Document Type: Article

References (21)

1. G. Biehl, “Automatic generation of optimal microcomputer programs for software-driven controllers,” in Proc. Symp. on Micro-computer and Microprocessor Application, vol. II, Budapest, Oct. 1979, pp. 571-586.
2. G. Biehl and A. Ditzinger, “Computer aided design of micropro-cessor-based digital controllers,” Microproc. Microprog., vol. 7, no. 5, pp. 326-333, 1981.
3. G. Biehl, W. Grass, and S. Hall, “OOGE-MAT-a program for the synthesis of microprogrammed controllers,” in Proc. 4th Intern. Conf. on Computers in Design Engineering, CAD 80, Brighton, 1980, pp. 543-558.
4. G. Biehl, W. Grass, and S. Hall, “Optimization of the influence of problem modifications on given microprogrammed controllers,” in Proc. 17th ACM-IEEE Design Automation Conf, Minneapolis, 1980, pp. 309-317.
5. M. Breuer, A. Friedman, and A. Iosupovicz, “A survey of the state of the art of design automation,” IEEE Comput. Soc. Mag., vol. 14, no. 10, pp. 58-75, Oct. 1981.
6. J. Darringer, W. Joyner, C. Berman, and L. Trevillyan, “Logic synthesis through local transformations,” IBM J. Res. Develop., vol. 4, pp. 272-280, 1981.
7. A. Ditzinger, “Optimierung des Realisierungsaufwandes digitaler Steuerungen durch Modiflkation der internen Schnittstellen,” Fortschr.-Ber. VDI Z Reihe 9, Nr. 33, Düsseldorf: VDI-Verlag, 1982.
8. A. Ditzinger and J. Beister, “Word reduction in microprogrammed controllers by state-dependent preprocessing of the inputs,” Microproc. Microprog., vol. 9, no. 3, pp. 161-173, Mar. 1982.
9. W. Grass and H. M. Lipp, “LOGE-a highly effective system for logic design automation,” SIGDA Newslett., vol. 9, pp. 6-13, 1979.
10. W. Grass and B. Thelen, “Ein leistungsfahiger Algorithmus zur Optimierung von Funktionsbűndeln,” Dig. Proces., vol. 7, pp. 1-19, 1981.
11. G. W. Leive and D. E. Thomas, “A technology relative logic synthesis and module selection system,” in Proc. 18th ACM-IEEE Design Automation Conf, Nashville, 1981, pp. 479-485.
12. H. M. Lipp, “Conditions for the development of an effective CAD system for digital controllers,” in CAD in Medium Sized and Small Industries, J. Mermet, Ed. Amsterdam: North-Holland, 1981, pp. 397-410.
13. ―, “Strukturiertes Entwerfen in der Digitaltechnik,” NTZ Archiv 1, vol. 4, pp. 3-10, 1982.
14. H. M. Lipp, M. Nolle, and K. Sutter, “LOGE—Ein leistungsfähiges CAD System zum Entwurf digitaler Steuerungen,” in Proc. 10th Inter. Cong. Microelectronics, Munich, 1982, to be published.
15. M. C. McFarland, “On proving the correctness of optimizing transformations on a digital design automation system,” in Proc. 18th ACM-IEEE Design Automation Conf., Nashville, 1981, pp. 486-493.
16. G. Musgrave, Ed., Computer-Aided Design of Digital Electronic Circuits and Systems. Amsterdam: North-Holland, 1979.
17. S. Nakamura, S. Murai, and C. Tanaka, “LORES—logic reorganization system,” in Proc. 15th ACM-IEEE Design Automation Conf., Las Vegas, 1978, pp. 250-260.
18. A. Parker, D. Thomas, D. Siewiorek, M. Barbacci, L. Hafer, G. Leive, and J. Kim, “The CMU—design automation system: an example of automated data path design,” in Proc. 16th ACM-IEEE Design Automation Conf., San Diego, 1979, pp. 73-80.
19. R. Piloty, M. Barbacci, D. Borrione, D. Dietmeyer, F. Hill, and P. Skelly, “CONLAN—a formal construction method for hardware description languages,” in Proc. NCC, Anaheim, 1980, vol. 49.
20. B. Thelen, “Untersuchungen von Algorithmen fűr den rechner-gestiitzten logischen Entwurf digitaler Baugruppen,” Ph.D. dissertation, Dep. of Elec. Eng., Univ. Karlsruhe, 1981.
21. C. A. Vissers, “Interface— definition, design and description of the relation of digital system parts,” Ph.D. dissertation, Tech-nische Hogeschool Twente, 1977.