A GENERIC HARDWARE ARCHITECTURE TO SUPPORT THE SYSTEM-LEVEL SYNTHESIS OF DIGITAL-SYSTEMS

被引:0
作者
EDWARDS, MD [1 ]
机构
[1] UNIV MANCHESTER,INST SCI & TECHNOL,DEPT COMPUTAT,MANCHESTER M60 1QD,LANCS,ENGLAND
来源
MICROPROCESSING AND MICROPROGRAMMING | 1994年 / 40卷 / 04期
关键词
AUTOMATIC HARDWARE SYNTHESIS; HARDWARE ARCHITECTURE; SILICON COMPILATION; VLSI;
D O I
10.1016/0165-6074(94)90131-7
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
A generic hardware architecture, which is the target for a system level VLSI synthesis system, is described in this paper. The specification of a real-time control system is defined, in the language BEADLE, as a logical network of concurrently active sequential tasks, which synchronise in order to communicate. The architecture was designed to implement such specifications using a number of node processors - one per task - interconnected via a customised communications network. The novelty of this approach is that the generic architecture is personalised by a high-level synthesis system for an application. The resulting hardware architecture is defined in VHDL, and is used as an input to lower-level physical synthesis tools. The relationship between the BEADLE language and the generic architecture is described, together with details of how the architecture is customised for specific applications. A critical appraisal of the prototype architecture is presented and future directions discussed.
引用
收藏
页码:225 / 240
页数:16
相关论文
共 26 条
[1]   A SYNCHRONOUS APPROACH FOR CLOCKING VLSI SYSTEMS [J].
ANCEAU, F .
IEEE JOURNAL OF SOLID-STATE CIRCUITS, 1982, 17 (01) :51-52
[2]   THE ESTEREL SYNCHRONOUS PROGRAMMING LANGUAGE - DESIGN, SEMANTICS, IMPLEMENTATION [J].
BERRY, G ;
GONTHIER, G .
SCIENCE OF COMPUTER PROGRAMMING, 1992, 19 (02) :87-152
[3]  
Blackman T., 1985, 22nd ACM/IEEE Design Automation Conference Proceedings 1985 (Cat. No.85CH2142-8), P232, DOI 10.1145/317825.317864
[4]  
Borriello G., 1988, 25th ACM/IEEE Design Automation Conference. Proceedings 1988 (Cat. No.88CH2540-3), P477, DOI 10.1109/DAC.1988.14802
[5]   DEADLOCK ABSENCE PROOFS FOR NETWORKS OF COMMUNICATING PROCESSES [J].
CHANDY, KM ;
MISRA, J .
INFORMATION PROCESSING LETTERS, 1979, 9 (04) :185-189
[6]   AUTOMATIC HARDWARE SYNTHESIS FROM A BEHAVIORAL DESCRIPTION LANGUAGE - OCCAM [J].
COLLIS, GV ;
EDWARDS, MD .
MICROPROCESSING AND MICROPROGRAMMING, 1986, 18 (1-5) :243-250
[7]  
DEMAN H, 1987, DESIGN SYSTEMS VLSI
[8]  
DENYER P, 1985, VLSI SIGNAL PROCESSI
[9]   A FRAMEWORK FOR THE SYNTHESIS OF HARDWARE FROM OCCAM [J].
DOWSING, R ;
ELLIOTT, R ;
TEMPLETON, M ;
WILLIAMS, G ;
WOODHAMS, F .
MICROPROCESSING AND MICROPROGRAMMING, 1989, 27 (1-5) :373-379
[10]  
DUZY P, 1989, VLSI89