Communicating sequential processes
Communicating sequential processes
Programming in Occam
The C programming language
Technology for IP Reuse and Portability
IEEE Design & Test
Visions for application development on hybrid computing systems
Parallel Computing
C-based design methodology for FPGA implementation of clustalW MSA
PRIB'07 Proceedings of the 2nd IAPR international conference on Pattern recognition in bioinformatics
| Hi-index | 0.00 |
Digital circuits from software designs and formal executable specifications can be automatically synthesized using hardware compilation or 'C based logic synthesis'. Designs can be verified using that same formal specification and coupled with the increasing deployment of higher-level C based languages and IP reuse in hardware design and system codesign, C based logic synthesis is enabling new methodologies and levels of designer productivity. In this paper we discuss the rationale for such a synthesis approach, the required semantics and compilation technology and offer a contrast with RTL synthesis. Design examples are used to provide case studies of practical experience.