Compilation of Programs into Hardware and Software
ثبت نشده
چکیده
منابع مشابه
Introduction to the Configware Minitrack: Hardware and Software Come Closer
Hardware design methods come closer to software engineering. Proven techniques are further ahead than common awareness of them. Behavioral Synthesis means hardware compilation rather than CAD: Hardware compilation from register-transfer level sources or even from high-level programs like C sources. The programmer “programs” by himself the hardware he needs. This has become reality by novel dyna...
متن کاملFast Hardware Compilation of Behaviors into an FPGA-Based Dynamic Reconfigurable Computing System
This report presents new techniques for architecture and performance driven compilation of software programs into reconfigware (reconfigurable hardware). These new techniques effectively improve on the complex resource sharing approaches typical of High-Level Synthesis algorithms, which are efficient for layout flexible ASICs but are clearly not adequate for reconfigurable devices with pre-defi...
متن کاملCompiling occam into Field-Programmable Gate Arrays
We describe a compiler which maps programs expressed in a subset of occam into netlist descriptions of parallel hardware. Using Field-Programmable Gate Arrays to implement such netlists, problem-specific hardware can be generated entirely by a software process. Inner loops of time-consuming programs can be implemented as hardware and the less intensively-used parts of the program can be mapped ...
متن کاملHardware Compilation: Verification and Rapid-prototyping
The use of Field Programmable Gate Arrays (FPGA) to rapidly produce custom hardware circuits using a completely software-based process is becoming increasingly widespread. Specialized Hardware Description Languages (HDL) are used to describe and develop the required circuits. In this paper, we advocate using an even more general purpose programming language, based on Occam, for the automatic co...
متن کاملA Simple C to Verilog Compilation Procedure for Hardware/Software Verification
The objective of this work is two-fold: (1) to build a simple trusted translator from C programs to a hardware description language (in this case Verilog) and (2) to illustrate its application to the formal verification of hardware and software systems using highly developed hardware model checking methods. To achieve the first goal, we used the LLVM compiler infrastructure to compile the C pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994