Virtually every system designed today is an amalgam of hardware and software. Unfortunately, software and circuits that communicate across the hardware/software boundary are tedious and error-prone to create. This sug-gests a more automatic way to synthesize them. This paper presents the SHIM language, which combines imperative C-like semantics for software and RTL-like se-mantics for hardware to allow a unified description of hard-ware/software systems. Hardware processes and software functions communicate through shared variables, hardware for which is automatically synthesized by the SHIM com-piler, which generates C and synthesizable VHDL. I demonstrate the effectiveness of the language by re-implementing an I2C bus controller. The SHIM...
SHIM is a concurrent deterministic programming language for embedded systems built on rendezvous com...
This paper presents a survey of functional programming languages in System-on-a-Chip (SoC) design. T...
A hardware implementation can bring orders of magnitude improvements in performance and energy cons...
Virtually every system designed today is an amalgam of hardware and software. Unfortunately, softwar...
Virtually every system designed today is an amalgam of hardware and software. Unfortunately, softwar...
Describing parallel hardware and software is difficult, especially in an embedded setting. Five year...
Typical embedded hardware/software systems are implemented using a combination of C and an HDL such ...
Typical embedded hardware/software systems are implemented us-ing a combination of C and an HDL such...
MANY TECHNIQUES for synthesizing digital hardware from C-like languages have been proposed, but none...
The proliferation of high-performance microprocessors in recent years has made the development of sy...
This thesis presents a cosynthesis tool designed to target single IC platforms containing both uncom...
We explain how programs specified in a sequential programming language can be translated automatical...
Embedded systems demand concurrency for supporting simultaneous actions in their environment and par...
Despite all the effort spent in testing, analyzing, and formally verifying software, a program is ul...
Most electronic systems, whether self-contained or embedded, have a predominant digital component co...
SHIM is a concurrent deterministic programming language for embedded systems built on rendezvous com...
This paper presents a survey of functional programming languages in System-on-a-Chip (SoC) design. T...
A hardware implementation can bring orders of magnitude improvements in performance and energy cons...
Virtually every system designed today is an amalgam of hardware and software. Unfortunately, softwar...
Virtually every system designed today is an amalgam of hardware and software. Unfortunately, softwar...
Describing parallel hardware and software is difficult, especially in an embedded setting. Five year...
Typical embedded hardware/software systems are implemented using a combination of C and an HDL such ...
Typical embedded hardware/software systems are implemented us-ing a combination of C and an HDL such...
MANY TECHNIQUES for synthesizing digital hardware from C-like languages have been proposed, but none...
The proliferation of high-performance microprocessors in recent years has made the development of sy...
This thesis presents a cosynthesis tool designed to target single IC platforms containing both uncom...
We explain how programs specified in a sequential programming language can be translated automatical...
Embedded systems demand concurrency for supporting simultaneous actions in their environment and par...
Despite all the effort spent in testing, analyzing, and formally verifying software, a program is ul...
Most electronic systems, whether self-contained or embedded, have a predominant digital component co...
SHIM is a concurrent deterministic programming language for embedded systems built on rendezvous com...
This paper presents a survey of functional programming languages in System-on-a-Chip (SoC) design. T...
A hardware implementation can bring orders of magnitude improvements in performance and energy cons...